3,094
个编辑
更改
跳到导航
跳到搜索
第196行：
第196行： − +
→Smullyan 双递归定理（1959, 1961）
</math>
</math>
——两个程序可以'''互相引用对方的代码'''，其中<math>\langlem,n\rangle</math>代表将两个自然数编码为一个自然数的编码方式。
——两个程序可以'''互相引用对方的代码'''，其中<math>\langle m,n\rangle</math>代表将两个自然数编码为一个自然数的编码方式。
由于这个Smullyan双递归定理是 SRT 的"二元推广"，因此我们可直接由 SRT 的证明套用：
由于这个Smullyan双递归定理是 SRT 的"二元推广"，因此我们可直接由 SRT 的证明套用：