In search of the sources of incompleteness

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig

Sammanfattning

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.
Originalspråkengelska
Titel på gästpublikationProceedings of the International Congress of Mathematicians 2018
RedaktörerBoyan Sirakov, Paulo Ney de Souza, Marcelo Viana
Antal sidor19
Volym3
FörlagWorld Scientific
Utgivningsdatum2018
Sidor4043-4061
ISBN (tryckt)978-981-3272-87-3
StatusPublicerad - 2018
MoE-publikationstypB3 Ej refererad artikel i konferenshandlingar
EvenemangInternational Congress of Mathematics - Rio de Janeiro, Brasilien
Varaktighet: 1 aug 20189 aug 2018

Vetenskapsgrenar

  • 111 Matematik

Citera det här