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

Real analysis, founded on the Zermelo-Fraenkel axioms, buttressed by the axiom of choice, is the dominant variety of mathematics utilized in the formalization of economic theory. The accident of history that led to this dominance is not inevitable, especially in an age when the digital computer...

The digital and information technology revolutions are based on algorithmic mathematics in many of their alternative forms. Algorithmic mathematics per se is not necessarily underpinned by the digital or the discrete only; analogue traditions of algorithmic mathematics have a noble pedigree,...

An important frontier of business cycle theorising is the 'time-to-build' tradition that lies at the heart of Real Business Cycle theory. Kydland and Prescott (1982) did not acknowledge the rich tradition of 'time-to-build' business cycle theorising - except in a passing, non-scholarly,...

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

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

Barkley Rosser has been a pioneer in arguing the case for the mathematics of discontinuity, broadly conceived, to be placed at the foundations of modelling economic dynamics. In this paper we reconsider this vision from the broad perspective of a variety of different kinds of mathematics and...