GENERAL THEORY AND COMPUTATION