1. The uncomputable, the nonconstructive and the undecidable in mathematical economics -- 2. Advanced computational complexity theory from an elementary standpoint -- 3. Economic dynamics and computation : recursion theoretic foundations for the Icarus tradition -- 4. Let's take the con out of...

An overview of the varieties of mathematics that underpin the functioning of a computer is attempted in this paper. Against the backdrop of such an overview, the question is posed whether, and to what extent, the economist has respected these varieties of mathematics in posing economic questions...