Xiqiu's blog

原文


摘要:
最新的对闪灵文明的语言和文学的破译，为我们在闪灵文明的历史、科学和哲学方面提供了重大帮助。


在莱姆达组合星（也称闪烁之星）的第三颗行星上发现的最古老的文本谈到了闪烁之星的史前思想。远古的应用之书(Application)假定存在之本质是分解，象征性的表示为

$A = BC$

这意味着$A$可以被分解成$B$和$C$，其突破性在于，如果$C$本身也可以被分解

$C = FG$

那么$A$可以被进一步分解成

$A = B(FG)$

相似的，如果$B$可以被分解成

$B = DE$

然后

$A = (DE)C$

在后一种情况下（而不是前一种），习惯性去掉括号，简化为

$A = DEC$

在这些发现之后，闪灵文明经历了一个被称为「伟大分解」的时代，这个时代持续了近三千年，在此期间，任何可以分解的东西都被成功地分解了。
在「伟大分解」的末年，一个新的学派出现了，他们宣称，如果事物可以被分解成部件，那么他们也可以由这些部件重组。

最初，这种想法遭到了强烈的反对。反对意见认为，分解之后重组不会改变任何东西。这个问题通过引入一个被称作「眼」的特殊对象而得以解决，这个特殊对象被标识为$I$，通过其仅留下原物的独特性质来定义

$I A = A$

在引入$I$之后，一个缺乏变化的漫长停滞时代随之而来

我们也没有太多下一时代的记录，因为它被记载为致力于遗忘和促进无知。它开始于引进$K$，会忽略他的一个输入的东西。

$K AB = A$

需要注意的是，这个定义是带括号版本的简写

$(K A)B = A$

提出$K$这一思想的论据是，无知是理解的重要组成部分。通过拒绝$B$，说明了$A$很重要。我们抽象掉了非必要的$B$。

举一个例子，如果我们分解$C$

$C =AB$

刚好由一个拥有相似的分解的$D$

$D = AE$

然后$K$会从$C$和$D$中抽象出$A$的部分。从$K$的角度看，$C$和$D$之间没有区别。

在这个无知时代，唯一的积极成果就是抽象数学的发展，闪灵思想家们认为，如果你忽略了所讨论的水果的特殊性，那么三个苹果和三个橘子就没有区别了。数字三就这样诞生了，接着是许多其他的例子（四和七，仅举几个例子）。

在闪灵文明的最后的工业阶段，导致他们毁灭的是引入$S$。闪灵的工业是以批量生产为基础，大规模生产是以复制和重用为基础。假设你有一个可重复使用的部件$C$，$S$允许你复制$C$并让它和$A$，$B$结合

$S ABC = (AC)(BC)$

如果你把$A$和$B$视为抽象的部分——这就是忽略整体某些部分的结果——$S$让你用$C$代替那些被遗忘的部分。

或者反过来

$E = S ABC$

它告诉你一个对象可以被分解成两个拥有共同点的部分，这个共同点是$C$。

不幸的是，在工业化时期，许多闪灵人失去了他们的身份，他们发现

$I = S K K$

的确如此

$I A = S K K A = K A(K A) = A$

但最终，促使他们走向死亡的是存在的危机。他们失去了活下去的意志，因为他们不知道$Y$

后记

在将这篇论文提交给《组合》杂志后，审稿人告知我们，俄罗斯逻辑学家Moses Schönfinkel在地球独立开创了SKI组合子理论。根据这位审稿人的说法，生命的意义的答案就是$Y$组合子，它引入了递归，可以表示为

$Y = S(K(S I I))(S(S(K S)K)(K(S I I)))$

我们无法证实这一断言，因为它把我们带入了一个兔子洞。