加拿大数学家西蒙柯亨在他对哥德尔的致敬中回忆道：在博士考试中，我被要求写出5个哥德尔定理。这个问题的实质是，每一个定理要么催生了一个新的分支，要么彻底改变了现代数学逻辑。证明理论、模型理论、递归理论、集合理论、直觉逻辑——所有这些都被哥德尔的工作转化了，或者在某些情况下，从哥德尔的著作中得到了它们的起源。
但在哥德尔的辉煌成就中，有一个格外突出——哥德尔不完全性定理。一个人不需要成为一个实践数学家来掌握不完全性定理的基本思想和信息。也许这就是为什么这个结果在流行的科学辩论中获得了如此多的勇气的原因。但这种巧妙的简洁只是1931年的作品与这位奥地利知识巨人的其他杰出作品区别开来的众多方面之一。
在我看来，当我们第一次遇到不完全性定理时，它不仅仅是许多数学结果中的一个。也就是说，它的目的不是确定某个抽象对象x是否具有属性。相反，它属于某一领域内可言数学命题的总和。人们可能会说，它说明了一切。
当然这样的论点有点过早，因为原始论文只是把句子集表述成数学原理的形式，但由于系统在包含基本算法的情况下就出现了不完备性，我们可以恰当地得出结论，认为这个结果中有一些非常深刻和非常深远的东西。然而，哥德尔本人，尽管他很谨慎，直到1935年看到图灵对可计算性的分析，他才相信所有形式系统都有一些精细的算术的不完全性。正是图灵的工作使不可判定性成为一个普遍的、具有哲学魅力的概念。在普林斯顿两百周年数学问题会议上，哥德尔说：塔尔斯基在他的演讲中强调一般递归概念的重要性。在我看来，这种重要性很大程度上是因为有了这个概念，人们第一次成功地给一个有趣的认识论概念下了一个绝对的定义，也就是说，不依赖于所选择的形式主义。
哥德尔指的是一种形式系统，其中某些真实的表述是无法证明的，图灵证明了人们可以想象的“计算机器”无法计算某个函数的值。由于他对可计算性概念的分析，图灵的情况不受形式系统选择的限制，因此是绝对的。他解释说：哥德尔已经表明（在数学原理的形式主义中）有命题u使得既不u也不?u是可证明的。结果表明，在形式主义内不能给出数学原理（或具有基本算术的任意形式系统的k）的一致性的证明。[…]我将证明，没有通用的方法可以判断给定公式是否可以在k中证明。
的确，这是反思数学真理概念的一大步，可能是历史上最重要的一步。它以一种独特而简单的方式向我们表明，真理并不立即意味着可证明。从这个意义上说，这种数学的结果对哲学家比数学家更重要。因此，包括哥德尔和图灵在内的哲学家，开始反思这个惊人定理的哲学意义。
现在，一般来说，由于图灵的工作为计算机科学奠定了基础，并最终导致了第一台计算机的建立，人们可以问关于计算机的数学能力：它们证明数学定理的“能力”的限制是什么？
一些