The Church-Turing thesis establishes model-invariance for computability, but no analogous thesis has...