Non-computability of competitive equilibrium
We provide a "computable counterexample" to the Arrow-Debreu competitive equilibrium existence theorem . In particular, we find an exchange economy in which all components are (Turing) computable, but in which no competitive equilibrium is computable. This result can be interpreted as an impossibility result in both computability-bounded rationality (cf. Binmore , Richter and Wong ) and computational economics (cf. Scarf ). To prove the theorem, we establish a "computable counterexample" to Brouwer's Fixed Point Theorem (similar to Orevkov ) and a computable analogue of a characterization of excess demand functions (cf. Mas-Colell , Geanakoplos , Wong ).
If you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
As the access to this document is restricted, you may want to look for a different version under "Related research" (further below) or search for a different version of it.
Volume (Year): 14 (1999)
Issue (Month): 1 ()
|Note:||Received: September 9, 1997; revised version: December 17, 1997|
|Contact details of provider:|| Web page: http://www.springer.com|
|Order Information:||Web: http://www.springer.com/economics/economic+theory/journal/199/PS2|