Kurt Gödel: berrikuspenen arteko aldeak

1930ean matematiketan doktoratu zen, ''Lehen ordenako kalkulu logikoaren nahikotasun semantikoaren froga'' tesiarekin. [[1931]]ean "Über formal unentscheidbare Sätze der ''Principia Mathematica'' und verwandter Systeme" (''Principia Mathematica''etako 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.