Born
1906
Died
1978
Nationality
Austrian-American
Events involving Kurt Gödel (3)
1929
ID: 395
Gödel proves completeness theorem for first-order logic in his doctoral dissertation
ID: 395
1930
ID: 396
Gödel announces his incompleteness theorems at Königsberg conference, shocking the mathematical community
ID: 396
1931
ID: 369
Kurt Gödel publishes his Incompleteness Theorems, proving that any consistent formal system containing arithmetic is incomplete
ID: 369