【新004】理论支持：图灵机（科普）（透过现象看本质）

2024-12-2 22:58:49 此乃我2024年7月20日上午在内蒙古呼和浩特乌兰大酒店想到的。

图灵机。讲故事就是图灵机。因为当时在看大模型。然后说到了图灵机，然后说到了宝可梦、编程语言、我的世界等都满足图灵完备性。当时就想到了：不同的游戏本质上就是设计出不同的图灵机吗？

我发现我好像没写这个东西，那就写一写吧。感谢mfuns让我有了这个思路。而不是拘泥于mfuns自己的所谓“特色”

我认为那些写穿越小说，系统流的，什么都不如图灵机来的好。什么是图灵机呢？先说图灵完备性吧。

图灵完备性，

就是指一个东西能做到一个图灵机能做到的东西，那么他就是图灵完备性。

说完之后，我当时觉得很无用，你搁这搁这呢？

不，此时此刻，就应该透过现象看本质了。这是一个图灵机：

而这个也是一个图灵机：

没错，这第一个类似于一个sim卡或者银行卡，而第二个叫做生命游戏。

但是两者都能拥有图灵完备性。什么意思呢？也就是说第一个或者第二个，只要通过合理的编程，就能做一个图灵机能做的任何运算！比如说，建立一个mfuns网站。当然这就有一个效率低下的问题了。

我们现在的生活很便利，但是我们看到的便利生活好多都是同一个本质在支配着。

而这在二次元是什么呢？

有的人喜欢说什么游戏人生，地球online。有的人喜欢在虚拟世界里徜徉。但是，你既可以消极的面对世界，也可以积极地面对世界。

用中国人自己的话说：不生不灭。所有的东西都是一种空的，都是形名的东西。可以作伪。（换句话说就是语义分离，semantic层面是分离的）但是因果（causality）是真的。

漫画经常有各种小说流，还有系统流，还有各种套路，反套路，其实都只是同一个套路在那反复使用，非常狭隘！日漫也是，美漫也是。。。

总之田园式的脱离现实是不存在的。暂时说到这里吧。

图灵机

但是图灵机这个概念确实就应该确立下来了。因为不论快慢，它客观存在。

图灵机由4个成分构成/He defined each of his machines to have only four things:

a one-dimensional tape divided into squares, 一个一维的无限长纸带，无穷多个存储单元。

a finite alphabet of symbols for it, 机器内有有限多的元素（状态）

a tape scanner with a finite number of states, （一个读写探头）

and an “instruction table” that determines what to do with each combination of scanner state and tape symbol. （一个指令集，决定它看到什么样的符号，就做出相关指令，比如重写符号，左移右移，停止。）

就是这个简单的东西，能有非常强大的功能。

为什么强大？

这就得说到根源了，这个来自希尔伯特的23个问题。其中有一个是：

算术公理系统的无矛盾性。这个由哥德尔不完备性定理否定了。

还有一个是：

能否通过有限步骤来判定不定方程是否存在有理整数解？

德语：Entscheidungsproblem。英语可以翻译为The decision problem。

而图灵和丘奇分别予以证明。图灵的方法非常简单，就是用这个图灵机的构造证明了答案是：否定的。

【重点】图灵机的灵感从何而来？

其实图灵机的灵感来源于这个，真的很日常：所谓实践论。

当你在读书的时候，假设你读到了“定理021”，那么你就会翻书翻回到定理021那一页，然后再翻回来。但是有时候你也不需要返回去，如果你记住了的话。

In 1936 Alan Turing captured what a computer did with pencil and paper when she carefully executed a “systematic process”— such as adding a list of several dozen numbers—perhaps interrupting the effort with a tea break. A Turing machine was the model he devised that captured the essential simplicity of what she did. He ignored her tedium as irrelevant.

It surprised Turing’s professor at Cambridge University and might surprise you—because it truly is a very simple idea, with profound consequences.

而你的所作所为，就是一个图灵机的过程。

图灵就是把这个抽象出来的图灵机过程，并用于证明这个Entscheidungsproblem

启示：答案就在问题里

当你在冥思苦想，挑灯夜读的时候，想着读更多的“知识”证明Entscheidungsproblem的时候，

殊不知，你这个过程本身就是一个答案，而这个过程，通过合理的“编程”甚至能证明你以为的书本里的知识（数学定理！）

而你具体在读什么反而不重要了。

老子对此也有说法：无入有于无间！

所以我建议广大mfuns的用户，现在网站比较小，改正，建立坚实基础还来得及！

2024-12-2 23:57:59