Varieties of Mathematics in Economics- A Partial View

K. Vela Velupillai and Shu G. Wang

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

Abstract: Real analysis, founded on the Zermelo-Fraenkel axioms, buttressed by the axiom of choice, is the dominant variety of mathematics utilized in the formalization of economic theory. The accident of history that led to this dominance is not inevitable, especially in an age when the digital computer seems to be ubiquitous in research, teaching and learning. At least three other varieties of mathematics, each underpinned by its own mathematical logic, have come to be used in the formalization of mathematics in more recent years. To set theory, model theory, proof theory and recursion theory correspond, roughly speaking, real analysis, non-standard analysis, constructive analysis and computable analysis. These other varieties, we claim, are more consistent with the intrinsic nature and ontology of economic concepts. In this paper we discuss aspects of the way real analysis dominates the mathematical formalization of economic theory and the prospects for overcoming this dominance.

Date: 2010
New Economics Papers: this item is included in nep-hme
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.assru.economia.unitn.it/files/DP15.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:1015

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 ().