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

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

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

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

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

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

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

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

如果将“法术”相关的行动、经验替换成一种“逻辑”，那么已知的所有神通，几乎都可以看做是“可以被图灵计算”的东西了。

但是，不可图灵计算的神通，同样是存在的。

比如说，过去未来归于一身的特有能力。

Loading...

未加载完，尝试【刷新】or【退出阅读模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.360lele.cc

(＞人＜；)