何况似乎只有到了一定的信仰等级，【神】才会反过来影响现实。

总的来说还是利大於弊的。

王东现在仅需要思考要信仰哪一位新【神】。

经过层层筛选，在【阿兰?麦席森?图灵】和【约翰?冯?诺依曼】两者之中，他选择了前者。

毕竟这是有关人工智慧的探討，阿兰·图灵显然要比冯·诺伊曼更擅长一些。

想要信仰一位【神】，首先要做的第一件事就是了解他。

【阿兰?麦席森?图灵】，你的世界又是什么样子的呢？

剑桥大学国王学院不会知道一个未来改变世界的天才，在他们这里学习数学。

而此时的数学界正在经歷著一场危机。

希尔伯特那份的纲领，一份证明数学的完备性、一致性和可判性的宏伟纲领，被哥德尔的不完备定理撕开了一道无法癒合的伤口。

哥德尔证明了，在任何足够复杂的数学系统中，总存在既不能被证明也不能被证偽的命题。

年轻的天才並不关注这场危机，他只是好奇希尔伯特纲领中剩下的最后一个问题，判定问题，是否有解？

也就是说，是否存在一种通用的、机械化的步骤，能够判断任意一个数学命题是否可证？

在这个大多数人都在直接研究数学逻辑本身的时代，阿兰·图灵选择了一条完全不同的道路。

与其爭论什么是可证明的，不如先定义什么是可计算的。

一个极其简单的机器在阿兰·图灵脑海中诞生。

一条无限长的纸带，被分成一个个方格。

一个读写头，可以在纸带上左右移动，读取和改写方格上的符號。

一个状態寄存器，记录机器当前的状態。

一套规则表，根据当前状態和读取到的符號，决定下一步的动作。

这四个极其简单的部件，就是被称作“图灵机”的模型。

利用停机问题的不可判定性，年轻的天才否定了希尔伯特纲领中的最后一个判定问题。

数学中存在著本质上不可解的问题。

宏伟的纲领就此倒塌，年轻的天才建立起自己的威名。

【阿兰?麦席森?图灵认可了你的信仰】

【已成为布莱切利园英雄的信徒】

【获得被动：图灵测试】

【图灵测试：对於计算机和人工智慧的理解显著提升】

一瞬间，王东这些天从课本中汲取的知识，开始在他的脑海中推衍变化。

那些仅仅停留在表面的理解，现在变得可以更加深入。

王东突然觉得，对於人工智慧，自己完全可以做到侃侃而谈。

虽然还谈不上时代顶尖的理解，但和一位院士畅聊，那应该还是绰绰有余。

他把板砖一样沉重的书本放回书架上，从图书馆直接冲回宿舍。

拿出笔记本，不紧不慢地开机，打开word。

看著空白的页面仅仅是思考了几秒，双手就变成舞动的精灵，在键盘上疯狂游走。

一篇和人工智慧的统计推理与因果推理有关的思考理解驀然呈现在纸上。