The Computable Approach to Economics
Abstract...... there are games in which the player who in theory can always win cannot do so in practice because it is impossible to supply him with effective instructions regarding how he should play in order to win. Rabin, 1957. The above is a statement of the first important result in what I have come to call Computable Economics. The key word in the Rabin quote is effective, meaning a procedure whose execution is specified in a finite series of instructions, each of which is finite in length and all the details of the execution are specified exactly, which, thus, leaves no room for magic, miracles, creative imagination and other such metaphysical entities. The exact meaning of effective is mathematically equivalent, under Church's Thesis to computability. Mathematical logic itself is divided into set theory, proof theory, model theory and recursion theory. The study of computable objects and domains is the subject matter of recursion theory. The formalisms of economic analysis is, in general, based on mathematical foundations relying on set theory or model theory (eg: nonstandard analysis). Thus, when Debreu reminisced, in his Nobel Lecture, on Economic Theory in the Mathematical Mode he was able to note: Especially relevant to my narrative is the fact that the restatement of welfare economics in set-theoretical terms forced a re-examination of several of the primitive concepts of the theory of general economic equilibrium. Debreu, 1984. Computable economics, on the other hand, and as I see it, is about basing economic formalisms on recursion theoretic fundamentals. This means we will have to view economic entities, economic actions and economic institutions as computable objects or algorithms (cf. Scarf, 1989). For the moment this broad definition must suffice. In this paper I will try to draw my picture with a broad brush on a rough canvas with selected examples. The specific, detailed, examples are three: rationality, learning and (arithmetical) games; I give them recursion theoretic content and draw the ensuing implications. These examples, I hope, will create the image I want to convey about the nature and scope of computable economics. The fine details of the drawing and the elaborations of its texture are the subject matter of other writings (cf. Velupillai, 1994,a,b) and the interested reader, that elusive creature, is referred to them for the deeper issues and some of the detailed proofs. The rest of this paper is structured as follows. In 2 there is a brief excursion into general methodological and epistomological issues that have arisen as a result of the new ontology implied by the philosophies underlying recursion theory - incompleteness and undecidability being the prime examples. In addition, I try to give this discussion a potted doctrine historical background in a mildly counterfactual sense. The subsequent sections are a sequence of examples, from standard economic theory. In each example, roughly speaking, the implicit question I pose is the following: what is the effective or computable content of these examples? Or, what is the computational complexity of this operator? And so on. Each example is chosen in such a way that it also enables me to introduce selected fundamental concepts and tools of recursion theory and show their workings in an economic setting.
Download InfoIf 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.
Bibliographic InfoPaper provided by University of California at Los Angeles, Center for Computable Economics in its series Working Papers with number _005.
Date of creation:
Date of revision:
This paper has been announced in the following NEP Reports:
- NEP-ALL-1999-11-01 (All new papers)
- NEP-CMP-1999-11-20 (Computational Economics)
- NEP-IND-1999-11-01 (Industrial Organization)
You can help add them by filling out this form.
CitEc Project, subscribe to its RSS feed for this item.
- Rosser Jr., J. Barkley, 2010. "Is a transdisciplinary perspective on economic complexity possible?," Journal of Economic Behavior & Organization, Elsevier, vol. 75(1), pages 3-11, July.
- K. Vela Velupillai, 2012. "The Relevance of Computation Irreducibility as Computation Universality in Economics," ASSRU Discussion Papers 1212, ASSRU - Algorithmic Social Science Research Unit.
- Guido Fioretti, 2002.
"Recognizing Investment Opportunities at the Onset of Recoveries,"
- Fioretti, Guido, 2006. "Recognising investment opportunities at the onset of recoveries," Research in Economics, Elsevier, vol. 60(2), pages 69-84, June.
- Guido Fioretti, . "Recognizing Investment Opportunities at the Onset of Recoveries," Modeling, Computing, and Mastering Complexity 2003 07, Society for Computational Economics.
- K.Vela Velupillai, 2012. "The Epistemology of Simulation, Computation and Dynamics in Economics," ASSRU Discussion Papers 1218, ASSRU - Algorithmic Social Science Research Unit.
- Stefano Zambelli, 2012. "Dynamical Coupling, Nonlinear Accelerator and the Persistence of Business Cycles," ASSRU Discussion Papers 1214, ASSRU - Algorithmic Social Science Research Unit.
- Bartholo, R.S. & Cosenza, C.A.N. & Doria, F.A. & de Lessa, C.T.R., 2009. "Can economic systems be seen as computing devices?," Journal of Economic Behavior & Organization, Elsevier, vol. 70(1-2), pages 72-80, May.
- Selda (Ying Fang) Kao & K. Vela Velupillai, 2011. "Behavioural Economics: Classical and Modern," ASSRU Discussion Papers 1126, ASSRU - Algorithmic Social Science Research Unit.
- K. Vela Velupillai, 2011. "DSGE And Beyond – Computable And Constructive Challenges," ASSRU Discussion Papers 1122, ASSRU - Algorithmic Social Science Research Unit.
- K. Vela Velupillai & Ying Fang Kao, 2011. "Herbert A. Simon," ASSRU Discussion Papers 1115, ASSRU - Algorithmic Social Science Research Unit.
- Ying-Fang Kao & K. Vela Velupillai, 2012. "Reconstructing a Computable and Computationally Complex Theoretic Path Towards Simon's Behavioural Economics," ASSRU Discussion Papers 1222, ASSRU - Algorithmic Social Science Research Unit.
- Vela Velupillai, K., 2002. "Effectivity and constructivity in economic theory," Journal of Economic Behavior & Organization, Elsevier, vol. 49(3), pages 307-325, November.
- Koppl, Roger, 2010. "Some epistemological implications of economic complexity," Journal of Economic Behavior & Organization, Elsevier, vol. 76(3), pages 859-872, December.
- K. Vela Velupillai & Stefano Zambelli, 2012. "Computability and Algorithmic Complexity in Economics," ASSRU Discussion Papers 1202, ASSRU - Algorithmic Social Science Research Unit.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Thomas Krichel).
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
If references are entirely missing, you can add them using this form.
If the full references list an item that is present in RePEc, but the system did not link to it, you can help with this form.
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your profile, as there may be some citations waiting for confirmation.
Please note that corrections may take a couple of weeks to filter through the various RePEc services.