When can a model of a physical system be regarded as computable? We provide
the definition of a computable physical model to answer this question. The
connection between our definition and Kreisel's notion of a mechanistic theory
is discussed, and several examples of computable physical models are given,
including models which feature discrete motion, models which feature
non-discrete continuous motion, and non-deterministic models such as
radioactive decay.