A New Philosophical Foundation of Constructive Mathematics

The current definition of Constructive mathematics as “mathematics within intuitionist logic” ignores two fundamental issues. First, the kind of organization of the theory at issue. I show that intuitionist logic governs a problem-based organization, whose model is alternative to that of the deductive-axiomatic organization, governed by classical logic. Moreover, this dichotomy is independent of that of the kind of infinity, either potential or actual, to which respectively correspond constructive mathematical and classical mathematical tools. According to this view a mathematical theory is based on the choices regarding these two dichotomies. As an example of this kind of foundation, arithmetic is rationally re-founded on constructive mathematical tools and the model of the problem-based organization. In conclusion, constructive mathematics is not only mathematics making use of constructive tools in intuitionist logic but also organized according to around a basic problem, solved by a method discovered using intuitionist logic.