我见过很多从天文学的角度解读 ER 剧情的网友，相对地其他的学科视角似乎比较少见。近日看 2M 师的微博提到黄金律法基本主义或许代表的是一种类似科学哲学的学科（与此同时法术更接近纯粹的物理？），我觉得真挺有道理的啊啊啊。由于我自己本职工作跟这个方向相关，我一直觉得基本主义原本里会有相当多的数理逻辑内容，尤其 Ramsey's theorem 这种规律类的结论成为了我很长一段时间里对基本主义的浪漫想象。

至于为什么偏偏是数理逻辑，一方面可能是因为我只熟悉数理逻辑（…），另一方面是我通过金面具支线得到的一些推测：我一直觉得金面具和双指的肢体语言都非常形似二进制，如果把他想象成一部图灵机的话，这可以将金面具的演算（我也一直觉得柯林的台词里说金面具的行为是 "calculus" 非常耐人寻味）延伸到这样一个现象：某些定理不可为皮亚诺算术所证明，但是在更强的二阶算术中却可证。而金面具的演算因为无法解读出拉达冈就是玛丽卡停滞，就非常像一个因为无定义值导致的递归函数卡死的运算。一旦你告诉了他拉达冈就是玛丽卡的事实，就是提供了拉达冈这个无定义值的定义，因此无限循环的条件被打破了。

> 有趣的事实：在计算复杂度理论与可计算性理论中还有一种叫做 Oracle Machine 的抽象图灵机：它可以查询一个称为 oracle 的黑盒，并且能够在一次操作中对某个特定问题集合 R 的任意实例给出答案。集合 R 可以属于任意复杂度类，甚至可以是不可决定问题，例如停机问题。这个描述有让你想到游戏中的 Oracle envoy / 神谕使者吗？

其实你还可以从数理逻辑概念中找到很多跟游戏相关的概念，或许是因为这个由符号驱动的学科中不断诞生了许多的哲学思想，这些哲学思想很有可能成为了编剧的创作灵感之一。这一事实同样也与基本主义“从学问中诞生信仰”的描述不谋而合。（我自己身边就有很多同学把数理逻辑当成自己的信仰，，

同时，考虑到此学科有一本普世科普读物叫 Gödel, Escher, Bach: An Eternal Golden Braid（耐人寻味的名字huh），G.E.B 在东亚还是挺流行的（吧（感觉已成网红书籍）），所以我很难不臆测环的编剧中是不是有人看过这本书）

btw 把基本主义想象成数理逻辑及其类似物很好玩，因为我们在游戏中有两位 int 只有 1 的基本主义者🤣考虑到 D 弟会使用光环祷告，我不禁想象他至少理解了 The Completeness Theorem 的部分，与此同时，某个人可能刚学完 The Alphabet of a First-Order Language 就决定走向野兽之路了吧，哈哈哈…（不禁想起了一万篇 D 弟上大学，D 哥在外面当警察/保安之类的打工供他读书的同人文…