PulseAugur
中
实时 09:31:18
实体 Kleene's recursion theorem

Kleene's recursion theorem

PulseAugur coverage of Kleene's recursion theorem — every cluster mentioning Kleene's recursion theorem across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_247717 ·

    新算子证明自修改系统属性的不可判定性

    一篇新论文介绍了一种名为语义提升算子（Semantic Elevation Operator）的形式化方法，用于分析自修改系统的属性在转换过程中是否得以保持。该算子使用克莱尼递归定理（Kleene's recursion theorem）进行形式化，证明即使在打破Rice定理所需的“外延性”（extensionality）的情况下，提升后的属性仍然是不可判定的。研究表明，不可验证属性的类在此算子下是闭合的，导致了 \b{\Pi}^0_…