ABSTRACT
Computable Foundations for Economics is a unified collection of essays, some of which are published here for the first time and all of which have been updated for this book, on an approach to economic theory from the point of view of algorithmic mathematics. By algorithmic mathematics the author means computability theory and constructive mathematics. This is in contrast to orthodox mathematical economics and game theory, which are formalised with the mathematics of real analysis, underpinned by what is called the ZFC formalism, i.e., set theory with the axiom of choice. This reliance on ordinary real analysis and the ZFC system makes economic theory in its current mathematical mode completely non-algorithmic, which means it is numerically meaningless.
The book provides a systematic attempt to dissect and expose the non-algorithmic content of orthodox mathematical economics and game theory and suggests a reformalization on the basis of a strictly rigorous algorithmic mathematics. This removes the current schizophrenia in mathematical economics and game theory, where theory is entirely divorced from algorithmic applicability – for experimental and computational exercises.
The chapters demonstrate the uncomputability and non-constructivity of core areas of general equilibrium theory, game theory and recursive macroeconomics. The book also provides a fresh look at the kind of behavioural economics that lies behind Herbert Simon’s work, and resurrects a role for the noble classical traditions of induction and verification, viewed and formalised, now, algorithmically. It will therefore be of particular interest to postgraduate students and researchers in algorithmic economics, game theory and classical behavioural economics.
TABLE OF CONTENTS
chapter |24 pages
General introduction
part |164 pages
Foundations
part |63 pages
General equilibrium theory
chapter |23 pages
Effectivity and constructivity in economic theory
chapter |14 pages
Algorithmic foundations of computable general equilibrium theory *
chapter |24 pages
Uncomputability † and undecidability in economic theory *
part |78 pages
Methodology
chapter |30 pages
The unreasonable ineffectivity of mathematics in economics *
chapter |24 pages
A constructive † interpretation of Sraffa's mathematical economics *
chapter |21 pages
The computable alternative in the formalization of economics
part |57 pages
Simon's behavioural economics: a computable vision
chapter |13 pages
Boundedly rational choice and satisficing decisions
chapter |17 pages
Arithmetic games, beavers and behavioural economics
part |52 pages
Inductive reflections
part |14 pages
Concluding notes