哥德尔计算机编程（数学解释） (4-1)

Kurt Gödel，数论，Nick Land和我们的编程未来

计算历史上最早和最基本的思想之一是哥德尔数的概念。图灵[2]在断言每个可计算函数都对应于计算机(即现在所知的图灵机)之后，证明了每个这样的机器都可以映射成一个唯一的自然数。因此，可计算函数是可枚举的：自然数和可计算函数之间存在对应关系，使得每个可计算函数对应无穷多个自然数，而缓存自然数对应唯一的可计算函数。因为图灵给每台计算机分配一个数字的方案让人想起了哥德尔[3]给每一个形成良好的逻辑公式分配一个数字的方案，所以对应于可计算函数的数字被称为哥德尔数；这种对应本身通常被称为哥德尔化。

我研究这个的原因与对Nick Land使用Gödel的另一项调查有关。 正如Mackay和Brassier所指出的，

分裂分析的任务之一现在已成为解密地球创伤灾难遗赠给人类框架的“抽搐”，而“KataςoniX”将残留语义内容视为仅仅是“来自外部”代码的载体：地缘创伤的“抽搐”症状表现为亚语言点击和嘶嘶声的形式。 已经瓦解为超异教万神殿的数字名称，同步借鉴了神秘学、童谣、人类学、SF和洛夫克拉夫特等来源，语言下的“印象、对应和类比的地下潮流”（Artaud）现在被允许不受限制地（但严格准备）发展，以努力在肉体上去工程徽标的有机性。

这些探索的元素仍然是Gibsonian赛博朋克中生动地展示的转变的空间概念，这是Land著作中的重要组成部分，是反对康德将所有空间置于统一之下的建筑野心的强大堡垒。 现在，仅编码和排序机制就构建了密集的空间，这是Land数字类型学的核心，因为维度是分层的结果。 命名和编号在计数中融合，被理解为提名和排序的内在融合。 数字不再是衡量指标，而是图表而不是公制。 从Land的“先验算术”的角度来看，西方数字数学化被谴责为一种压制性的知识巨型机器——探索性智能原生的编号实践的突出产物——数学的伟大发现被解释为关于平面（或一致性平面）的错误发现，哥德尔的“反对公理化的算术反击”就是例证。 Land避免了对Gödel作为数学家的正统哲学接受，他结束了希尔伯特绝对形式一致性的梦想，从而为元数学推测开辟了空间。 对于Land来说，更重要的是哥德尔“解码”数字方法的含义，该方法建立在理查德悖论的基础上，这种悖论是由数字同时是指数和数据的洞察力产生的。[我的斜体]

哥德尔插曲还让兰德有机会扩展数字“分层”的主题：根据分层模型，随着数字的“下层”变得越来越巩固和指标的僵化，它们有问题的组成部分以“天使”数学实体的形式重新出现在“更高”的地层，但尚未抵抗严格编码。通过将素数作为数字“粒子”的密码学使用，以及Cantor在超限性序列中发现了“绝对基数”，Gödel将算术扁平化，这种趋势达到了一种典范。

因此，对兰德来说，哥德尔成就的兴趣主要不是“数学”，而是属于编码系统中数字操作化的血统，这些编码系统将通过图灵进入当代技术资本的技术巨型综合体。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。