Set Theory, Logic and their Limitations
Set Theory, Logic and their Limitations
CAD$71.95
This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.
- Course tested at the University of London
- Suitable for courses in both pure mathematics and philosophy (and there are several joint mathematics/philosophy courses)
- Author well known in the field, wrote THE book years ago (see above)
Reviews & endorsements
"...a concise and polished text..." J.M. Plotkin, Mathematical Reviews
Product details
May 1996Paperback
9780521479981
300 pages
228 × 153 × 15 mm
0.51kg
Available
Table of Contents
- Mathematical induction
- 1. Sets and classes
- 2. Relations and functions
- 3. Cardinals
- 4. Ordinals
- 5. The axiom of choice
- 6. Finite cardinals and alephs
- 7. Propositional logic
- 8. First order logic
- 9. Facts from recursion theory
- 10. Limitative results
- Appendix: Skolem's paradox.
