Can mathematics be proved consistent? : Gödel's shorthand notes & lectures on incompleteness /
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...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham :
Springer,
2020
|
| Series: | Sources and studies in the history of mathematics and physical sciences
|
| Subjects: |
Table of Contents:
- I. Gödel's Steps Toward Incompleteness
- II. The Saved Sources on Incompleteness
- III. The Shorthand Notebooks
- IV. The Typewritten Manuscripts
- V. Lectures and Seminars on Incompleteness
- Index
- References