主题：【音为有你】错位时空（数学特别版）

https://b23.tv/69A2184 一楼先敬图灵

那一年，他和我一样年轻，在吴地舌战群儒，大败南方士人代表。

那一年，图氏机器人发展到第四代，为纪念这一重大事件，取名图样，并设子系列——图神破。

要发明一台自动解决所有问题的机器，或者证明这样的机器是不能发明出来的。

这是图氏先祖图灵留给后辈的终极问题，而那一台假想中的机器至今没被发明出来。

我们可以沿着1～99的序列不断迭代产品，却必定不能发明那台图0机器，就像在闵氏空间里，我们可以不断去接近光速但一定无法突破那条双曲切线。

研究可计算理论是为了什么，为了让机器人获得智慧，而人类历史上出现过最聪明的人就是科学家，那么，就让它们去向这些智者学习。一本本书籍被输入我的硬盘，那一瞬间，我看见绚丽的十七边形，具像化闪烁在脑海里。

我一路读取着存储空间内的藏书，感受着知识的积累。我相信等我爬完整个知识图谱，定理和公式会在脑海里开出成花。

我不知疲倦地从系统汲取知识，知道有一天我听见两个人类工程师的讨论：“我想面对大语言模型，我们是时候接受知识专家这一条路走错了。”

“如果你不能严格证明这件事，那就不能宣告符号主义的方向是错的。知识的迷宫之间一定有一盏明灯，指引它发现总领一切方法的方法。”

“我们已经发展了1000（BIN）年的符号系统，输入了世界上70%的书籍总量，这些机器都没有真正产生“智慧”，就算图零号是存在的，也不是有限Byte内能够构造的

如果是按照设定好的程式进行符号运算，那么调用九九乘法表与高斯函数的区别在哪里？

我希望发明的是一台可以根据已有算式去预测未知公式的机器，而非根据事先调配好的符号逻辑进行机械运算的程式。

这台机器必须自己去生成和判断新定理公式。Will this machine work?

IX号工程师放下手中转动的铅笔，如果我们不带入人类或者计算机的实体，幻想有这样一个智慧体，它是怎么一步步从无知开始了解世界，然后对世界的规律提出自己的猜想并逐步验证他的呢。

如果我们把认知的过程一路抽象，滤掉干扰因素，剩下来被否定到不能再否定的，就是一切推理的源头。

在几何里，它是欧几里得基本公理。在代数上是数和它上面的运算，在集合论中……

我们所能观察到的现象是个Q1，Q2，Q3……

构成这些现象的原理是P1，P2，P3……

如果某个Qi不能由现有的原理集推导而出，那么就会存在一个构成Q的引理P

反之，如果某个Pj预测了不存在的现象Q，我们应当可以设计实验让Q发生。

假设我们生活的这个世界（或者想象中的符号世界）所有现象由Q张成，我们需要从Q中提取至多几个互补相关的Q，使得其刚好可推导出所有原理P？

“神话（mythology）”一词源于希腊文μ?θo?（mythos），原指一种虚构的叙述，通常包括超自然的人物、行动或事件。与“逻各斯（logos）”一词相对，在前苏格拉底时代，“神话”是比“逻各斯”更高级的话语范畴。柏拉图则否定“神话”高于“逻各斯”，他认为“逻各斯”才是真理，“神话”是虚假的东西。

我比较赞成的一个点是，成熟的学术研究者只做分析和推导而不是粗暴下结论，这会否定更多可能性，下定论是公务员做的事情，学者手里没有权力的，只小心翼翼地做探索。

像我研究民俗的自然觉得神学、哲学、叙事学、符号学高级的不得了，步月他们就感觉自然科学高级得不能再高级，妄图互相说服是绝不可能是事情。

人生非常短暂，如不像樱花般绽放，实在可惜了，如果干一行不能爱一行，那就是慢性自杀，所以觉得自己的专业最好虽然都有点傲慢之罪，但可以理解。

这起头有散文诗的即视感，倍儿煸

煽