ENTITY
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.
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New operator proves undecidability of self-modifying system properties
A new paper introduces the Semantic Elevation Operator, a formal method to analyze whether properties of self-modifying systems are preserved during transformations. This operator, formalized using Kleene's recursion th…
-
AI governance theory formalized with machine-checked proofs in Coq
Researchers have developed a formal system for structural governance in cognitive workflow systems, with a significant portion of the work mechanized in Coq. The system introduces a coinductive safety predicate to ensur…