3,094
个编辑
更改
跳到导航
跳到搜索
第189行：
第189行： − +
→Smullyan 双递归定理（1959, 1961）
==== Smullyan 双递归定理（1959, 1961） ====
==== Smullyan 双递归定理（1959, 1961） ====
'''SRT 的联立推广'''：对任意两个全可计算函数 <math>g</math>, <math>h</math>（不一定全），存在两个程序 <math>m, n</math> 使得
'''SRT 的联立推广'''：对任意两个可计算函数 <math>g</math>, <math>h</math>（不一定要求是全函数），存在两个程序 <math>m, n</math> 使得
: <math>
: <math>