Sujet : De quoi parlent les mathématiques ?

RUSSELL

Les mathématiques sont une étude où l'on ignore de quoi l'on parle et où l'on ne sait pas si ce que l'on dit est vrai.

Alain

Nos idées, par exemple de mathématique, d'astronomie, de physique, sont vraies en deux sens. Elles sont vraies par le succès ; elles donnent puissance dans ce monde des apparences. Elles nous y font maîtres, soit dans l'art d'annoncer, soit dans l'art de modifier selon nos besoins ces redoutables ombres au milieu desquelles nous sommes jetés. Mais, si l'on a bien compris par quels chemins se fait le détour mathématique, il s'en faut de beaucoup que ce rapport à l'objet soit la règle suffisante du bien penser. La preuve selon Euclide n'est jamais d'expérience ; elle ne veut point l'être. Ce qui fait notre géométrie, notre arithmétique, notre analyse, ce n'est pas premièrement qu'elles s'accordent avec l'expérience, mais c'est que notre esprit s'y accorde avec lui-même, selon cet ordre du simple au complexe, qui veut que les premières définitions, toujours maintenues, commandent toute la suite de nos pensées. Et c'est ce qui étonne d'abord le disciple, que ce qui est le premier à comprendre ne soit jamais le plus urgent ni le plus avantageux. L'expérience avait fait découvrir ce qu'il faut de calcul et de géométrie pour vivre, bien avant que la réflexion se fût mise en quête de ces preuves subtiles qui refusent le plus possible l'expérience, et mettent en lumière cet ordre selon l'esprit qui veut se suffire à lui-même. Il faut arriver à dire que ce genre de recherches ne vise point d'abord à cette vérité que le monde confirme, mais à une vérité plus pure, toute d'esprit, ou qui s'efforce d'être telle, et qui dépend seulement du bien penser


Aristote

Il y a une science qui étudie l'Être en tant qu'être et les attributs qui lui appartiennent essentiellement. Elle ne se confond avec aucune autre des sciences dites particulières car aucune de ces autres sciences ne considère en général l'Être en tant qu'être, mais, découpant une certaine partie de l'Être, c'est seulement de cette partie qu'elles étudient l'attribut : tel est le cas des sciences mathématiques. Et, puisque nous recherchons les principes premiers et les causes les plus élevées, il est évident qu'il existe nécessairement quelque réalité à laquelle ces principes et ces causes appartiennent, en vertu de sa nature propre. Si donc ceux qui cherchaient les éléments des êtres cherchaient en fait les principes absolument premiers, ces éléments qu'ils cherchaient étaient nécessairement aussi les éléments de l'Être en tant qu'être, et non l'Être par accident. C'est pourquoi nous devons, nous aussi, appréhender les causes premières de l'Être en tant qu'être.

KANT

Les jugements mathématiques sont tous synthétiques. Cette proposition semble avoir échappé jusqu'ici à l'observation de tous ceux qui ont analysé la raison humaine, et elle paraît même en opposition avec toutes leurs suppositions ; elle est pourtant incontestablement certaine, et elle a une grande importance par ses résultats. En effet, comme on trouvait que les raisonnements des mathématiques procédaient tous suivant le principe de contradiction (ainsi que l'exige la nature de toute certitude apodictique), on se persuadait que leurs principes devaient être connus aussi à l'aide du principe de contradiction, en quoi l'on se trompait ; car si le principe de contradiction peut nous faire admettre une proposition synthétique, ce ne peut être qu'autant qu'on présuppose une autre proposition synthétique, d'où elle puisse être tirée, mais en elle-même elle n'en saurait dériver. Il faut remarquer d'abord que les propositions proprement mathématiques sont toujours des jugements a priori et non empiriques, puisqu'elles impliquent une nécessité qui ne peut être tirée de l'expérience. Si l'on conteste cela, je restreindrai alors mon assertion aux mathématiques pures, dont la seule idée comporte qu'elles ne contiennent point de connaissances empiriques, mais seulement de connaissances pures a priori.


LEIBNIZ

D'où il naît une autre question si toutes les vérités dépendent de l'expérience, c'est-à-dire de l'induction et des exemples, ou s'il y en a qui ont encore un autre fondement. Car si quelques événements se peuvent prévoir avant toute épreuve qu'on en ait faite, il est manifeste que nous y contribuons quelque chose du nôtre. Les sens, quoique nécessaires pour toutes nos connaissances actuelles, ne sont point suffisants pour nous les donner toutes, puisque les sens ne donnent jamais que des exemples, c'est-à-dire des vérités particulières ou individuelles. Or tous les exemples qui confirment une vérité générale, de quelque nombre qu'ils soient, ne suffisent pas pour établir la nécessité universelle de cette même vérité, car il ne suit point que ce qui est arrivé arrivera de même. Par exemple les Grecs et Romains et tous les autres peuples de la terre connue aux anciens ont toujours remarqué qu'avant le décours de 24 heures, le jour se change en nuit, et la nuit en jour. Mais on se serait trompé si l'on avait cru que la même règle s'observe partout ailleurs, puisque depuis on a expérimenté le contraire dans le séjour de Nova Zembla (1). Et celui-là se tromperait encore qui croirait que, dans nos climats au moins, c'est une vérité nécessaire et éternelle qui durera toujours, puisqu'on doit juger que la Terre et le Soleil même n'existent pas nécessairement, et qu'il y aura peut-être un temps où ce bel astre ne sera plus, au moins dans la présente forme, ni tout son système. D'où il paraît que les vérités nécessaires, telles qu'on les trouve dans les mathématiques pures et particulièrement dans l'arithmétique et dans la géométrie, doivent avoir des principes dont la preuve ne dépende point des exemples, ni par conséquence du témoignage des sens, quoique sans les sens on ne se serait jamais avisé d'y penser. C'est ce qu'il faut bien distinguer, et c'est ce qu'Euclide a si bien compris, qu'il démontre souvent par la raison ce qui se voit assez par l'expérience et par les images sensibles.