TY - RPRT TI - Algorithmic Unverifiability of Safety for Fixed and Recursively Self-Improving Systems AU - Jose Pascual Gumbau Mezquita PY - 2026 UR - https://arxiv.org/abs/2606.28639 ID - 2606.28639 ER -