Kurt Gödel Lebenslauf

Kurt Gödel war ein österreichisch-amerikanischer Logiker, Mathematiker und Philosoph, der das wissenschaftliche und philosophische Denken des 20. Jahrhunderts maßgeblich beeinflusste. Er ist am bekanntesten für seine beiden Unvollständigkeitssätze, die zeigten, dass es in jedem ausreichend starken formalen System wahre Aussagen gibt, die nicht aus den Axiomen bewiesen werden können. Zur Untermauerung dieser Sätze entwickelte Gödel die heute als Gödel-Nummerierung bekannte Technik, die formale Ausdrücke als natürliche Zahlen kodiert. Seine Arbeiten zur Beweistheorie klärten auch Verbindungen zwischen verschiedenen logischen Systemen auf und er zeigte, dass die Kontinuumshypothese aus den akzeptierten Axiomen der Mengenlehre nicht widerlegt werden kann.