Set Theory, Logic and their Limitations
Seiten
1996
Cambridge University Press (Verlag)
978-0-521-47493-1 (ISBN)
Cambridge University Press (Verlag)
978-0-521-47493-1 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Rigorous coverage of logic and set theory for students of mathematics and philosophy.
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.
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.
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.
| Erscheint lt. Verlag | 23.5.1996 |
|---|---|
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 156 x 236 mm |
| Gewicht | 624 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-521-47493-0 / 0521474930 |
| ISBN-13 | 978-0-521-47493-1 / 9780521474931 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
