A Primer on the Tools and Concepts of Computable Economics

Velupillai, K. Vela (2004) A Primer on the Tools and Concepts of Computable Economics. UNSPECIFIED. (Unpublished)

[img]
Preview
PDF
Download (494Kb) | Preview

    Abstract

    Computability theory came into being as a result of Hilbert's attempts to meet Brouwer's challenges, from an intuitionistc and constructive standpoint, to formalism as a foundation for mathematical practice. Viewed this way, constructive mathematics should be one vision of computability theory. However, there are fundamental differences between computability theory and constructive mathematics: the Church-Turing thesis is a disciplining criterion in the former and not in the latter; and classical logic - particularly, the law of the excluded middle - is not accepted in the latter but freely invoked in the former, especially in proving universal negative propositions. In Computable Economic an eclectic approach is adopted where the main criterion is numerical content for economic entities. In this sense both the computable and the constructive traditions are freely and indiscriminately invoked and utilised in the formalization of economic entities. Some of the mathematical methods and concepts of computable economics are surveyed in a pedagogical mode. The context is that of a digital economy embedded in an information society.

    Item Type: Departmental Technical Report
    Department or Research center: Economics
    Subjects: H Social Sciences > HB Economic Theory > HB135 Mathematical economics. Quantitative methods
    Uncontrolled Keywords: Computable Economics, Computability, Digital Economy, Constructivity
    Report Number: 5
    Repository staff approval on: 07 Oct 2004

    Actions (login required)

    View Item