Description |
1 online resource (ix, 263 pages) |
Series |
Sources and studies in the history of mathematics and physical sciences |
|
Sources and studies in the history of mathematics and physical sciences.
|
Contents |
Part I. Gödel's Steps Toward Incompleteness. 1. The completeness problem -- 2. From Skolem's paradox to the Königsberg conference -- 3. From the Königsberg conference to von Neumann's letter -- 4. The second theorem: "Only in a realm of ideas" -- Part II. The Saved Sources on Incompleteness. 1. Shorthand writing -- 2. Description of the shorthand notebooks on incompleteness -- 3. The typewritten manuscripts -- 4. Lectures and seminars on incompleteness -- Part III. The Shorthand Notebooks. 1. Undecidability draft. We lay as a basis the system of the Principia -- 2. There are unsolvable problems in the Principia Mathematica -- 3. The development of mathematics in the direction of greater exactness -- 4. The question whether each mathematical problem is solvable -- 5. A proof in broad outline will be sketched -- 6. We produce an undecidable proposition in the Principia -- 7. The development of mathematics in the direction of greater exactness -- 8. Let us turn back to the undecidable proposition -- Part IV. The Typewritten Manuscripts. 1. Some metamathematical results -- 2. On formally undecidable propositions (earlier version) -- Part V. Lectures and Seminars on Incompleteness. 1. Lecture on undecidable propositions (Bad Elster) -- 2. On formally undecidable propositions (Bad Elster) -- 3. On undecidable propositions (Vienna) -- 4. On the impossibility of proofs of freedom from contradiction (Vienna) -- 5. The existence of undecidable propositions (New York) -- 6. Can mathematics be proved consistent? (Washington) -- Index of names and list of references in Gödel's notes -- References for Parts I and II |
Summary |
Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Gödel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but arent. The result is known as Gödels first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question "Can mathematics be proved consistent?" This book offers the first examination of Gödels preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Gödels incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Gödel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time |
Bibliography |
Includes bibliographical references and index |
Subject |
Gödel, Kurt -- Notebooks, sketchbooks, etc
|
SUBJECT |
Gödel, Kurt fast |
Subject |
Gödel's theorem -- History
|
|
Mathematics -- History
|
|
Incompleteness theorems -- History
|
|
Decidability (Mathematical logic) -- History
|
|
Matemáticas
|
|
Decidabilidad (Lógica simbólica y matemática) -- Historia
|
|
Incompleteness theorems
|
|
Decidability (Mathematical logic)
|
|
Gödel's theorem
|
|
Mathematics
|
Genre/Form |
notebooks.
|
|
Notebooks, sketchbooks, etc.
|
|
History
|
|
Notebooks.
|
|
Cahiers.
|
Form |
Electronic book
|
ISBN |
9783030508760 |
|
3030508765 |
|