Uncomputability and Undecidability in Economic Theory
Economic theory, game theory and mathematical statistics have all increasingly become algorithmic sciences. Computable Economics, Algorithmic Game Theory ([28]) and Algorithmic Statistics ([13]) are frontier research subjects. All of them, each in its own way, are underpinned by (classical) recursion theory  and its applied branches, say computational complexity theory or algorithmic information theory  and, occasionally, proof theory. These research paradigms have posed new mathematical and metamathematical questions and, inadvertently, undermined the traditional mathematical foundations of economic theory. A concise, but partial, pathway into these new frontiers is the subject matter of this paper. Interpreting the core of mathematical economic theory to be defined by General Equilibrium Theory and Game Theory, a general  but concise  analysis of the computable and decidable content of the implications of these two areas are discussed. Issues at the frontiers of macroeconomics, now dominated by Recursive Macroeconomic Theory, are also tackled, albeit ultra briefly. The point of view adopted is that of classical recursion theory and varieties of constructive mathematics.
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.
Length:  
Date of creation:  2008 
Date of revision:  
Handle:  RePEc:trn:utwpde:0806 
Contact details of provider:  Postal: Via Inama 5, 38100 Trento Phone: +39461882201 Fax: +39461882222 Web page: http://www.unitn.it/deco More information through EDIRC

References listed on IDEAS
Please report citation or reference errors to , or , if you are the registered author of the cited work, log in to your RePEc Author Service profile, click on "citations" and make appropriate adjustments.:
 K. Vela Velupillai, 2005.
"The foundations of computable general equilibrium theory,"
Department of Economics Working Papers
0513, Department of Economics, University of Trento, Italia.
 K. Vela Velupillai, 2005. "The Foundations of Computable General EquilibriumTheory," Working Papers 0093, National University of Ireland Galway, Department of Economics, revised 2005.
 Marimon, Ramon & Scott, Andrew (ed.), 1999. "Computational Methods for the Study of Dynamic Economies," OUP Catalogue, Oxford University Press, number 9780198294979, May.
 K. Vela Velupillai, 2004.
"The Unreasonable Ineffectiveness of Mathematics in Economics,"
Working Papers
0080, National University of Ireland Galway, Department of Economics, revised 2004.
 K. Vela Velupillai, 2005. "The unreasonable ineffectiveness of mathematics in economics," Cambridge Journal of Economics, Oxford University Press, vol. 29(6), pages 849872, November.
 K. Vela Velupillai, 2004. "The unreasonable ineffectiveness of mathematics in economics," Department of Economics Working Papers 0406, Department of Economics, University of Trento, Italia.
 K. Vela Velupillai, 2007.
"Taming the Incomputable, Reconstructing the Nonconstructive and Deciding the Undecidable in Mathematical Economics,"
Working Papers
0128, National University of Ireland Galway, Department of Economics, revised 2007.
 K. Vela Velupillai, 2012. "Taming The Incomputable, Reconstructing The Nonconstructive And Deciding The Undecidable In Mathematical Economics," New Mathematics and Natural Computation (NMNC), World Scientific Publishing Co. Pte. Ltd., vol. 8(01), pages 551.
 K. Vela Velupillai, 2007. "Taming the Incomputable, Reconstructing the Nonconstructive and Deciding the Undecidable in Mathematical Economics," Department of Economics Working Papers 0722, Department of Economics, University of Trento, Italia.
 (Vela) Velupillai, K., 1997. "Expository notes on computability and complexity in (arithmetical) games," Journal of Economic Dynamics and Control, Elsevier, vol. 21(6), pages 955979, June.
 K. Vela Velupillai, 2007. "A Computable Economistâ€™s Perspective on Computational Complexity," Department of Economics Working Papers 0723, Department of Economics, University of Trento, Italia.
 Arrow, Kenneth J, 1986. "Rationality of Self and Others in an Economic System," The Journal of Business, University of Chicago Press, vol. 59(4), pages S38599, October.
This item is not listed on Wikipedia, on a reading list or among the top items on IDEAS.
When requesting a correction, please mention this item's handle: RePEc:trn:utwpde:0806. See general information about how to correct material in RePEc.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Luciano Andreozzi)
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.