2 papers
cs.LO2026
Rice's Theorem under Self-Modification: Elevation Operators and a Normal Form
Jose Pascual Gumbau Mezquita
We ask whether it can be certified algorithmically that a self-modifying program keeps a behavioural property, a safety property in the motivating case, after its next rewrite (pre…
cs.LO2026
Algorithmic Unverifiability of Safety for Fixed and Recursively Self-Improving Systems
Jose Pascual Gumbau Mezquita
We establish mathematical limits of algorithmic safety verification for Turing-complete self-modifying systems, the class in which recursive self-improvement takes place, both for…