Kurt Gödel nasce nel 1906 in Moravia, oggi nella repubblica Ceca. A vent'anni è al dipartimento di matematica dell'Università di Vienna e a 25 anni pubblica il suo lavoro più famoso ("Sulle proposizioni formalmente indecidibili nei Principia Mathematica e nei sistemi connessi").
Nel 1940 emigra in America e dal 1953 lavora presso l'Institute for Advanced Study a Princeton, dove muore nel 1978.
Una curiosità che ho sempre avuto è la seguente: ma che aspetto avrà mai una proposizione formalmente indecidibile? Bene, ne ho trovata una! Al termine della presentazione dei teoremi di Gödel sull'incompletezza la discuteremo.