KURT GODEL (1906- 78)

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.

Wikipedia-logo © (link to wikipedia)

NEXT buttonTIMELINE

NEXT buttonMATHEMATICS

Related sites
Advertisements