Abstract

I offer a critical review of several different conceptions of the activity of foundational research, from the time of Gauss to the present. These are (1) the traditional image, guiding Gauss, Dedekind, Frege and others, that sees in the search for more adequate basic systems a logical excavation of a priori structures, (2) the program to find sound formal systems for so-called classical mathematics that can be proved consistent, usually associated with the name of Hilbert, and (3) the historicist alternative, guiding Riemann, Poincaré, Weyl and others, that seeks to perfect available conceptual systems with the aim to avoid conceptual limitations and expand the range of theoretical options. I shall contend that, at times, assumptions about the foundational enterprise emerge from certain dogmas that are frequently inherited from previous, outdated images. To round the discussion, I mention some traits of an alternative program that investigates the epistemology of mathematical knowledge.