The book is currently out of stock
More about the book
The book delves into the foundations of mathematics, starting with essential concepts of mathematical logic, including axioms and formal proofs. It meticulously presents Gödel's completeness and incompleteness theorems, featuring a comprehensive proof of the second incompleteness theorem, which asserts the impossibility of proving arithmetic's consistency within its own axioms. Additionally, it introduces modern axiomatic set theory based on Zermelo's axioms and explores Gödel's constructible universe, emphasizing various models of theories like Peano and Presburger arithmetic.
Book purchase
Gödel's Theorems and Zermelo's Axioms, Lorenz Halbeisen, Regula Krapf
- Language
- Released
- 2021
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Subtitle
- A Firm Foundation of Mathematics
- Language
- English
- Authors
- Lorenz Halbeisen, Regula Krapf
- Publisher
- Springer International Publishing
- Released
- 2021
- Format
- Paperback
- Pages
- 248
- ISBN13
- 9783030522810
- Series
- Description
- The book delves into the foundations of mathematics, starting with essential concepts of mathematical logic, including axioms and formal proofs. It meticulously presents Gödel's completeness and incompleteness theorems, featuring a comprehensive proof of the second incompleteness theorem, which asserts the impossibility of proving arithmetic's consistency within its own axioms. Additionally, it introduces modern axiomatic set theory based on Zermelo's axioms and explores Gödel's constructible universe, emphasizing various models of theories like Peano and Presburger arithmetic.