The Foundations of Computable General EquilibriumTheory

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 in the strict mathematical senses

[1]  M. Hirsch.  A proof of the nonretractibility of a cell onto its boundary , 1963 .

[2]  J. Shoven,et al.  Applying general equilibrium , 1993 .

[3]  M. B. Pour-El,et al.  The wave equation with computable initial data such that its unique solution is not computable , 1981 .

[4]  H. Scarf.  The computation of equilibrium prices , 1973 .

[5]  G. Debreu.  Existence of competitive equilibrium , 1982 .

[6]  H. Scarf.  The Computation of Equilibrium Prices: An Exposition , 1977 .

[7]  Herbert E. Scarf,et al.  The Computation of Economic Equilibria , 1974 .

[8]  J. Hartmains,et al.  Computing the future , 1992 .

[9]  D. Corfield.  Conceptual mathematics: a first introduction to categories , 2002 .

[10]  C. Tompkins.  SPERNER'S LEMMA AND SOME EXTENSIONS, , 1963 .

[11]  H. Uzawa.  WALRAS' EXISTENCE THEOREM AND BROUWER'S FIXED-POINT THEOREM , 1962 .

[12]  Marian Boylan Pour-el,et al.  A computable ordinary differential equation which possesses no computable solution , 1979 .

[13]  M. Dummett.  Elements of Intuitionism , 2000 .

[14]  Fred Richman,et al.  Intuitionism As Generalization , 1990 .

[15]  Luitzen Egbertus Jan Brouwer.  An intuitionist correction of the fixed-point theorem on the sphere , 1952, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[16]  Kapil Joshi.  Mistake in Hirsch’s proof of the Brouwer Fixed Point Theorem , 1999 .

[17]  R. Starr.  General Equilibrium Theory: An Introduction , 1997 .