哥德尔的错误：意义在数学中的作用

为什么数学不完整？

哥德尔不完备性定理是数学中的一项基础性成果，它证明任何公理化的数论要么不一致，要么不完备。

图灵的停机问题是计算中的一个基本结果，证明计算机无法知道程序是否会停机。哥德尔的错误将这些定理与意义问题联系起来。该书指出，证明的产生是由于名称、概念、事物、程序、算法、问题等之间的类别混淆。该书认为，这些问题可以通过在数学中引入普通语言类别来解决。