Ireki menu nagusia

Logika matematikoaAldatu

1930ean matematiketan doktoratu zen, Lehen ordenako kalkulu logikoaren nahikotasun semantikoaren froga tesiarekin. 1931ean "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme" (Principia Mathematicaetako proposizio formalki askaezinei buruz) artikulua argitaratzen du, sistema axiomatiko orotan aska ezin diren proposizioak aurki daitezkeela frogatuz. Baieztapen honek Gödelen teorema izendapena hartu zuen gero. Gödelek filosofia ere ikasi zuen hainbat urtez.

Erbestea eta gaixotasunaAldatu

1934ean, nazien presiogatik Estatu Batuetara ihes egin zuen, non urte bat lehenago izan zen bisitan eta Albert Einstein ezagutu zuen. Honen lagun handia egin zen eta Erlatibotasunaren Legearen alderdi batzuk batera landu zituzten.

Haren azken urteetan depresioak eta paranoiak jo zuten, bere aurkako konspirazio bat zegoela pentsarazi ziona. Eski maskara bat eramaten zuen nonahi giro kutsatua ekiditeko.

Desnutrizioz hil zen 1978n, 30 kg pisatzen zituelarik, "pertsonalitate trastorno" baten eraginez.

Wikimedia Commonsen badira fitxategi gehiago, gai hau dutenak: Kurt Gödel