更改

这里的t可以看作是给定的参数，因此Ft仅仅具有一个自变量，这就是源代码x。于是根据递归定理，我们便知道，存在着一个源程序c使得：

这里的t可以看作是给定的参数，因此Ft仅仅具有一个自变量，这就是源代码x。于是根据递归定理，我们便知道，存在着一个源程序c使得：

<math>\phi_c = \phi_{"F_t(c)"}</math>            (2)

<math>\phi_c = \phi_{''F_t(c)''}</math>            (2)

即c所对应的程序C所作的事情就是：把自己的源代码拿出来，然后在自己的虚拟机上模拟自己运算t时间步后的结果，以及当时的所有中间状态（包括内存和寄存器中的各个变量的取值）。

即c所对应的程序C所作的事情就是：把自己的源代码拿出来，然后在自己的虚拟机上模拟自己运算t时间步后的结果，以及当时的所有中间状态（包括内存和寄存器中的各个变量的取值）。