么样子的呢？
剑桥大学国王学院不会知道一个未来改变世界的天才，在他们这里学习数学。
而此时的数学界正在经历着一场危机。
希尔伯特那份的纲领，一份证明数学的完备性、一致性和可判性的宏伟纲领，被哥德尔的不完备定理撕开了一道无法愈合的伤口。
哥德尔证明了，在任何足够复杂的数学系统中，总存在既不能被证明也不能被证伪的命题。
年轻的天才并不关注这场危机，他只是好奇希尔伯特纲领中剩下的最后一个问题，判定问题，是否有解？
也就是说，是否存在一种通用的、机械化的步骤，能够判断任意一个数学命题是否可证？
在这个大多数人都在直接研究数学逻辑本身的时代，阿兰·图灵选择了一条完全不同的道路。
与其争论什么是可证明的，不如先定义什么是可计算的。
一条无限长的纸带，被分成一个个方格。
一个读写头，可以在纸带上左右移动，读取和改写方格上的符号。
一个状态寄存器，记录机器当前的状态。
一套规则表，根据当前状态和读取到的符号，决定下一步的动作。
这四个极其简单的部件，就是被称作“图灵机”的模型。
利用停机问题的不可判定性，年轻的天才否定了希尔伯特纲领中的最后一个判定问题。
数学中存在着本质上不可解的问题。
宏伟的纲领就此倒塌，年轻的天才创建起自己的威名。
【阿兰?麦席森?图灵认可了你的信仰】
【已成为布莱切利园英雄的信徒】
【获得被动：图灵测试】
【图灵测试：对于计算机和人工智能的理解显著提升】
一瞬间，王东这些天从课本中汲取的知识，开始在他的脑海中推衍变化。
那些仅仅停留在表面的理解，现在变得可以更加深入。
王东突然觉得，对于人工智能，自己完全可以做到侃侃而谈。
虽然还谈不上时代顶尖的理解，但和一位院士畅聊，那应该还是绰绰有馀。
他把板砖一样沉重的书本放回书架上，从图书馆直接冲回宿舍。
拿出笔记本，不紧不慢地开机，打开word。
看着空白的页面仅仅是思考了几秒，双手就变成舞动的精灵，在键盘上疯狂游走。
一篇和人工智能的统计推理与因果推理有关的思考理解蓦然呈现在纸上。
??&128073; 当前浏览器转码失败：请退出“阅读模式”显示完整内容，返回“原网页”。