更改

{{NumBlk|:|

{{NumBlk|:|

<math>\phi_n = \phi_{f(n)}</math>

<math>\phi_n \simeq \phi_{f(n)}</math>

|{{EquationRef|表述B}}}}

|{{EquationRef|表述B}}}}

这是 Rogers 的原话——"''Let f be any recursive function; then there exists an n such that <math>\phi_n = \phi_{f(n)}</math>.''"<ref name="rogers1967" />。意思是：<math>f</math> 拿着程序 <math>n</math> 的源代码算出一个新程序 <math>f(n)</math>，而'''新程序与旧程序计算的是同一个函数'''<ref name="rogers1967" />。

这里，符号<math>\simeq</math>表示的是函数的等价，即当左右两侧的函数在输入<math>x</math>上有定义时，则左右两边的函数值相等；当没有定义时，则左右两侧都没有定义函数值。Rogers 的原话说——"''Let f be any recursive function; then there exists an n such that <math>\phi_n = \phi_{f(n)}</math>.''"<ref name="rogers1967" />。意思是：<math>f</math> 拿着程序 <math>n</math> 的源代码算出一个新程序 <math>f(n)</math>，而'''新程序与旧程序计算的是同一个函数'''<ref name="rogers1967" />。