若要对哥德尔的论点给出一个异常清晰且容易理解的说明,我强烈推荐一本小书《哥德尔证明》( G?del’s Proof ),作者是欧内斯特·内格尔(Ernest Nagel)和詹姆斯·R. 纽曼(James R.Newman)。我年轻的时候读过这本书,而且自此之后就爱上了数理逻辑。
顺便说一下,哥德尔支持这样一个观点:我们通过超感官知觉来获取数学知识,而不是通过逻辑和证据:
尽管远远不同于感官体验,我们对集合论这一数学对象的确会产生一种知觉,这一点可以从以下事实中看出:那些数学原理会加到我们身上,并且内容都是真的。我一点也不明白为什么我们要不信任这种知觉,即对数学直觉的信任没有对感官体验的信心多……也许它们也代表了客观现实的一个方面,但是,与人类的感觉不同,这些超感官知觉的出现也许要源自于我们和现实的另一种相互关系。