Abstract

Kumaraswamy Vela Velupillai [74] presents a constructivist perspective on the foundations of mathematical economics, praising the views of Feynman in developing path integrals and Dirac in developing the delta function. He sees their approach as consistent with the Bishop constructive mathematics and considers its view on the Bolzano-Weierstrass, Hahn-Banach, and intermediate value theorems, and then the implications of these arguments for such “crown jewels” of mathematical economics as the existence of general equilibrium and the second welfare theorem. He also relates these ideas to the weakening of certain assumptions to allow for more general results as shown by Rosser [51] in his extension of Gödel’s incompleteness theorem in his opening section. This paper considers these arguments in reverse order, moving from the matters of economics applications to the broader issue of constructivist mathematics, concluding by considering the views of Rosser on these matters, drawing both on his writings and on personal conversations with him