不管是在神州历史还是地球历史,“图灵机”这个概念都和“可判定性”息息相关。
关于“计算机器”的研究,其实比蒸汽时代还要早许多。在科学尚处于蒙昧的时代里,手摇式计算机器就已经诞生了。具备一定计算能力,可以执行四则运算的差分机——以蒸汽驱动的运算之“脑”,也不是什么太新鲜的新闻。
但是,只有“图灵机”这个结构是划时代的。
“图灵机”本质上一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大的逻辑机器。而它最初的思路,是以机器模拟人的纸笔运算。冯诺依曼架构是它的工程化实现,将之化为了人们更为熟知的“计算机”。
而它诞生的直接原因,则是“完备性”“相容性”“可判定性”三大问题之中的后两条。
它是用来判断“是否任何问题都能在有限步骤之内完成判断”的抽象模型。
实际上,几乎所有已知的法术,都属于“在有限步骤之内完成的行动”。
哪怕是“自成循环,生生不息”,那也是有限行动的无限循环,而非是“无限步骤的行动”。
如果将“法术”相关的行动、经验替换成一种“逻辑”,那么已知的所有神通,几乎都可以看做是“可以被图灵计算”的东西了。
但是,不可图灵计算的神通,同样是存在的。
比如说,过去未来归于一身的特有能力。
不同于某些画风奇特的幻想作品,掐指一算前知多少年后知多少年却唯独只能顺着单一的因果去走,却连一点超时代的科技树都点不出来。
在这个宇宙,但是“预知下一秒”的有限前知,便足以让传统的因果律崩坍。
行功之时,无需进行繁杂的设计——只需要预知下一秒的状态,就可以自发的寻得最优解。
而画设计图,也可以通过不断预测下一秒笔尖的位置,凭空完成任何惊世骇俗的设计