图灵很耐心的解释：“计算机之所以能够模拟实验流程并在其中发现问题，是因为逻辑没变。

计算机不懂现实当中的这些环境带来的感受，但是计算机懂得逻辑。陆山先生的计算机模型搭建逻辑已经不是过去的办法，黎曼猜想有了成果之后，我们已经可以更好的让计算机理解现实中的逻辑。

比如说，氧和氢燃烧会生成水，这就是逻辑，是宇宙万物的真理。

我们只需要把构成逻辑的诸多参数输入模型，就可以得到过程。

当然，我们采取的是搭积木的办法来印证。”

“搭积木？”玛丽不解。

“就是把小逻辑先走通了，然后再把小逻辑叠加起来组成较大的逻辑，较大的逻辑走通了然后再拼起来组成大逻辑，这样就能保障逻辑始终畅通。”庞加莱这时候也开口回答老乡，说实话，这不丢人，自己当初听图灵说的时候，也以为图灵瞎扯淡呢。

事实证明，图灵的计算机逻辑确实是独一档的存在，数学肯定有人比他强，但绝对没人能在计算机逻辑上打败他。

玛丽也聪明：“这样的话，运算的工作量非常可观了。这么多的小逻辑需要我们一个个搭建吗？”

“不用，凡是重复的工作，都由可可助手部分参与了，我们只需要检查一下就行。”

说到这里，庞加莱一脸的庆幸。

如今的研究全都需要搭建模型，要是一个个搭建，想死的心都有了。

好在可可助手有学习能力，把那些逻辑都学了去，想要什么反应模型，它会自己调出来搭建，不用再教一次。

依旧是那个比方，不同元素的反应告诉过可可助手，可可就会看到分子式的时候就自动搭建好模型，它就能自动反应。

铁和空气反应，一开始是氧化铁，不管不顾的话，可可助手会继续反应，然后给你过氧化铁，差不多就是这个原理吧。

所以还真得把时间看好，最起码跟可可助手打声招呼，反应到什么程度出现什么产物就固定一下成果。它现在还没有分段运算的能力，依旧得看着。

假以时日，可可助手肯定能智能到那个程度。

“好的。”玛丽点点头，她心里面也充满了期待。

于是最复杂的前提工作开始了，那就是输入玛丽给予的实验基础数据，变量太多，图灵敲了整整一天还没得。

敲到手麻的图灵回头想让庞加莱换班，发现他抱着个西瓜挖着吃，顿时气不打一处来。