博炮作文网

第936部分（第3页）

而与百年之内登仙的妖孽相比，他们在数量上会占绝对优势。

实际上，今法仙道之所以能够取代古法仙道，便是因为元神法与人族体魄、先天智慧、思维方式的极端契合。

若无这种水平，天眷遗族之中的强族也不至于为之惊叹了。

“专属于自身种属的长生道果”可不是一句空话。

而当仙道技术进一步成熟之后，“人人有功练，人人有仙修”也不会是一句空话。

不过，距离龙族那种阖族长生的水准，却还有很远的距离了。

但尽管人族和龙族差距巨大，王崎却从这一份“补给”的最后一篇论文之中，窥探到了一丝端倪——关于人族最高境界的蛛丝马迹。

或许正是因为这样，所以这一篇论文才被设定了相当高的密级吧？

在所有论文当中，唯有这一篇，是王崎不能共享给其他人的。

王崎推测，这一批“补给”之中，算学范畴论的部分，或许是考虑到自己刚需。而这一篇，才是值得讨论的重点？

但是，很奇怪的是，这一篇论文，却是综述性质的。

没有什么更深一层的结论，也没有什么实际性的进展，就是总结一下之前工作，展望一下未来。

当然，当然，大佬展望一下未来，就是在给大家指路。

《图灵计算在行功体系中的体现，以及以功体完成不可图灵计算工作的发展方向》

作者，图灵真人。

机老自然不会是用这种标题给自己脸上贴金。“图灵计算”，或者说“图灵机可计算的问题”，确实是这个神州的专有名词。

不过，这其中的内容，就有些耐人寻味了。

功体，必然是存在图灵机的特性、可以执行图灵计算的。

这也是神瘟咒法这种基于图灵机的逻辑所演绎出来的法咒，有着如此广的适用对象的原因。

而“可以被图灵机计算的问题”，其实也不难理解。

实际上，图灵机与“可计算性”这个问题密不可分。他本身就是为了推翻算学的“可计算性”，或者说“可判定性”才诞生的。

有些问题，图灵机是“绝对无法完成”的。

哪怕硬件再强，只要还是图灵机，就无法完成。

第一百六十章　论过去未来归于一身的超图灵机特性

不管是在神州历史还是地球历史，“图灵机”这个概念都和“可判定性”息息相关。

关于“计算机器”的研究，其实比蒸汽时代还要早许多。在科学尚处于蒙昧的时代里，手摇式计算机器就已经诞生了。具备一定计算能力，可以执行四则运算的差分机——以蒸汽驱动的运算之“脑”，也不是什么太新鲜的新闻。

但是，只有“图灵机”这个结构是划时代的。

“图灵机”本质上一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大的逻辑机器。而它最初的思路，是以机器模拟人的纸笔运算。冯诺依曼架构是它的工程化实现，将之化为了人们更为熟知的“计算机”。

而它诞生的直接原因，则是“完备性”“相容性”“可判定性”三大问题之中的后两条。

它是用来判断“是否任何问题都能在有限步骤之内完成判断”的抽象模型。

实际上，几乎所有已知的法术，都属于“在有限步骤之内完成的行动”。

哪怕是“自成循环，生生不息”，那也是有限行动的无限循环，而非是“无限步骤的行动”。