La philosophie des mathématiques et celle des sciences
19 septembre 2009, 21:26, par Robert Paris
On dit que les mathématiques pures viennent entièrement du monde réel, de même que la géométrie viendrait selon la légende de la mesure des champs après les crues du Nil. (Si c’est faux, si la géométrie existait avant qu’on en eut besoin, le débat s’avance sur un terrain mouvant. Si c’est vrai, cet argument prouve seulement que les mathématiques appliquées ne peuvent pas progresser sans les mathématiques pures, comme le fourmilier ne peut pas subsister sans fourmis, mais pas nécessairement l’inverse.) Il est vrai que toutes les mathématiques sortent du monde physique dans la mesure où elles sont nées de l’étude des formes et des dimensions des objets réels. Il n’est pas évident qu’un contact renouvelé avec la physique, la psychologie, la biologie ou l’économie ait été nécessaire pour que naîssent certaines branches des mathématiques du XX° siècle (comme le problème du continuum de Cantor, l’hypothèse de Riemann ou la conjecture de Poincaré).
On dit que les mathématiques pures viennent entièrement du monde réel, de même que la géométrie viendrait selon la légende de la mesure des champs après les crues du Nil. (Si c’est faux, si la géométrie existait avant qu’on en eut besoin, le débat s’avance sur un terrain mouvant. Si c’est vrai, cet argument prouve seulement que les mathématiques appliquées ne peuvent pas progresser sans les mathématiques pures, comme le fourmilier ne peut pas subsister sans fourmis, mais pas nécessairement l’inverse.) Il est vrai que toutes les mathématiques sortent du monde physique dans la mesure où elles sont nées de l’étude des formes et des dimensions des objets réels. Il n’est pas évident qu’un contact renouvelé avec la physique, la psychologie, la biologie ou l’économie ait été nécessaire pour que naîssent certaines branches des mathématiques du XX° siècle (comme le problème du continuum de Cantor, l’hypothèse de Riemann ou la conjecture de Poincaré).
— Halmos, Paul