Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Gödel's Theorems and Zermelo's Axioms, Lorenz Halbeisen, Regula Krapf
- Taal
- Jaar van publicatie
- 2021
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.
- Ondertitel
- A Firm Foundation of Mathematics
- Taal
- Engels
- Auteurs
- Lorenz Halbeisen, Regula Krapf
- Jaar van publicatie
- 2021
- Formaat
- Paperback
- Aantal pagina's
- 248
- ISBN13
- 9783030522810
- Reeks
- Aantekening
- 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.