Kniha momentálne nie je na sklade
Viac o knihe
Kurt Gödel's groundbreaking work in 1931 revealed profound limitations in formal mathematical systems through his first incompleteness theorem. He demonstrated that within any system capable of expressing elementary arithmetic, there exist true statements that cannot be proven within that system. This pivotal finding challenged the quest for absolute rigor in mathematics and led to further inquiries about the consistency of mathematical proofs, establishing Gödel as a key figure in 20th-century science.
Nákup knihy
Can Mathematics Be Proved Consistent?, Jan von Plato
- Jazyk
- Rok vydania
- 2020
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
- Titul
- Can Mathematics Be Proved Consistent?
- Podtitul
- Gödel's Shorthand Notes & Lectures on Incompleteness
- Jazyk
- anglicky
- Autori
- Jan von Plato
- Vydavateľ
- Springer International Publishing
- Rok vydania
- 2020
- Väzba
- pevná
- Počet strán
- 276
- ISBN13
- 9783030508753
- Série
- Anotácia
- Kurt Gödel's groundbreaking work in 1931 revealed profound limitations in formal mathematical systems through his first incompleteness theorem. He demonstrated that within any system capable of expressing elementary arithmetic, there exist true statements that cannot be proven within that system. This pivotal finding challenged the quest for absolute rigor in mathematics and led to further inquiries about the consistency of mathematical proofs, establishing Gödel as a key figure in 20th-century science.