Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Gödel's Theorems and Zermelo's Axioms, Lorenz Halbeisen, Regula Krapf
- Langue
- Année de publication
- 2021
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .