2 events with tag "incompleteness"
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