A Tour through Mathematical Logic
A Real Analysis Approach
Published on 16. September 2010
Book
Paperback/Softback
414 pages
978-0-88385-042-8 (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
Series
Language
English
Place of publication
Washington DC
United States
Publishing group
Cambridge University Press
Target group
College/higher education
Professional and scholarly
Product notice
Paperback (trade)
Illustrations
33
33 farbige Abbildungen
26 b/w illus. 33 colour illus. 1 table 92 exercises
Dimensions
Height: 210 mm
Width: 140 mm
Thickness: 20 mm
Weight
480 gr
ISBN-13
978-0-88385-042-8 (9780883850428)
Schweitzer Classification
Person
Author
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.
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.
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.
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.