快速梦境变换（Fast Dream Transform, FDT）
这个现象还挺少见的。
貌似这是第二次或者第三次。
不过时间都是在中午，一小时左右。
地点在学校，时间是中午。
其他人刚刚结束假期回来。
现在该回宿舍了吧。。。
但是学校正在修路。宿舍楼后面操场那块被推成了一道很深的坑。
中间还有很多事，但是很琐碎不提了。
上楼的路上，遇到了 \(Sakura\)。
好像他知道什么有意思的事来着？但是没听清。
问了问，他说，赶紧过来，趁宿舍里没人告诉你。
我便跟过去了。
他还没说什么我就，醒了。
原来是个梦啊。。。
想睁开眼睛看看，但是，
我好困啊。
遂作罢。
刚刚考完模拟赛，回宿舍。
今天的T3考了个什么手玩游戏，离谱。
到了宿舍发现，我们的学校真的是太厉害啦。。。
中午的时间被改成了自习，而且貌似是考试。
门外还有老师在喊“赶紧上床”。
gtm：不玩T3你还能干啥。
由于生物奥赛那边貌似时间并不是很紧，所以跟我们一起来做模拟赛了。
中间还过来问了问题意。
值班老师：怎么都来问题了，赶紧回去赶紧回去。
当然，这又和我有什么关系呢？
赶紧睡觉了。
可能是逐渐开始意识到自己仍然在梦里吧。
已经多久了？
是不是别人已经走了，只不过我还没醒？
想要睁开眼确认一下，但是仍然睁不开。
算了算了，回宿舍睡觉。
我一直以来都是睡在上铺的。
上来的梯子在床的上一小半的位置，极大地占据了床的空间。
当然，这是我坐起来之后才发现的。然后就没地方躺了。
研究一下梯子上面的构造。。。
突然床开始动了。
\(Chino\) 拉柜子，把床从我身下拉走了。
我：？？？？？？？？
当然，他很快就给床拉回来了。
然后我意外的发现，那个梯子的把手是可以动的。
拉一拉，然后床周围的护栏都被折叠到了下面。
好高级，但是还是赶紧复原吧。
再用手拉一拉，但是不知道怎么才能恢复了。
渐渐地我又意识到自己是在梦里了。。。
我到底睡了多久啊？
想睁开眼睛，仍然失败。
看来我真的睡了好久啊。。。
已经傍晚了。
我从宿舍楼里走出来。
身后的操场仍然是一道大坑。
晚风吹拂周围的灌木。
这种场景。。。
大概只有梦里有吧？
一次次将醒未醒时，我仿佛看到了什么东西。
一个个串联起来的梦境，长到看不见尽头。
我就是在这条线上，每次刚从一个出来，又进入了另一个。
终于，大概做了七八个梦，我醒了。
一下子就恢复了实感。
用一个中午的时间速通了总长度超过两天的梦。
醒来的时候整个人已经超脱了。
哦是虚脱了啊那没事了。
你说得对，你以为上面的是闲话？
当然不是。那个是发电。
好了后面开始闲话部分。
很多我们经常接触的概念都没有良好的定义啊。
例如，什么是知识。
我可能会问一个问题：\(1 + 1 = 2\) 算不算知识。
显然，算吧。
当然，如果我再问：\(1 + 2 = 3\) 算不算，\(1 + 3 = 4\) 算不算，......
这个可能需要商榷一下。
如果说这个不算的话，那么 \(e^{ix} = \cos(x) + i \sin(x)\) 这个算不算呢？
\(1 + 2 = 3\) 是由 \(1 + 1 = 2\) 和 \(1 + 1 + 1 = 3\) 直接推导出来的。
而上面的欧拉公式也是由若干的定义和基本事实堆砌出来的。
如果硬要说某个是而另一个不是的话，可能就需要定义经过多少层推导之后的才是知识。
这显然不对吧。
因此，上面那些东西大概都属于知识的范畴。
这么来看，知识的量是无穷多的。
而且，大量的知识是无用的。
这其实也就涉及到另一个很基本的问题了，
学术研究的意义是什么。
如果纯粹是为了了解更多的东西，追求知识的话，
那么其实不如去研究 \(a + 1 = (a + 1)\) 来的方便。
可以在短时间内获得大量的知识诶。
包括另一些不显然但是本质相同的东西。
比如三角恒等变换。
变来变去其实就是同一个东西，本质没有变。
由于变化的方式很有限，所以很容易看出来这些东西是恒等的。
而其他的一些东西，比如幂级数，其实也是恒等变换。
只不过在某些形式的时候不容易看出来，或者不容易利用性质罢了。
诸如 \(a + 1 = (a + 1)\) 一类的东西，
我们一般会说它“无意义”或者“没用”。
这里指的是实际应用中没有意义。
这么看来，学术的意义应该更多的是为实际应用吧。
至少物理化学这种学科很应该是。
我们来考虑一下如何加速数学发展吧。
经常会听到一个说法，数学是简洁而美观的。
但事实上确实不是这样啊。
是否有人见过四次方程的求根公式。
可以去查一查。
我觉得这东西不简洁。
当然，多数我们平时见到的公式定理其实都还算简洁。
所以数学家们都干了点什么呢？
首先，有一些现有的，简洁的知识。
然后数学家们开始发现新的公式。
渐渐地，公式长度开始增长，定理开始变得复杂。
于是便出现了新的符号，使得定理的刻画变得容易。
想象一下，如果没有微积分的记号，你该如何描述那些离谱的东西？
然后回到第一步。
这也就表明，对于数学中的一个领域，只能是单线程发展。
考虑一下，现在有一车数学家都在研究某个问题。
每个人使用的研究方法和符号都不同。
那么到最后，大概只会有一个或者几个被留下来作为统一标准，剩下的都没了。
因为，如果留下了极多而繁杂的符号体系，后人还怎么继续深入了。
而受限于人脑的思维模式，不是很擅长解决那种几百项的式子。
所以一定要有统一而简洁的符号，才能往下推进研究。
如此看来，限制数学发展的一大障碍就是刻画。
我们总是需要用大量的精力去做化简，去统一符号。
而随着时间增长，符号的数量越来越多，数学也会慢慢变得不那么简洁。
因此，接下来我要说什么？
公式推导自动化。
计算机栈的长度是可以调的，可以很大。
对一个 114514 项的式子做因式分解，人脑不行但是电脑可以。
这也就是机械化方法的意义了。
试想一下，我们建立一个类似于人工智能的东西。
可以自动去进行公式推导和定理发掘。
这样就可以高效的产出了。
很多人力无法计算的东西都可以靠这个解决。
那么好了，下一个问题来了。
产出的知识很可能会有很多无用的东西。
这也就是我们对知识没有良好定义的后果。
可能需要大量的人工筛选，找到合适而有用的东西。
然而，如果公式的内容是一个 \(10^6\) 的多项恒等式，
谁又能知道这东西说的是什么呢？
这个问题急需解决。
当然，方法不是没有。
一般来说，数学产出的成果可以直接送往信息学进行加工。
根据需要，也可以送往物理学进行加工。
而产出的二次知识可以送往化学、生物等。
既然我们产出数学知识的目的是服务现实需求，
那么直接一条流水线做好就可以了吧。
这是什么，这是社会生产自动化。
未来突然就显得美好了许多啊。
但是呢？
考虑一下到了自动化之后会发生什么。
或者说，先考虑一下，所谓的“服务实际应用”指的是什么。
最初，大概是为了生存。
农用技术可以用来降低劳动量，提高产量，赢得更多生存的机会。
然后，大概是为了方便。
工业技术可以降低对劳动力的需求，一些危险/无聊的工作可以交给机器做。
然后，大概是为了欲望。
各种新的技术基本都是满足一些额外的需求。这些需求无关生存，也没有省却繁杂的工作。
然后呢？
考虑一下，你现在无需进行任何的劳动，无需进行任何的思考。
可以全自动给你最舒适的体验。
或许真的有人愿意这样（?）
但是换个角度来看，你是个啥。
一堆细胞组成的，被机器笼罩的，无意识产物。
如果你真的是认真的看到这里并且摸清楚了这些逻辑的话，
那么恭喜你，到达了这些逻辑逻辑的尽头，
叫做虚无主义。
容易发现过度思考的尽头基本上都是虚无。
你会发现很多东西深究下去都是无意义的。
当然，这是怎么会逝呢？
人们总是习惯性的给自己找意义，给事物找意义。
但事实上，如果要说的话，生存便是生物的意义。
形成原因的话参考进化学说，这很显然。
只有把生存和繁衍当做首要任务的结构才能保留下来并发展壮大。
这便是生物。
过量的劳动是不适于生存的。所以人有惰性也就合理了。
这么看来，到了全自动的程度是最适合生存的。
所以好像也合理。
如果遵循基因的引导的话，最后的结局大概就是这个。
但是，很少会有人真的把“活下去”当成是意义吧。
总是会去想“为什么要活下去”。
这也就是上述矛盾的根源了。
所以会有“人生无意义”的说法。
显然，如果想要遵循自己的意愿而不是基因的引导的话，
非常重要的便是找到一个除了生存之外的，新的意义。
或者说，一个奖励函数。
这便是哲学里面比较热门的话题之一。
这也是为什么一般科学和哲学会放在一起了。
我今天都写了点啥。
这期闲话的内容明显比往期多啊。。。
但是，真的希望有人可以认认真真的看完。
当你明白其实现在做的事情并没有多大意义之后，
其实说白了，钱确实是身外之物，意义不大。
所以今天是狂乱木曜日，V 我 50 吧，我来帮你把这无意义的东西通通粉碎。