Contents Preface xi A remark on notation xi Acknowledgments xii Chapter 1. Logic and foundations 1 §1.1. Material implication 1 §1.2. Errors in mathematical proofs 2 §1.3. Mathematical strength 4 §1.4. Stable implications 6 §1.5. Notational conventions 8 §1.6. Abstraction 9 §1.7. Circular arguments 11 §1.8. The classical number systems 12 §1.9. Round numbers 15 §1.10. The “no-self-defeating object” argument, revisited 16 §1.11. The “no-self-defeating object” argument, and the vagueness paradox 28 §1.12. A computational perspective on set theory 35 Chapter 2. Group theory 51 §2.1. Torsors 51 §2.2. Active and passive transformations 54 §2.3. Cayley graphs and the geometry of groups 56 §2.4. Group extensions 62 vii
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2013 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.