In search of the sources of incompleteness

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific


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.
Original languageEnglish
Title of host publicationProceedings of the International Congress of Mathematicians 2018
EditorsBoyan Sirakov, Paulo Ney de Souza, Marcelo Viana
Number of pages19
PublisherWorld Scientific
Publication date2018
ISBN (Print)978-981-3272-87-3
Publication statusPublished - 2018
MoE publication typeB3 Article in conference proceedings
EventInternational Congress of Mathematics - Rio de Janeiro, Brazil
Duration: 1 Aug 20189 Aug 2018

Fields of Science

  • 111 Mathematics

Cite this