A Tour Through Mathematical Logic
Published on 10. March 2005
Book
Hardback
414 pages
978-0-88385-036-7 (ISBN)
Unfortunately, price unknown
No shipping information available
Description
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.
More details
Person
Content
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.