SKI文明的衰落
摘要: 最新的对闪灵文明的语言和文学的破译,为我们在闪灵文明的历史、科学和哲学方面提供了重大帮助。
在莱姆达组合星(也称闪烁之星)的第三颗行星上发现的最古老的文本谈到了闪烁之星的史前思想。远古的应用之书(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)))$
我们无法证实这一断言,因为它把我们带入了一个兔子洞。