实体 cs.LO

cs.LO

PulseAugur coverage of cs.LO — every cluster mentioning cs.LO across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_247717 · Sep 11 · 04:00

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

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