Die Unerschöpflichkeit der Mathematik
摘要
Kurt Gödel war ein äußerst scharfsinniger Denker. Er wies nach, dass Hilberts Traum einer axiomatischen Begründung der Mathematik nicht erfüllbar ist und brachte damit die Denkrichtung des Formalismus ins Wanken.