实体
Rice's theorem
Rice's theorem
PulseAugur coverage of Rice's theorem — every cluster mentioning Rice's theorem across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新算子证明自修改系统属性的不可判定性
一篇新论文介绍了一种名为语义提升算子（Semantic Elevation Operator）的形式化方法，用于分析自修改系统的属性在转换过程中是否得以保持。该算子使用克莱尼递归定理（Kleene's recursion theorem）进行形式化，证明即使在打破Rice定理所需的“外延性”（extensionality）的情况下，提升后的属性仍然是不可判定的。研究表明，不可验证属性的类在此算子下是闭合的，导致了 \b{\Pi}^0_…
-
AI治理理论通过Coq中的机器校验证明形式化
研究人员为认知工作流系统开发了一个结构化治理的正式系统，其中大部分工作已在Coq中机械化。该系统引入了一个共归纳安全谓词，以确保无限程序行为的治理安全。关键定理确立了跨递归级别的治理一致性以及智能系统的四个核心原语的表达完整性。