1931 – Austria
‘Every consistent theory must contain propositions that can be neither proved nor disproved according to its own defining set of rules’
The theorem proved the ‘incompleteness of mathematics’. Its implication is that all logical systems of any complexity are incomplete.
- Kurt Gödel (usna.edu)
- The Kurt Godel Society (kgs.logic.at/)
- Institute for Advanced Study (www.ias.edu)