A Tour through Mathematical Logic
A Tour through Mathematical Logic
A Real Analysis Approach
Paperback
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.
- An emphasis on possible interpretations of certain results and concepts, and their connections to author areas of inquiry, gives the reader a depth of understanding
- Includes both 'Exercises' and 'Investigations': the former emphasise more technical questions concerning the ideas, while the latter are more open, allowing scope for student initiative and further research
- Notes at the end of each part set the mathematical ideas in their historical background
Product details
No date availablePaperback
9780883850428
414 pages
210 × 140 × 20 mm
0.48kg
26 b/w illus. 33 colour illus. 1 table 92 exercises
Table of Contents
- 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.
