大牛哥德尔

作为一个数学家，逻辑学家，思想家，哥德尔提出的不完备性定理直接让希尔伯特的形式主义理想破灭。

哥德尔定理的应用已不仅仅局限于数学，它根本地揭示了人类认知思维的局限——存在一个命题为真，但你不能证明。

作为一本介绍哥德尔及其定理的入门读物，推荐阅读。