Computability theory came into being as a result of Hilbert?s attempts to meet Brouwer?s challenges, from an intuitionistc and constructive standpoint, to formalism as a foundation for mathematical practice. Viewed this way, con- structive mathematics should be one vision of computability...

A constructive and recursion theoretic analysis of the standard Computable General Equilibrium (CGE) model of economic theory is undertaken. It is shown, contrary to widely expressed views and textbook versions of the CGE model, that the standard CGE model is neither computable nor constructive...