The genesis and the path towards what has come to be called the DSGE model is traced, from its origins in the Arrow-Debreu General Equilibrium model (ADGE), via Scarf's Computable General Equilibrium model (CGE) and its applied version as Applied Computable General Equilibrium model (ACGE), to...

Duncan Foleyís many-faceted and outstanding contributions to macroeconomics, microeconomics, general equilibrium theory, the theory of taxation, history of economic thought, the magnificent dynamics of classical economics, classical value theory, Bayesian statistics, formal dynamics and, most...

This is an outline of the origins and development of the way computability theory was incorporated into formal economic theory. I try to place in the context of the development of computable economics, some of the classics of the subject as well as those that have, from time to time, been...

Computability theory came into being as a result of Hilbert?s attempts to meet Brouwer?s challenges, from an intuitionistc and constructive standpoint, to formalism as a foundation for mathematical practice. Viewed this way, con- structive mathematics should be one vision of computability...

A constructive and recursion theoretic analysis of the standard Computable General Equilibrium (CGE) model of economic theory is undertaken. It is shown, contrary to widely expressed views and textbook versions of the CGE model, that the standard CGE model is neither computable nor constructive...

This paper aims to interpret and formalize Herbert Simon's notions of bounded rationality, satisficing and heuristics in terms of computability theory and computational complexity theory. Simon's theory of human problem solving is analysed in the light of Turing's work on Solvable and Unsolvable...

In this paper, in homage to Alan Turing’s birth centennial, I try to develop what may be called Turing’s Economics. I characterize the contents of such an ‘economics’ in terms of the conceptual and mathematical tools developed by Alan Turing. It is shown, in more and less detail, how...

In this paper I try to argue for the desirability of analog computation in economics from a variety of perspectives, using the example of the Phillips Machine. Ultimately, a case is made for the underpinning of both analog and digital computing theory in constructive mathematics. Some conceptual...

This is an attempt at a succinct survey, from methodological and epistemological perspectives, of the burgeoning, apparently unstructured, field of what is often – misleadingly – referred to as computational economics. We identify and characterise four frontier research fields, encompassing...