Reflections on Mathematical Economics in the Algorithmic Mode

Kumaraswamy Vela Velupillai

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

Abstract: Non-standard analysis can be harnessed by the recursion theorist. But as a computable economist, the conundrums of the Löwenheim-Skolem theorem and the associated Skolem paradox, seem to pose insurmountable epistemological difficulties against the use of algorithmic non-standard analysis. Discontinuities can be tamed by recursive analysis. This particular kind of taming may be a way out of the formidable obstacles created by the difficulties of Diophantine Decision Problems. Methods of existence proofs, used by the classical mathematician - even if not invoking the axiom of choice - cannot be shown to be equivalent to the exhibition of an instance in the sense of a constructive proof. These issues were prompted by the fertile and critical contributions to this special issue.

Date: 2010
References: View references in EconPapers View complete reference list from CitEc
Citations View citations in EconPapers (1) Track citations by RSS feed

Downloads: (external link)
http://www.assru.economia.unitn.it/files/DP16.pdf (application/pdf)

Related works:
Journal Article: REFLECTIONS ON MATHEMATICAL ECONOMICS IN THE ALGORITHMIC MODE (2012)
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: http://EconPapers.repec.org/RePEc:trn:utwpas:1016

Access Statistics for this paper

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