Decidability, Observational Bridges, and Finite-Information Quantum Gravity
Recent arguments in quantum gravity infer a need for a non-algorithmic metatheory from Godel incompleteness, while finite-information replies infer decidability from entropy bounds. We separate axiomatic completeness, dynamical reachability, observational interpretation, and physical tractability. Our main theorem-leve...