更改

跳到导航 跳到搜索

递归定理 (查看源代码)

2026年9月11日 (五) 08:21的版本

添加5字节 、 2026年9月11日 (星期五)
→‎Smullyan 双递归定理（1959, 1961）
第192行： 第192行：     
: <math>
 
: <math>
−
\phi_m(x) = g(\langle m, n\rangle, x)\\
+
\phi_m(x) = g(\langle m, n\rangle, x);\qquad
 
\phi_n(x) = h(\langle m, n\rangle, x)
 
\phi_n(x) = h(\langle m, n\rangle, x)
 
</math>
 
</math>
取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51138”

导航菜单