更改

跳到导航 跳到搜索

递归定理 (查看源代码)

2026年9月12日 (六) 09:31的版本

删除9字节 、 2026年9月12日 (星期六)
→‎Uniform 不动点定理
第317行： 第317行：     
=== 其它形式的第二递归定理 ===
 
=== 其它形式的第二递归定理 ===
−
====Uniform 不动点定理====
+
====Uniform 形式====
 
'''Uniform不动点定理'''：存在一个全可计算函数<math>r</math>（在标准编号下甚至可以取原始递归的），使得对每一个编号<math>e</math>：
 
'''Uniform不动点定理'''：存在一个全可计算函数<math>r</math>（在标准编号下甚至可以取原始递归的），使得对每一个编号<math>e</math>：
  
取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51193”

导航菜单