TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS

DOI10.1142/S1793005712400017zbMath1306.91039OpenAlexW2147282432WikidataQ56592074 ScholiaQ56592074MaRDI QIDQ2873496

Kumaraswamy Velupillai

Publication date: 24 January 2014

Published in: New Mathematics and Natural Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s1793005712400017

zbMATH Keywords

constructive mathematicscomputabilitymathematical economicsbusy beaver functionscomputable economics

Mathematics Subject Classification ID

Fundamental topics (basic mathematics, methodology; applicable to economics in general) (91B02) Constructive and recursive analysis (03F60) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Related Items (1)

Uncomputability and undecidability in economic theory

Cites Work

• Undecidability and incompleteness in classical mechanics
• The Hahn-Banach theorem: The life and times
• The Berry paradox
• Über eine Eigenschaft der ebenen Komplexe
• Does Mathematics Need New Axioms?
• Existence Proofs
• Constructivism Is Difficult
• Algorithmic Thinking and Mathematical Thinking
• An Elementary Proof of the No-Retraction Theorem
• On the Constructive Hahn-Banach Theorem
• Nonconstructive tools for proving polynomial-time decidability
• Production of Ideas by Means of Ideas: A Turing Machine Metaphor
• Mistake in Hirsch’s proof of the Brouwer Fixed Point Theorem
• Computer Studies of Turing Machine Problems
• Extensions of some theorems of Gödel and Church
• Nicht konstruktiv beweisbare Sätze der Analysis
• An intuitionist correction of the fixed-point theorem on the sphere
• Recursively enumerable sets of positive integers and their decision problems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS