Mathématiques et Mathématiciens: Pensées et Curiosités

Les spéculations mathématiques ont pour caractère commun et essentiel de se rattacher à deux idées ou catégories fondamentales: l'idée d'_ordre_ sous laquelle il est permis de ranger... les idées de situation, de configuration, de forme et de combinaison; et l'idée de grandeur qui implique celles de quantité, de proportion et de mesure.

COURNOT.

La validité de l'analyse algébrique dépend, non de l'interprétation des symboles employés, mais uniquement des lois de leurs combinaisons... La mathématique abstraite et générale n'a pas seulement pour objet des notions de quantités numériques, géométriques ou mécaniques: elle traite des opérations en elles-mêmes, indépendamment des matières diverses auxquelles elles peuvent être appliquées.

LIARD.

Nous sommes donc parvenus maintenant à définir avec exactitude la science mathématique, en lui assignant pour but la mesure indirecte des grandeurs et en disant qu'on s'y propose constamment de déterminer les grandeurs les unes par les autres, d'après les relations précises qui existent entre elles. Cet énoncé, au lieu de donner l'idée d'un art, caractérise immédiatement une véritable science, et la montre sur-le-champ composée d'un immense enchaînement d'opérations intellectuelles qui pourront évidemment devenir très compliquées, à raison de la suite d'intermédiaires qu'il faudra établir entre les quantités inconnues et celles qui comportent une mesure directe... D'après cette définition, l'esprit mathématique consiste à regarder toujours comme liées entre elles, toutes les quantités que peut présenter un phénomène quelconque, dans la vue de les déduire les unes des autres.

AUG. COMTE.

À propos de cette citation, Hoppe, de Berlin, fait remarquer qu'il s'agit aussi en Mathématiques de l'équivalence des opérations.

La définition la plus généralement reçue des mathématiques est celle-ci: les mathématiques sont la science des grandeurs. Cette définition est vraie au fond, mais elle est superficielle et demande explication.

De quelles grandeurs s'agit-il en mathématiques? Est-ce de toute grandeur en général? Non, car alors tout serait objet des mathématiques, puisque tout est grandeur, si du moins on se contente de définir la grandeur comme on le fait d'ordinaire: «ce qui est susceptible d'augmentation ou de diminution;» car cela s'applique à tout; une chose peut être plus ou moins belle, une action plus ou moins bonne, un plaisir plus ou moins vif, un homme plus ou moins spirituel; ce ne sont pas là des grandeurs mathématiques. Pourquoi? Parce que ce ne sont pas là des grandeurs mesurables. Qu'est-ce qu'une grandeur mesurable et, en général, qu'est-ce que mesurer? C'est comparer une grandeur quelconque à une grandeur donnée prise pour unité. Mesurer une route, c'est comparer la longueur de la route à une unité de longueur qu'on appelle le mètre, et dire combien de fois elle comprend cette unité. Mais qui pourra dire, par exemple, combien de fois le talent de Catulle est contenu dans le génie d'Homère?

Il n'y a donc que les grandeurs mesurables qui soient l'objet des mathématiques. De là cette nouvelle définition: c'est la science de la mesure des grandeurs.

Cette définition est plus juste que la précédente; mais elle est encore superficielle. En effet, mesurer ne semble guère en réalité qu'une opération purement mécanique. Or c'est là l'objet d'un art et non d'une science. L'arpentage n'est pas la géométrie. C'est l'arpenteur qui mesure, c'est le géomètre qui fournit les moyens de mesurer. La mesure n'est donc pas l'objet immédiat de la science. Elle n'en est que l'objet indirect et éloigné. Voyons comment elle peut devenir un objet vraiment scientifique.

La comparaison directe et immédiate d'une grandeur quelconque à l'unité est, la plupart du temps, impossible. Par exemple, si je demande combien il y a d'arbres dans une forêt, je ne puis le savoir qu'en comptant les arbres un à un, ce qui demanderait un temps infini. Il en est de même dans la plupart des cas. Prenons le plus facile: la mesure d'une ligne droite par la superposition d'une de ses parties. Cela suppose: 1º que nous pouvons parcourir la ligne, ce qui exclut les longueurs inaccessibles (par exemple la distance des corps célestes); 2º que la ligne ne soit ni trop grande, ni trop petite, qu'elle soit convenablement située: par exemple horizontale, non verticale. Si cela est vrai des lignes droites, cela est vrai à plus forte raison des lignes courbes, des surfaces, des volumes, et à plus forte raison encore des vitesses, des forces, etc. Comment toutes ces quantités peuvent-elles être mesurées? C'est là le problème qui rend nécessaire les mathématiques.

Les mathématiques, dans leur essence même, ont donc pour objet de ramener les grandeurs non immédiatement mesurables à des grandeurs immédiatement mesurables. C'est par là qu'elles sont une science. En effet, l'intervalle qui sépare une grandeur à mesurer de la grandeur immédiatement mesurable peut être plus ou moins grand. De là une série de réductions, depuis la grandeur la plus éloignée jusqu'à la plus prochaine; et c'est la réduction de ces grandeurs les unes aux autres qui constitue la science; soit, par exemple, à mesurer la chute verticale d'un corps pesant. Il y a ici deux quantités distinctes: la hauteur d'où le corps est tombé, et le temps de la chute. Or ces deux quantités sont liées l'une à l'autre; elles sont, comme on dit en mathématique, fonction l'une de l'autre. D'où il suit que l'on peut mesurer l'une par l'autre; par exemple dans le cas d'un corps tombant dans un précipice, on mesure la hauteur de la chute par le temps qu'il met à tomber; en d'autres cas, au contraire, le temps n'étant pas directement observable, sera déduit de la hauteur. Si donc on trouve une loi qui lie ces deux quantités et qui permette de conclure de l'une à l'autre, on aura réduit une grandeur non mesurable directement à une autre qui peut l'être. C'est là un problème mathématique. Autre exemple. Comment mesurer la distance des corps célestes qui sont inaccessibles? On regardera cette distance comme faisant partie d'un triangle, dont on connaîtra un côté et deux angles. Or, la géométrie nous apprend dans ce cas à découvrir les deux côtés du triangle, et par conséquent nous donne le moyen de construire le triangle dans lequel il suffira de tirer une ligne du sommet à la base pour avoir la distance réelle. Maintenant, la distance étant connue, on peut, du diamètre apparent conclure le diamètre réel, passer de là au volume et même au poids, en y ajoutant d'autres éléments.

PAUL JANET.

Les mathématiques offrent ce caractère particulier et bien remarquable que tout s'y démontre par le raisonnement seul, sans qu'on ait besoin de faire aucun emprunt à l'expérience, et que néanmoins tous les résultats obtenus sont susceptibles d'être confirmés par l'expérience, dans les limites d'exactitude que l'expérience comporte. Par là, les mathématiques réunissent au caractère de science rationnelle, celui de science positive, dans le sens que la langue moderne donne à ce mot.

COURNOT.

D'après Leibniz, il n'y a de mesure que «là où il y a antérieurement de l'ordre.» On peut dire, par suite, que les mathématiques sont la science de l'ordre.

Quelques-uns ont prétendu que toute la partie des mathématiques qui n'est susceptible d'aucune vérification expérimentale devrait être transportée dans la philosophie. Tels seraient les nombres incommensurables et, à plus forte raison, les nombres négatifs et imaginaires. Mais on est arrivé à interpréter ces symboles d'une façon concrète, et du reste cette limitation si étroite et si arbitraire des mathématiques les restreindrait à presque rien.

Les vérités géométriques sont en quelque sorte l'_asymptote_ des vérités physiques, c'est-à-dire le terme dont celles-ci peuvent indéfiniment approcher, sans jamais y arriver exactement.

D'ALEMBERT.

Les figures géométriques sont de pures conceptions de l'esprit et cependant la géométrie n'est pas seulement une science spéculative très propre à développer les facultés intellectuelles.....; mais elle est encore utile par ses nombreuses applications aux arts. Cela tient à ce que les volumes de certains corps, leurs surfaces, les portions communes à deux portions de ces surfaces peuvent être regardés comme étant sensiblement des volumes, des surfaces et des lignes géométriques.

COMPAGNON.

Avec des définitions précises et des axiomes certains, la Mathématique établit des déductions sûres tant que le raisonnement se maintient dans les voies de l'évidence logique. C'est pourquoi la science des grandeurs porte, à l'exclusion de toute autre, le titre glorieux d'«exacte».

Cela signifie surtout que, moins qu'aucune autre, elle est sujette à l'erreur. La perception a ses méprises, la conception ses lacunes, l'induction ses témérités, l'opinion ses dissidences, l'observation ses mécomptes, l'expérience ses égarements. Seule, la déduction ne trompe point, quand elle suit la loi du raisonnement. La science qu'elle établit progresse avec plus ou moins de lenteur; mais ses vérités une fois démontrées, sont parfaites, définitives, et ne changent plus.

La théorie des grandeurs est l'unique exemple d'une construction scientifique ne laissant rien à désirer..... À ce titre, elle méritait le nom de «science par excellence» (mathésis) que les Grecs lui avaient donné. Elle est la science type, l'idéal de connaissance certaine proposé pour modèle à toutes les sciences de fait, mais dont celles-ci ne se rapprochent qu'en lui empruntant sa méthode et en subordonnant leurs mensurations à ses lois.

BOURDEAU.

Dire que les mathématiques ne laissent rien à désirer, c'est trop dire. Là aussi, il reste encore des questions à élucider.

Ce qui est acquis dans les sciences de démonstration, dans les mathématiques, par exemple, est absolument parfait; ce qui est acquis dans les sciences d'observation est indéfiniment perfectible et conséquemment variable, ou du moins conserve ce caractère jusqu'au moment où la démonstration devient possible.

DUVAL-JOUVE.

Les mathématiques ont des inventions très subtiles et qui peuvent beaucoup servir, tant à contenter les curieux qu'à faciliter tous les arts et à diminuer le travail des hommes.