A Tour through Mathematical Logic (inbunden)

Fler böcker inom

Matematisk logik

Format: Inbunden (Hardback)
Språk: Engelska
Antal sidor: 414
Utgivningsdatum: 2005-03-01
Förlag: The Mathematical Association of America
Illustrationer: 40exercises
Dimensioner: 220 x 150 x 30 mm
Vikt
Antal komponenter: 1
ISBN: 9780883850367

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gdel'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.

Visa hela texten

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.