Computability Theory in Economics - Frontiers and a Restrospective

K. Vela Velupillai

No 1302, ASSRU Discussion Papers from ASSRU - Algorithmic Social Science Research Unit

Abstract: This is an outline of the origins and development of the way computability theory was incorporated into formal economic theory. I try to place in the context of the development of computable economics, some of the classics of the subject as well as those that have, from time to time, been credited with having contributed to the advancement of the field. Speculative methodological thoughts and reflections suggest directions in which fruitful research could proceed to reduce the current deficit in the epistemology of computation in economics. Finally, thoughts on where the frontiers of computable economics are, and how to move towards them, conclude the paper. In a precise sense -- both historically and analytically -- it would not be an exaggeration to claim that both the origins of computable economics and its frontiers are defined by two classics, both by Banach and Mazur: that one page masterpiece by Banach and Mazur and the unpublished Mazur conjecture of 1928, and its unpublished proof by Banach. For the undisputed original classic of computable economics is Rabin's effectivization of the Gale-Stewart game; the frontiers, as I see them, are defined by recursive analysis and constructive mathematics, underpinning computability over the computable and constructive reals and providing computable foundations for the economist's Marshallian penchant for curve-sketching and, in general, the contents of Theoretical Computer Science, Vol. 219, Issue 1-2). The former work has its roots in the Banach-Mazur game, at least in one reading of it; the latter in Banach and Mazur (1937), as well as other, earlier, contributions, not least by Brouwer.

Keywords: Computability; Effectivization; Constructivity; Uncomputability; Computable Economics (search for similar items in EconPapers)
Date: 2013
New Economics Papers: this item is included in nep-cmp, nep-gth, nep-hme and nep-hpe
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.assru.economia.unitn.it/files/DP_2_2013_I.pdf (application/pdf)
Our link check indicates that this URL is bad, the error code is: 500 Can't connect to www.assru.economia.unitn.it:80 (No such host is known. )

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:trn:utwpas:1302

Access Statistics for this paper

More papers in ASSRU Discussion Papers from ASSRU - Algorithmic Social Science Research Unit Contact information at EDIRC.
Bibliographic data for series maintained by assru.tm@gmail.com ().