An Analysis of the Criteria for Evaluating Adequate Theories of Computation