Knihu momentálně nemáme skladem
Více o knize
The book offers a thorough introduction to the foundations of mathematics, beginning with essential concepts in mathematical logic, including axioms and model theory. It progresses to detailed proofs of Gödel's completeness and incompleteness theorems, emphasizing the impossibility of proving arithmetic consistency within its own axioms. The final section introduces modern axiomatic set theory based on Zermelo's axioms and Gödel's constructible universe. Throughout, it explores both standard and non-standard models of various mathematical theories, including Peano and Presburger arithmetic.
Nákup knihy
Gödel's Theorems and Zermelo's Axioms, Lorenz Halbeisen, Regula Krapf
- Jazyk
- Rok vydání
- 2020
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Gödel's Theorems and Zermelo's Axioms
- Podtitul
- A Firm Foundation of Mathematics
- Jazyk
- anglicky
- Autoři
- Lorenz Halbeisen, Regula Krapf
- Vydavatel
- Springer International Publishing
- Vydavatel
- 2020
- Vazba
- pevná
- Počet stran
- 248
- ISBN13
- 9783030522780
- Kategorie
- Matematika
- Anotace
- The book offers a thorough introduction to the foundations of mathematics, beginning with essential concepts in mathematical logic, including axioms and model theory. It progresses to detailed proofs of Gödel's completeness and incompleteness theorems, emphasizing the impossibility of proving arithmetic consistency within its own axioms. The final section introduces modern axiomatic set theory based on Zermelo's axioms and Gödel's constructible universe. Throughout, it explores both standard and non-standard models of various mathematical theories, including Peano and Presburger arithmetic.