TY - RPRT TI - Provability vs. Execution: A Comment on "Consequences of Undecidability in Physics on the Theory of Everything" AU - Evan Redden PY - 2025 UR - https://arxiv.org/abs/2512.11807 ID - 2512.11807 ER -