一篇新论文介绍了一种名为语义提升算子（Semantic Elevation Operator）的形式化方法，用于分析自修改系统的属性在转换过程中是否得以保持。该算子使用克莱尼递归定理（Kleene's recursion theorem）进行形式化，证明即使在打破Rice定理所需的“外延性”（extensionality）的情况下，提升后的属性仍然是不可判定的。研究表明，不可验证属性的类在此算子下是闭合的，导致了 \b{\Pi}^0_2-完备性，并暗示任何有限的验证器塔都无法保证这些系统的无条件证书。 AI
影响 确立了自修改系统可验证性的理论极限，影响了未来的AI安全和验证研究。
排序理由 该集群包含一篇详细介绍理论计算机科学研究的新学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
- arXiv
- cs.CL
- cs.LO
- Hugging Face
- Jose Pascual Gumbau Mezquita
- Kleene's recursion theorem
- Lawvere's fixed-point theorem
- Rice's theorem
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
