A re-interpretation of the asymmetric roles assigned to the two agents in the genesis of Newcomb’s Paradox is suggested. The re-interpretation assigns a more active role for the ‘rational’ agent and a possible Turing Machine interpretation for the behaviour of the demon (alias, being from...

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

The claim in this paper is that Sraffa employed a rigorous logic of mathematical reasoning in his book, Production of Commodities by Means of Commodities (PCC), in such a mode that all existence proofs were constructive. This is the kind of mathematics that was prevalent at the beginning of the...

The mathematization of economics is almost exclusively in terms of the mathematics of real analysis which, in turn, is founded on set theory (and the axiom of choice) and orthodox mathematical logic. In this paper I try to point out that this kind of mathematization is replete with economic...