FUNDAMENTAL THEORY AND COMPUTATION