The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Cambridge University Press
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Produkt-Hinweis
Illustrationen
33
33 farbige Abbildungen
26 b/w illus. 33 colour illus. 1 table 92 exercises
Maße
Höhe: 210 mm
Breite: 140 mm
Dicke: 20 mm
Gewicht
ISBN-13
978-0-88385-042-8 (9780883850428)
Schweitzer Klassifikation
Autor*in
University of Wollongong, New South Wales
Rodney Nillsen gained his undergraduate degree at the University of Tasmania, and studied at postgraduate level at the Flinders University of South Australia, under Igor Kluvánek. He has held positions at the Flinders University of South Australia, the Royal University of Malta, the Open University and the University College of Swansea. He currently lectures at the University of Wollongong, New South Wales. He is a member of the Australian Mathematical Society, the Mathematical Association of America and the American Mathematical Society.
1. Predicate logic
2. Set theory
3. Recursion theory and computability
4. Model theory
5. Independence results in set theory
6. Nonstandard analysis
7. Constructive mathematics
Appendix A. A deductive system for first-order logic
Appendix B. Relations and orderings
Appendix C. Cardinal arithmetic
Bibliography
Index.
