A Tour through Mathematical Logic

Robert S. Wolf (Autor)

Buch | Hardcover

414 Seiten

2005
Mathematical Association of America (Verlag)
9780883850367 (ISBN)

Infos

Professor Wolf provides a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. Covering the foundations of mathematics, it is more user-friendly than standard texts so will also be attractive to those outside the classroom environment.

---

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.

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 10.3.2005
• Reihe/Serie: Carus Mathematical Monographs
• Zusatzinfo: Worked examples or Exercises
• Verlagsort: Washington
• Sprache: englisch
• Maße: 152 x 219 mm
• Gewicht: 585 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-13: 9780883850367 / 9780883850367
• Zustand: Neuware