3,094
个编辑
更改
→Uniform 不动点定理
=== 其它形式的第二递归定理 ===
=== 其它形式的第二递归定理 ===
====Uniform 不动点定理====
====Uniform 形式====
'''Uniform不动点定理'''：存在一个全可计算函数<math>r</math>（在标准编号下甚至可以取原始递归的），使得对每一个编号<math>e</math>：
'''Uniform不动点定理'''：存在一个全可计算函数<math>r</math>（在标准编号下甚至可以取原始递归的），使得对每一个编号<math>e</math>：