更改

| Kleene (1938) §2 末尾，当时甚至没有名字，证明只有两行<ref name="kleene1938" />

| Kleene (1938) §2 末尾，当时甚至没有名字，证明只有两行<ref name="kleene1938" />

|}

|}

 

[[文件:两种“不动点”.png|替代=两种“不动点”|缩略图|图2：两个定理的"不动点"含义截然不同——左：函数 <nowiki><math>\phi</math></nowiki> 经变换 <nowiki><math>\Psi</math></nowiki> 后变回 <nowiki><math>\phi</math></nowiki>（函数层面）；右：程序 <nowiki><math>n</math></nowiki> 经变换 <nowiki><math>f</math></nowiki> 后变成另一个程序 <nowiki><math>f(n)</math></nowiki>（通常<nowiki><math> f(n) \neq n</math></nowiki>），但 <nowiki><math>\phi_n = \phi_{f(n)}</math></nowiki>（'''代码变了，行为不变'''）。§2.5 对此有详细辨析。]]

![两种[[不动点]]](figures/fig3_two_fixedpoints.png)

'''图2'''：两个定理的"不动点"含义截然不同——左：函数 <math>\phi</math> 经变换 <math>\Psi</math> 后变回 <math>\phi</math>（函数层面）；右：程序 <math>n</math> 经变换 <math>f</math> 后变成另一个程序 <math>f(n)</math>（通常 <math>f(n)</math> <math>\neq n</math>），但 <math>\phi_n = \phi_{f(n)}</math>（'''代码变了，行为不变'''）。§2.5 对此有详细辨析。

'''图2'''：两个定理的"不动点"含义截然不同——左：函数 <math>\phi</math> 经变换 <math>\Psi</math> 后变回 <math>\phi</math>（函数层面）；右：程序 <math>n</math> 经变换 <math>f</math> 后变成另一个程序 <math>f(n)</math>（通常 <math>f(n)</math> <math>\neq n</math>），但 <math>\phi_n = \phi_{f(n)}</math>（'''代码变了，行为不变'''）。§2.5 对此有详细辨析。