TY - RPRT TI - Computability and Physical Theories AU - Robert Geroch AU - James B. Hartle PY - 2018 UR - https://arxiv.org/abs/1806.09237 ID - 1806.09237 ER -