归理论、集合理论、直觉逻辑——所有这些都被哥德尔的工作转化了,或者在某些情况下,从哥德尔的著作中得到了它们的起源。
但在哥德尔的辉煌成就中,有一个格外突出——哥德尔不完全性定理。一个人不需要成为一个实践数学家来掌握不完全性定理的基本思想和信息。也许这就是为什么这个结果在流行的科学辩论中获得了如此多的勇气的原因。但这种巧妙的简洁只是1931年的作品与这位奥地利知识巨人的其他杰出作品区别开来的众多方面之一。
在我看来,当我们第一次遇到不完全性定理时,它不仅仅是许多数学结果中的一个。也就是说,它的目的不是确定某个抽象对象X是否具有属性。相反,它属于某一领域内可言数学命题的总和。人们可能会说,它说明了一切。
当然这样的论点有点过早,因为原始论文只是把句子集表述成数学原理的形式,但由于系统在包含基本算法的情况下就出现了不完备性,我们可以恰当地得出结论,认为这
...