计算机构造（五） (5-5)

这篇文章我们延续之前的介绍，定义了计算模型之间的模拟和计算转换，得到了一个 2阶-范畴Cmp，通过这个 2阶-范畴定义了计算模型之间的等价，并且初步地说明了，在高阶计算模型的框架下自然数的计算模型和基于 λ-calculus 的计算模型之间不是等价的。我们也简单地讨论了从计算模型到集群范畴的构造，表明了这之后有着更加优美和深刻的数学结构。我们有许许多多其他关于计算模型的技术和应用没有涉及；事实上，高阶计算模型在计算机语言语义、可计算结构、（高阶）直觉主义逻辑等等领域有着更加深刻广泛地应用。感兴趣的读者可以翻阅 Higher-Computability Theory 一书的相关章节，两位作者对于高阶计算理论发展的历史和应有有着非常好的阐述。

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