“你知道吗？所有计算机都是图灵机或者等价图灵机的工程实现。而图灵机的概念，则是‘希尔伯特计划’的副产物。有一位数学家，想要证明人类已经接近数学的终极真理。他用自己的智慧找出了捷径——只要证明，能够用一套机器在有限的步骤内证明所有数学命题，这就代表人类即将掌握那个终极的真理。”
“他失败了？”
“理所当然的失败了。最终，他下一辈的天才人物——包括图灵和哥德尔——证明了，现有的数学范围内，不可能存在一套机器能在有限步骤内证明或证伪所有数学命题。计算机就是这一套‘能够解决一些问题但是却不能解决一切问题’的机器。”
“人类的生物脑就能解决吗？”
“数学的王国在不断扩张。某些极限的问题似乎永远在天际线上。”向山如此形容道：“其实我就认识一个天才……可能是几百年才会出现一个的那种。”
内容未完，下一页继续阅读