Gödel: Methematische waarheid en logische paradoxen

'Of de wiskunde is te complex voor het menselijk brein, of het menselijk brein is meer dan een machine.'
- Kurt Gödel

De Oostenrijkse-Hongaarse wiskundige Kurt Gödel werd wereldberoemd dankzij zijn 'onbeslisbaarheidsstelling', waarin hij bewees dat binnen een formeel systeem vragen kunnen bestaan die - binnen dat formele systeem - niet bewijsbaar waar en ook niet bewijsbaar onwaar zijn. Daarmee verwees hij de - onder andere door Bertrand Russell beleden - theorie dat de wiskunde een afgesloten systeem is naar het rijk der fabelen.

Wenen was aan het begin van de twintigste eeuw het middelpunt van Europa. Iedereen die getuige wilde zijn van de vernieuwingen op het gebied van de beeldende kunst, de wetenschap en de filosofie trok naar de Oostenrijke hoofdstad. Zo ook Kurt Gödel. In 1923 schreef hij zich in aan de universiteit, waar hij college kreeg van de grootste wiskundigen van zijn tijd. Toen, in 1933, Hitler aan de macht kwam in Duitsland en ook Oostenrijk in de greep raakte van het nationaal-socialisme, had Gödel zijn 'onbeslisbaarheidsstelling' al gepubliceerd. Hij trok zich weinig aan van de politieke ontwikkelingen, tot één van zijn vroegere docenten werd vermoord door een nationaal-socialistische student.