中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Kleene's recursion theorem
来自维基百科,自由的百科全书
Found in articles
不动点定理
。不动点定理虽然适用于“相同”函数(从逻辑的角度来看),但其理论发展完全不同。 递归函数的相同定义可用克莱尼递归定理(英语:
Kleene's
recursion
theorem
)在可计算性理论中给出。这些结果并不是等价的定理,克拉斯特尔-塔斯基定理是个比那用于指称语义的更强的结果。然而,它却与丘奇-
對角線引理
}\#_{\mathcal {C}})} 至此引理完成證明。 ◻ {\displaystyle \Box } 對角線引理跟可計算性理論中的
Kleene's
recursion
theorem
有密切的聯繫,證明方法也相似。 這個定理之所以被冠以「對角線」,是因為它與康托爾的對角論證法的形式很相近。「對角線引理」或「