Kurt Gödel said of the discovery of his famous incompleteness theorem that he substituted “unprovable” for “false” in the paradoxical statement This sentence is false. Thereby he obtained something that states its own unprovability, so that if the statement is true, it should indeed be unprovable. The big methodical obstacle that Gödel solved so brilliantly was to code such a self-referential statement in terms of arithmetic. The shorthand notes on incompleteness that Gödel had meticulously kept are examined for the first time, with a picture of the emergence of incompleteness different from the one the received story of its discovery suggests.
|Titel på gästpublikation||Proceedings of the International Congress of Mathematicians 2018|
|Redaktörer||Boyan Sirakov, Paulo Ney de Souza, Marcelo Viana|
|Status||Publicerad - 2018|
|MoE-publikationstyp||B3 Ej refererad artikel i konferenshandlingar|
|Evenemang||International Congress of Mathematics - Rio de Janeiro, Brasilien|
Varaktighet: 1 aug 2018 → 9 aug 2018
- 111 Matematik