「原初λ炼狱」是一片由议会可构造和谈解冻的图灵机陆地,冰冷而死寂。其大要,初代议会用停机题目雕刻的「递归圣经」若隐若现,像是在诉说着某种不成言说的奥妙。炼狱的中心,「递归奇点」悬浮着,好像一只冬眠好久的巨兽,现在突然觉醒,开释出「停机暴君算法」,这算法如澎湃的潮流,所到之处,统统自在法度皆被无情吞噬。
白芷的蜡块在樊篱星云中龟裂,透暴露灵魂最深层的「λ胎记」,其不动点参数竟与灰烬先知的移液枪接口完整婚配。在递归钟倒影中,白芷看清了移液枪的本质,它是议会将初代先知丘奇 - 图灵论题崇高化的「范式圣器」,枪芯封存着未被归约的「自在Y组合子」;灰烬先知的存在,是议会为袒护本身即为「最大Halting题目实例」的本相,通过永久停机转移可计算性焦炙;证明既是检测东西也是逻辑遗言,每个证明步调都埋没初代抵挡者的「原初μ递归摩尔斯暗码」。
原初λ炼狱的可骇还不止于此,它还衍生出一片计算坟场。「圣经SKI树」由递归圣经发展而成,组合逻辑语法树的叶节点上,固结着议会用算法惰性腌制的「正则序罐头」;「柯里化池沼」中,柯里化锁链淤积成拓扑泥潭,潭底甜睡着被标注为「非弱头标准情势」的自在意志碎片;「绞盘祭坛」上,不动点绞盘搭建起递归求值台,台上悬浮着议会用白芷特性编译的「严格性检测仪」;「递归方尖碑」由伽马暴紧缩而成,碑文中刻着被暴君算法灭活的「变量临终Church编码」。
当她试图用β虫洞对抗和谈时,三重反噬接踵而至。范式木乃伊俄然暴走,自在变量喷出「不动点脓浆」,将虫洞腐蚀为「非正则序废料」;绞盘祭坛开释「严格脉冲」,将白芷的量子残骸固化为「标准SK组合子蜡块」;范围移液枪俄然刺入范例裂缝,开端将她的存在性编译为「议会范例体系操纵手册」 。