IDEAS home Printed from https://ideas.repec.org/p/trn/utwpas/1302.html
   My bibliography  Save this paper

Computability Theory in Economics - Frontiers and a Restrospective

Author

Listed:
  • K. Vela Velupillai

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.

Suggested Citation

  • K. Vela Velupillai, 2013. "Computability Theory in Economics - Frontiers and a Restrospective," ASSRU Discussion Papers 1302, ASSRU - Algorithmic Social Science Research Unit.
    • Handle: RePEc:trn:utwpas:1302
    as

    Download full text from publisher

    File URL: http://www.assru.economia.unitn.it/files/DP_2_2013_I.pdf
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Smale, Stephen, 1976. "Dynamics in General Equilibrium Theory," American Economic Review, American Economic Association, vol. 66(2), pages 288-294, May.
    2. (Vela) Velupillai, K., 1997. "Expository notes on computability and complexity in (arithmetical) games," Journal of Economic Dynamics and Control, Elsevier, vol. 21(6), pages 955-979, June.
    3. Takashi Negishi, 2008. "Unnoticed predecessors of the early Negishi theorems," International Journal of Economic Theory, The International Society for Economic Theory, vol. 4(2), pages 167-173, June.
    4. K. Vela Velupillai, 2011. "Towards An Algorithmic Revolution In Economic Theory," Journal of Economic Surveys, Wiley Blackwell, vol. 25(3), pages 401-430, July.
    5. Shoven,John B. & Whalley,John, 1992. "Applying General Equilibrium," Cambridge Books, Cambridge University Press, number 9780521266550.
    6. Takashi Negishi, 1961. "Monopolistic Competition and General Equilibrium," The Review of Economic Studies, Review of Economic Studies Ltd, vol. 28(3), pages 196-201.
    7. K. Vela Velupillai, 2013. "Incomputability, Undecidability & Unsolvability in Economic Theory," ASSRU Discussion Papers 1308, ASSRU - Algorithmic Social Science Research Unit.
    8. Warren Young, 2008. "Negishi's contributions to the development of economic analysis: Research programs and outcomes," International Journal of Economic Theory, The International Society for Economic Theory, vol. 4(2), pages 151-165, June.
    9. Samuelson, Paul A, 1972. "Maximum Principles in Analytical Economics," American Economic Review, American Economic Association, vol. 62(3), pages 249-262, June.
    10. Martin J. Osborne & Ariel Rubinstein, 1994. "A Course in Game Theory," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262650401, April.
    11. 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 385-399, October.
    12. Takashi Negishi, 1994. "general equilibrium theory," Books, Edward Elgar Publishing, number 331.
    13. Clower, Robert W & Howitt, Peter W, 1978. "The Transactions Theory of the Demand for Money: A Reconsideration," Journal of Political Economy, University of Chicago Press, vol. 86(3), pages 449-466, June.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. K. Vela Velupillai, 2011. "The Fundamental Theorems of Welfare Economics, DSGE and the Theory of Policy - Computable & Constructive Foundations," ASSRU Discussion Papers 1125, ASSRU - Algorithmic Social Science Research Unit.
    2. K.Vela Velupillai, 2011. "Negishi's Theorem and Method," ASSRU Discussion Papers 1129, ASSRU - Algorithmic Social Science Research Unit.
    3. K. Vela Velupillai, 2011. "DSGE And Beyond – Computable And Constructive Challenges," ASSRU Discussion Papers 1122, ASSRU - Algorithmic Social Science Research Unit.
    4. K. Vela Velupillai, 2011. "Foley's Thesis, Negishi's Method, Existence Proofs and Computation," ASSRU Discussion Papers 1124, ASSRU - Algorithmic Social Science Research Unit.
    5. K. Vela Velupillai & Stefano Zambelli, 2012. "Computability and Algorithmic Complexity in Economics," ASSRU Discussion Papers 1202, ASSRU - Algorithmic Social Science Research Unit.
    6. K. Velupillai, 2015. "Negishi’s Theorem and Method: Computable and Constructive Considerations," Computational Economics, Springer;Society for Computational Economics, vol. 45(2), pages 183-193, February.
    7. K. Vela Velupillai, 2010. "The Algorithmic Revolution in the Social Sciences: Mathematical Economics, Game Theory and Statistical Inference," ASSRU Discussion Papers 1005, ASSRU - Algorithmic Social Science Research Unit.
    8. K. Vela Velupillai & Stefano Zambelli, 2010. "Computation in Economics," ASSRU Discussion Papers 1001, ASSRU - Algorithmic Social Science Research Unit.
    9. K. Vela Velupillai, 2010. "To the Beat of Different Drumer....Freedom, Anarchy and Conformism in Research," ASSRU Discussion Papers 1003, ASSRU - Algorithmic Social Science Research Unit.
    10. Ying-Fang Kao & Ragupathy Venkatachalam, 2021. "Human and Machine Learning," Computational Economics, Springer;Society for Computational Economics, vol. 57(3), pages 889-909, March.
    11. K. Vela Velupillai, 2011. "Remembering Clower," ASSRU Discussion Papers 1121, ASSRU - Algorithmic Social Science Research Unit.
    12. K. Vela Velupillai & Stefano Zambelli, 2011. "Computing in Economics," Chapters, in: John B. Davis & D. Wade Hands (ed.), The Elgar Companion to Recent Economic Methodology, chapter 12, Edward Elgar Publishing.
    13. 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.
    14. Venkat Venkatasubramanian & Yu Luo, 2018. "How much income inequality is fair? Nash bargaining solution and its connection to entropy," Papers 1806.05262, arXiv.org.
    15. Flores, Renato Jr., 1997. "The gains from MERCOSUL: A general equilibrium, imperfect competition evaluation," Journal of Policy Modeling, Elsevier, vol. 19(1), pages 1-18, February.
    16. K. Vela Velupillai, 2007. "Variations On The Theme Of Conning In Mathematical Economics," Journal of Economic Surveys, Wiley Blackwell, vol. 21(3), pages 466-505, July.
    17. repec:cte:wsrepe:9968 is not listed on IDEAS
    18. Fitzroy A. Lee, 2001. "Imperfect Competition and Indirect Tax Structure in a Deregulated Telecommunications Sector," Public Finance Review, , vol. 29(6), pages 419-443, November.
    19. K. Vela Velupillai, 2004. "Constructivity, Computability and Computers in Economic Theory: Some Cautionary Notes," Metroeconomica, Wiley Blackwell, vol. 55(2‐3), pages 121-140, May.
    20. K. Vela Velupillai & Stefano Zambelli, 2010. "The Epistemology of Simulation, Computation and Dynamics in Economics Ennobling Synergies, Enfeebling 'Perfection'," ASSRU Discussion Papers 1002, ASSRU - Algorithmic Social Science Research Unit.
    21. K. Vela Velupillai, 2008. "Uncomputability and Undecidability in Economic Theory," Department of Economics Working Papers 0806, Department of Economics, University of Trento, Italia.

    More about this item

    Keywords

    Computability; Effectivization; Constructivity; Uncomputability; Computable Economics;
    All these keywords.

    NEP fields

    This paper has been announced in the following NEP Reports:

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:trn:utwpas:1302. See general information about how to correct material in RePEc.

    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 CitEc recognized a bibliographic reference but did not link an item in RePEc 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 RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: assru.tm@gmail.com (email available below). General contact details of provider: https://edirc.repec.org/data/detreit.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.