Reflections on Mathematical Economics in the Algorithmic Mode

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

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

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