SKI文明的衰落

:: translate

By: NickName

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

原文

在莱姆达组合星(也称闪烁之星)的第三颗行星上发现的最古老的文本谈到了闪烁之星的史前思想。远古的应用之书(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)))$

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