In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In this article, Kurt Gödel proved two incompleteness theorems that have fundamentally changed our view of mathematics. Gödel's theorems manifest that the concept of truth and the concept of provability cannot coincide.
Since their discovery, the incompleteness theorems have attracted much attention, and a flood of articles and ...
DETAILS
Gödel's Incompleteness Theorems
A Guided Tour Through Kurt Gödel's Historic Proof
Hoffmann, Dirk W.
Kartoniert, xix, 385 S.
XIX, 385 p. 65 illus., 46 illus. in color.
Sprache: Englisch
235 mm
ISBN-13: 978-3-662-69549-4
Titelnr.: 97439854
Gewicht: 616 g
Springer, Berlin (2024)
Herstelleradresse
Springer Heidelberg
Tiergartenstr. 17
69121 - DE Heidelberg
E-Mail: buchhandel-buch@springer.com