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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Die Unerschöpflichkeit der Mathematik

  • Thomas Hellweg

摘要

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.