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

The emergence of non-constructivities in economics is entirely due to the unnecessary and inappropriate formalization of economics by means of 'classical' mathematics. I have made similar claims for the emergence of uncomputabilities and undecidabilities in economics in earlier writings. Here,...