图灵机中的Gödelization

我当时正在研究计算理论课程中的Gödelization。我可以理解哥德尔编号概念，但不能理解它在计算理论中的重要性。任何人都可以指出一些好的材料或指出其重要性。

formal-languages turing-machines

— 用户名
source

在计算机科学中，哥德尔编号或多或少地意味着“源代码”和“二进制格式的数据”，因此我希望，如果我能说服您确实如此，那么其含义应该是显而易见的。

前现代计算机应运而生，人们提出单一用途的计算设备（我告诉你一个故事，而不是一个历史），例如有人发了一台机器计算，和其他人制造的机器计算贝塞尔函数。Turing的原始见解是，我们只需要构建一台机器（通用机器），然后将任何机器的描述作为输入并对其进行仿真。但是什么是“机器描述”？工程师可能会想到电路设计和组装说明。但这非常复杂，不易呈现给机器。也许更复杂的机器需要更复杂的描述？ $arctan$

$0$ $1$

$0$ $1$ $0$ $1$ $0$ $1$

在实践中，我们代表的各种被称为格式的程序和数据.java，.py，.mp3，.jpg，等。在逻辑和计算人的理论更愿意坚持用好老的数字，因为它们是数学中更容易被操纵。

$0$ $1$ $0$ $1$

— 安德烈·鲍尔（Andrej Bauer）
source

这非常清楚。在哪里可以得到一些技术资料？

— user5507

“这些”指的是什么？

— Andrej Bauer

对不起，我英语含糊。我正在寻找一些包含图灵机Godelization证明的材料。您能否在这里告诉我有关godel编号的重要性。（根据数字生成序列）

— user5507

马丁·戴维斯（Martin Davis）的书“可计算性和不可解决性”对图灵机有非常详细的论述，也许这正是您所寻找的。我不确定您要的是什么。

— Andrej Bauer