Professional Documents
Culture Documents
DE L'INTUITION ET DE LA LOGIQUE
EN MATHMATIQUES,
PAR M. HENRI P O I N C A R (PARIS).
I.
IlG
Ce n'est pas non plus l'ducation qui a dvelopp en eux l'une des
deux tendances et qui a touff l'autre. On nat mathmaticien, on
ne le devient pas, et il semble aussi qu'on nat gomtre, ou qu'on
nat analyste.
Je voudrais citer des exemples et certes ils ne manquent pas ; mais
pour accentuer le contraste, je voudrais commencer par un exemple
extrme; pardon, si je suis oblig de le chercher auprs de deux mathmaticiens vivants.
M. Mray veut dmontrer qu'une quation binme a toujours
une racine. S'il est une vrit que nous croyons connatre par intuition directe, c'est bien celle-l. Qui doutera qu'un angle peut toujours tre partag en un nombre quelconque de parties gales?
M. Mray n'en juge pas ainsi; ses yeux, cette proposition n'est
nullement vidente et pour la dmontrer, il lui faut plusieurs pages.
Voyez au contraire M. Klein : il tudie une des questions les plus
abstraites de la thorie des fonctions; il s'agit de savoir si sur une
surface de lliemann donne, il existe toujours une fonction admettant des singularits donnes : par exemple deux points singuliers
logarithmiques avec des rsidus gaux et de signe contraire. Que
fait le clbre gomtre allemand? Il remplace sa surface de Riemann par une surface mtallique dont la conductibilit lectrique
varie suivant certaines lois. Il met les deux points logarithmiques en
communication avec les deux ples d'une pile. Il faudra bien que lo
courant passe, et la faon dont ce courant sera distribu sur la surface dfinira une fonction dont les singularits seront prcisment
celles qui sont prvues par l'nonc.
Sans doute, M. Klein sait bien qu'il n'a donn l qu'un aperu :
toujours est-il qu'il n'a pas hsit le publier; et il croyait probablement y trouver sinon une dmonstration rigoureuse, du moins je
ne sais quelle certitude morale. Un logicien aurait rejet avec horreur une semblable conception, ou plutt il n'aurait pas eu la
rejeter, car dans son esprit elle n'aurait jamais pu natre.
Permettez-moi encore de comparer deux hommes, dont l'un
vient tout rcemment de nous tre enlev par la mort, dont l'autre
HJ
est encore noire doyen vnr, mais qui tous deux sont depuis
longtemps entrs dans l'immortalit. Je veux parler de M. Bertrand
et de M. Hermite. Ils ont t lves de la mme cole et en mme
temps; ils ont subi la mme ducation, les mmes influences; et
pourtant quelle divergence ; ce n'est pas seulement dans leurs crits
qu'on la voit clater; c'est dans leur enseignement, dans leur faon
de parler, dans leur aspect mme. Dans la mmoire de tous leurs
lves, ces deux physionomies se sont graves en traits ineffaables ;
pour la plupart d'entre nous qui avons eu le bonheur de suivre leurs
leons, ce souvenir est encore tout rcent; il nous est ais de
l'voquer.
Tout en parlant, M. Bertrand est toujours en action; tantt il
semble aux prises avec quelque ennemi extrieur, tantt il dessine
d'un geste de la main les figures qu'il tudie. Evidemment, il voit
et il cherche peindre, c'est pour cela qu'il appelle le geste son
secours. Pour M. Hermite, c'est tout le contraire; ses yeux semblent fuir le contact du monde; ce n'est pas au dehors, c'est au
dedans qu'il cherche la vision de la vrit.
Parmi les gomtres allemands de ce sicle, deux noms surtout
sont illustres ; ce sont ceux des deux savants qui ont fond la thorie
gnrale des fonctions, Weierstrass et Riemann. Weierstrass ramne tout la considration des sries et leurs transformations
analytiques; pour mieux dire, il rduit l'Analyse une sorte de
prolongement de l'Arithmtique ; on peut parcourir tous ses Livres
sans y trouver une figure. Riemann, au contraire, appelle tout de
suite la Gomtrie son secours, chacune de ses conceptions est
une image que nul ne peut oublier ds qu'il en a compris le sens.
Plus rcemment, Lie tait un intuitif; on aurait pu hsiter en
lisant ses Ouvrages, on n'hsitait plus aprs avoir caus avec lui;
on voyait tout de suite qu'il pensait en images. Mme Kowalevski
tait une logicienne.
Chez nos tudiants, nous remarquons les mmes diffrences; les
uns aiment mieux traiter leurs problmes par l'Analyse , les
autres par la Gomtrie . Les premiers sont incapables de voir
llS
tuition que cette proposition qui nous est impose par la logique.
Nos pres n'auraient pas manqu de dire : II est vident que toute
fonction continue a une drive, puisque toute courbe a une tangente. ))
Gomment l'intuition peut-elle nous tromper ce point? C'est que
quand nous cherchons imaginer une courbe, nous ne pouvons pas
nous la reprsenter sans paisseur; de mme, quand nous nous reprsentons une droite, nous la voyons sous la forme d'une bande
rectilignc d'une certaine largeur. Nous savons bien que ces lignes
n'ont pas d'paisseur; nous nous efforons de les imaginer de plus
en plus minces et de nous rapprocher ainsi de la limite ; nous y parvenons dans une certaine mesure, mais nous n'atteindrons jamais
cette limite.
Et alors il est clair que nous pourrons toujours nous reprsenter
ces deux rubans troits, l'un rectiligne, l'autre curviligne, dans une
Fig. i.
120
Mais il n'en serait pas de mme si Ton s'tait servi d'images concrtes, si l'on avait par exemple considr cette fonction comme un
potentiel lectrique; on aurait pu croire lgitime d'affirmer que
l'quilibre lectrostatique peut tre atteint. Peut-tre cependant une
comparaison physique aurait veill quelques vagues dfiances. Mais
si l'on avait pris soin de traduire le raisonnement dans le langage
de la Gomtrie, intermdiaire entre celui de l'Analyse et celui de
Ja Physique, ces dfiances ne se seraient sans doute pas produites,
cl peut-tre pourrait-on ainsi, mme aujourd'hui, tromper encore
bien des lecteurs non prvenus.
L'intuition ne nous donne donc pas la certitude. Voil pourquoi
l'volution devait se faire; voyons maintenant comment elle s'est
faite.
On n'a pas tard s'apercevoir que la rigueur ne pourrait pas
s'introduire dans les raisonnements, si on ne la faisait entrer d'abord
dans les dfinitions.
Longtemps les objets dont s'occupent les mathmaticiens taient
pour la plupart mal dfinis; on croyait les connatre parce qu'on se
les reprsentait avec les sens ou l'imagination; mais on n'en avait
qu'une image grossire et non une ide prcise sur laquelle le raisonnement put avoir prise.
C'est l d'abord que les logiciens ont d porter leurs efforts.
Ainsi pour le nombre incommensurable.
L'ide vague de continuit, que nous devions l'intuition, s'est
rsolue en un systme compliqu d'ingalits portant sur des nombres
entiers.
Par l les difficults provenant des passages la limite, ou de la
considration des infiniment petits, se sont trouves dfinitivement
clair cics.
Il ne reste plus aujourd'hui en Analyse que des nombres entiers
ou des systmes finis ou infinis de nombres entiers, relis entre eux
par un rseau de relations d'galit ou d'ingalit.
Les Mathmatiques, comme on l'a dit, se sont arithmtises.
121
III.
122
123
r>4
I2>
120
127
VI.
128
I2g
l3o