mathmaticiens dans
l'antiquit et dans les
temps modernes / par
Pierre Boutroux,...
Source gallica.bnf.fr / Ecole Polytechnique
Boutroux, Pierre (1880-1922). L'idal scientifique des mathmaticiens dans l'antiquit et dans les temps modernes / par Pierre Boutroux,.... 1920.
1/ Les contenus accessibles sur le site Gallica sont pour la plupart des reproductions numriques d'oeuvres tombes dans le domaine public provenant des collections de la
BnF.Leur rutilisation s'inscrit dans le cadre de la loi n78-753 du 17 juillet 1978 :
*La rutilisation non commerciale de ces contenus est libre et gratuite dans le respect de la lgislation en vigueur et notamment du maintien de la mention de source.
*La rutilisation commerciale de ces contenus est payante et fait l'objet d'une licence. Est entendue par rutilisation commerciale la revente de contenus sous forme de produits
labors ou de fourniture de service.
Cliquer ici pour accder aux tarifs et la licence
2/ Les contenus de Gallica sont la proprit de la BnF au sens de l'article L.2112-1 du code gnral de la proprit des personnes publiques.
3/ Quelques contenus sont soumis un rgime de rutilisation particulier. Il s'agit :
*des reproductions de documents protgs par un droit d'auteur appartenant un tiers. Ces documents ne peuvent tre rutiliss, sauf dans le cadre de la copie prive, sans
l'autorisation pralable du titulaire des droits.
*des reproductions de documents conservs dans les bibliothques ou autres institutions partenaires. Ceux-ci sont signals par la mention Source gallica.BnF.fr / Bibliothque
municipale de ... (ou autre partenaire). L'utilisateur est invit s'informer auprs de ces bibliothques de leurs conditions de rutilisation.
4/ Gallica constitue une base de donnes, dont la BnF est le producteur, protge au sens des articles L341-1 et suivants du code de la proprit intellectuelle.
5/ Les prsentes conditions d'utilisation des contenus de Gallica sont rgies par la loi franaise. En cas de rutilisation prvue dans un autre pays, il appartient chaque utilisateur
de vrifier la conformit de son projet avec le droit de ce pays.
6/ L'utilisateur s'engage respecter les prsentes conditions d'utilisation ainsi que la lgislation en vigueur, notamment en matire de proprit intellectuelle. En cas de non
respect de ces dispositions, il est notamment passible d'une amende prvue par la loi du 17 juillet 1978.
7/ Pour obtenir un document de Gallica en haute dfinition, contacter reutilisation@bnf.fr.
BOUTROUX,
PIERRE.
Z/tC~C~
des
SC~yt~MC
yytc~AeyyM~K~M~s
Flix Alean
Paris
1920
tM~
B
-M~
L'tDALSCtENUFIQUE
DES
MATHMATICIENS
LIBRAIRIE
Nouvelle
FHX
Collection
DtMCTtB* MtLE
ALCAN
ScientiBquo
BORKL
Vo)uatMin-t6a6tf.?6t'un
D<)~<<t'< )w<Mtttj)at'at.
L'td<at
*o)Mt)aquedetMatMmaoieat
daatt'anUqoM
et danatM
temps
modemM.
par Pomaa BonMM, ptoteo.
leur au CoHege de France.
Troubles
mentaux
et TMubtt
nerveux
de la OoeKe,
par le Dr GMMM DttUB. pfOt6<MW & )t SotbOMt.
NMttt
sur la Chirurgie
moderne,
par jMxt'MtM.pMhtMaf
a t'heote de mdeetat <!e Mareeillo, ehtraretea
des hopttaait.
te Radium.
jrn<<rpf~ht(fon <t <ttMt'oH<M)<t<j <<<fa Rodioaeti'-<M. par )- SeDDT, professeur
& t'tJntventM
d'Aberdoen. TmdMtion f~MM, avec OgarM.
t.'0nh*
de la Science,
par M. Ltcuxc ce S~BM)'. professeur
de la FfMuM des Seteneet de TouteoM. Avec OcurM.
La MotoMte
chimique,
par K. I.mfttAe, professeur adjotat &
la Sorbonne.
Avec figures.
L'vetuUon
des Plantes.
it
)!m!'tM.
par Mft
professeur
t'fn(Yer.<M
de t'ettier*. prtace de M. Cot~oto),
de HatUtat
(avec ftgarM).
L'dnoaMoa
dans la famille.
/. F~~
~<;t-t)). ?*
/!(Mt, par F. Txetxt, professeur
honoraire
au LyMe de VerMittee.
Le Baeard,
t
t
L'IDEAL SCIENTIFIQUE
DES
MATHMATICIENS
Dans
et dans
l'Antiquit
les Temps
~tot/er'aes
~K
PIERRE
fxofe~Bun
BOUTROUX
tu
cotHoe
pf! F~tseB
PAtUS
UMAJIUE
108,
BOD.EVAOO
FEUX
6Atttl'-OKKM*tt),
t~o
TM<.)'nin.tert~.)).~tM,d't~timo)~trtdMtiM,
tt'~rtffwt'ttMtty.
ALCAN
)08
L'IDAL SCIENTIFIQUE
DES
MATlKMATCIE~S
INTRODUCTION
L'HISTOIRE
DES SCIENCES
ET LES GRANDS COURANTS DE LA
PENSEE
MATHMATIQUE
fi
r.
de science,
I! est, en matire
un principe
qui
sinon
du
par tous les philosophes,
parat admis,
des savants
c'est
moins par )a grande
majorit
la science dj faite
qu'il ne faut pas confondre
avec la science qui se fait. En d'autres
termes, on
ne peut pas esprer dterminer
tes caractres
tiels de la connaissance
si l'on
scientifique
cette connaissance
est ac.luise
comment
des savants si
peut pas juger les thories
esscn.
ignore
on ne
l'on ne
qui les
initi l'inspiration
s'est pas pralablement
a suggres.au
mouvement
dpense
qui a permis
de les raliser.
Si ce principe est vrai de toutes tes
des MathcnMsciences, sans doute t'est-it surtout
car celtes ci, n'tant,
ni guides par
ni suscites
de la
l'exprience,
par les vnements
de
vie, dpendent
plus que toute autre discipline
l'invention
et des conceptions
de Icurs auteurs.
Et c'est pourquoit'onsouhaitcrahpouvoirrpondre
thiques
avec
vantes
pures:
une
BecTMU~.
ti
r/JO~U.
~C/MFJPB
DES JM~yNJ~~MC~M
au vulgaire
J~ FFJV~C~~MfF~~TjfCP~
Le mystre,
il
devrait se dissiper,
vrai,
lorsque, laissant de ct ta science du pass, nous
tournons
notre attention
vers nos contemporains.
Nous tes voyons, en effet, travailler,
sous nos yeux,
et nous avons la ressource
de les interroger
directement.
est
ne s'imagine
pas, cependant,
(juc
nous
pour cela, beaucoup
plus avancs.
Les questions indiques
plus haut ne sont pas, en
le mathmaticien
mme
effet, de celles auxquelles
le plus quatiti puisse rpondre
d'emble.
I) lui
faut un grand eflort d'abstraction
et de rflexion
et pour les
pour les traiter d'une maniereobjective
Qu'on
sommes,
banales, ou
dgager de la masse des observations
au contraire trop spciales,
trop accidentelles,
qui
se prsentent enfouie son esprit lorsqu'il cherche
analyser sa propre activit.
savant s'est ce point fondu
lui est devenu
i:npOM)b)e
D'ailleurs
le vritable
avec son uvre qu'il
de s'en abstraire;
et
c'est pourquoi,
ses
lorsque nous voulons connatre
vues sur la science, souvent il repousse notre prtention
comme une sorte d'intrusion
dans sa vie
ou bien, s'it consent nous faire des confi.
celles-ci
relvent
parfois de l'autobiointime plutt qu'tes
graphie et de la psychologie
ne nous instruisent
sur Ja direction
et le dveprive
dences,
des thories
loppement
scientifiques.
Cette difficult que nous prouvons
nous rendes hommes
de
seigner sur la pense
profonde
science a souvent t remarque
et elle a, certes,
quoique chose
mathmaticiens~
d'un
peu
troublant.
en particulier,
M 3-
les
Pourquoi
hsitent-ils
tant
~?
r/pj?...yc/~T/~t'B
jM~TN~~r~c/MA
eux-mmes
en formules
traduire
leurs
gnrtes
ides directrices?
Serait-ce qu'ils se mfient de ces
ides ? Les regarderaient-ils
comme une faiblesse,
dont
ils n'ont
cultivons
sous
te nom
de philosophie
~).
en e8ett'homtnede
science
Mais, si rien n'empche
de son champ
les discussions
d'tudes
d'carter
et !a nature
des notions aux.
concernant
l'origine
quelles il a affaire, s'it lui est permis de n'avoir pas
sur les controverses
toud'opinion
mtaphysiques
de la connaissance,
chant le problme
on ne saurait
de l qu'il puisse se passer de tout princonclure
cipe, non pas prcisment
moins extra -scientifique
p/7oM~/)~M~, et encore
mais, en tout cas, <r<
/CC/W~KC.
Non seulement,
en effet, comme nous te disions
il faut au savant
au mathmaticien
plus haut,
un dessein et des vues d'ordre
surtout
gnra)
ses recherches.
Mais il est clair que
pour guider
l'existence
mme
du savant
ou du
moins
son acti?
/t
Mi.Y.~A
.MJ?'M/tt/<?t'~
est souvent
foi mystique
dans le progrs et les destines de la
l'homme de
science. Comme le grand conqurant,
science est tent de croire son toile, -influence
vers un but commun
la
mystrieuse
qui oriente
l'ensemble
en appasrie parse de ses recherches,
rence dsordonn
de ses travaux.
autre,
part, mieux qu'aucun
faire des travaux de valeur
SentaM, d'autre
qu'i! est impossible de
moins d'tre doll, il
et suiv.
cit., p.
;b
MD~f..KMWT/MQM
DM ~TmAf.tMCJ'BM
sousses
pas sans qu'il sache comment ni pourquoi;
car c'est souvent, dit-il, au moment o il s'y attend
le moins,
a beaucoup peine, err, et qu'il
torsqu'it
se croit dfinitivement
la
gar, que brusquement
vrit se rvle ses yeux. A ce compte, les progrs
de h science ne pourraient
s'expliquer
que par un
miracle perptue))ement
renouvel.
S:ms doute les mathmaticiens
n'exprimeront-ils
leur pense par des affirmations
que rarement
aussi
extrmes.
Ces croyances
instinctives
que
nous cherchons
mettre
en formules
n'existent
chez eux qu' l'tat de tendances
ou de sentiments.
Mais ne sont-ce pas souvent
de tels sentiments,
i'homme
imparfaitement
analyss,
qui incitent
son c)Tort?
agir et qui entretiennent
Quoi qu'il en soit, et quelque
peu d'importance
ces recoins de l'me
que l'on veuille attribuer
sous des
scientifique
que nous avons
prsents
traits un peu gros afin de les rendre
ptus appaun fait demeure
rents,
c'est que, comme
acquis
nous le disions tout l'heure,
il est presque impossible de dterminer
individuelles
par des enqutes
les conceptions
aux recherches scienqui prsident
ces conceptions,
devenues
chez ceux qui
tifiques
s'en inspirent
des principes d'action
et de vie, sont
de trop d'lments
mlanges
personnels
pour
tre tudies objectivement.
Incidemment
pouroir
cette remarque
nous explique une apparente
contradiction
dans t'attitude
de
que l'on peut relever
certains
savants.
D'une
ils se dclarent
part,
indiffrents
toute
thorie
de la science,
6-
estimant
M M~N
MNM~f~M
ne sauraient
que les vues philosophiques
avoir
aucune rpercussion
sur les travaux des techniciens.
Et, d'autre part, ils se montrent
si attachs leurs
avec
propres ides sur la science qu'ils supportent
peine de )(;s voir mises en cause. C'est qu'en effet
ces ides, auxquelles
ils n'attribuent
aucune valeur
absolue, sont cependant
les conditions
indispensables de leur activit scientifique.
Et ils ont peur
qu'en les branlant on ne porte atteinte aux ressorts
de leur nergie.
Sentiment
fort naturel
et fort
mais qui nous montre
combien il est
respectable,
ncessaire
d'tre
cherche
prudent
lorsqu'on
interprter
certains
tmoignages.
Il sera suspect
de partialit
s'il se borne
dcrire sa propre exprience
il apportera,
au con= 7 =
/K7t.7~H:
;i/7Y~M~/A'~
~s
un enseignement
prcieux si, la lumire
il interprte
les ides d'autres
exprience,
divers aspects ou dnespcialistes,
reprsentant
rentes phases de la pense scientifique.
En d'autres termes,
de l'poque
qu'il s'agisse
ou qu'il
il n'est, pour
prsente
s'agisse
dupasse,
traire,
decette
l'tude
des
noncs
problmes
que nous avons
seule mthode
plus haut, qu'une
et
applicable,
cette mthode est )a mthode
historique.
Puisque,
sur les questions en litige, les tmoign: ges individuels
:.t
1
1;
des savants
et en outre
des sciences,
convenablement
tudie, que nous avons te plus dechances
de dcou.
vrir les fondements
et ta direction
de la pense
scientifique.
L'histoire
des
sciences
ainsi
entendue
est
gale distance de l'observation
psychologique indiviJuetie
et de la systmatisation
philosophique.
Elle est donc la prface naturelle
de la philosophie
des sciences. Mais, restant place dans te domaine
elle sera, croyonsobjectif de t'uvre scientifique,
nous, galement
instructive
pour te pur homme de
science et principalement
pour celui qui cuhivetes
sciences abstraites.
En effet, si les crateurs
de gnie
peuvent se ner, pour guider leurs recherches,
teur
flair et l'inspiration
instinctive
dont nous part
/V.~7:
.V.<?/<y/(/f
le pourquoi du
dj parcouru,
s'expliquer
t'htsdans leqltl ils sont entrane:
mouvement
toire fournira peut-tre
les enseignements
et les
ncessaires.
encouragements
Il convient cependant
d'examiner
d'un peu plus
tre les proccupations et les
prs quels devront
se proposera
sujets d'tude de l'historien
lorsqu'il
de retracer
l'volution
des sciences et spcialement
dans
le dessein
MM~A
.M~SWM~M'
~M
W~MjM~r/CY~~
leur nombre
sera sunsant
de reconstituer
la
et la filiation
des thories
dont la
physionomie
trace a t perdue.
Historien des sciences, galement,
est l'auteur
qui
cherche mettre en lumire la srie des doctrine!!
et des hypothses
les sascientifiques
auxquelles
vants ont t conduits
dans le cours des sicles
ainsi comprise
passs. L'histoire
est, en grande
des erreurs
humaines:
partie, l'histoire
pleine
d'enseignements
et pour t'his.
pour le philosophe
torien de la civilisation,
elle ne pourra que rare*
ment, semble-t.il,
tre utile l'homme
de science,
sinon pour
le mettre
en garde contre
certaines
tautes de raisonnement
ou certaines
imprudences
commises
ses
devanciers.
par
Une autre
de l'histoire
des sciences
conception,
extrmement
rpandue
aujourd'hui
assigne
celle-ci pour principal
de la
objet la recherche
Cette recherche
paternit
des grandes dcouvertes.
est en effet fort utile parce
qu'elle nous aide
nous tenons
avec
accomplir un devoir de justice
raison rendre chacun son d et nous voulons
dfendre notre patrimoine
contre
les
scientifique
vritable
injustifies
des
historiens
de certains
faire de la science un champ
pays qui s'appliquent
de rivalits nationales.
Mais. cela dit, il faut reconnatre que l'exacte rpartiton
des dcouvertes
entre
leurs auteurs nous apporte
sur la
peu de lumire
prtentions
origine
de ces dcouvertes.
=)t)~
J~ MMB
de
Que la rsolution
degr soit due Tartag'ia
de
quations
premires
~~tWBM~M~M
du troisime
l'quation
ou Cardan,
que les
la gomtrie
analytique
aient t formules
par Desc~rtes,
par Fermat ou
gomtre,
par un troisime
que telle regte de calcul
nous vienne de Newton,
de Leibniz
infinitsimal
on ne saurait tirer de ces faita
ou d'un Bernoulli,
aucune conclusion
uti)e. Pluscurieux,
sans doute,
sont les rapprochements
fois entre des uvres
que l'on
immdiatement
cartsienne.
Mais l'on
blances
doit
la gomtrie
penser
se mfier des ressem-
sont souvent
de
genre,
lesquelles
ne portent que sur tes mapure forme, c'est~-dire
nifestations
de la pense scientifique
(noncs de
et non point sur les
faits, formules ou thormes)
tendances
de ce
et l'action
tte
point
==it=-
de dpart.
C'est
en d'au-
A'/M?.
~7A'A'7'/f7('f'
Y~S' <V~M~t//t?/f7AA'~
tres termes,
l'volution
des conceptions
scicnticonnatre
et comfiques que nous souhaiterions
historique
prendre. Or il n'est point de trouvaille
qui brusquement puisse venir renverser ce qu'une
longue srie d'tudes nous a d)!t appris sur cette
volution.
& t'histoire
la mme remarque
Nou<.app!iqucrons
des dcouvertes
considre
spcialement
du point
de vue national.
Le cas de lgitime dfense tant
mis part, cette histoire
nous parat peu instrucdu moins qu'elle se borne
tive, pour autant
cataloguer lesinventions
revendiques
parchaeunc
des nations civilises.
Il y aurait, cependant,
dans
le domaine
des
sciences
comme
dans
les autres,
ne serait ni
une
histoire
nationale
technique
des dcouvertes
mthodes
de travail
pour ne considrer
que
en effet, l'individualit
l'esprit. Ce qui constitue,
scientifique d'un peuple, ce n'est point le concours
de circonstances
le prequi lui a valu d'acqurir
tnicr telle ou telle connaissance,
mais ce sont les
en usage chez ce peuple, les
des inteHigences,
habitudes
et les tendances
le
et
pouvoir de divination
plus ou moins dvetopp
orient dans tel sens particulier,
l'idal enfin que
ses savants.
Plusieurs tudes intrespoursuivent
f-antesontt
cours des deroiresannes
pubtiesau
sur la pense scientifique
mais une
point de vue
veloppement
franaise considre ce
histoire complte du de'
decettepensenousfaitencoredfaut
.-=.=!=
<-
MA'~A'
A~~~JM~~Ot'~
Ce n'est
en s'attachant
& une
point, toutefois,
de savants,
si brillante soitphalange particulire
de commencer
elle, qu'il convient
l'enqute
gnrale dont nous avons plus haut indiqu
l'objet.
C'est en enet tout le cycle des productions
scientide passer en revue si
fiques qu'il sera ncessaire
l'on
les conceptions
fondamentales
dgager
et au dveloppequi ont prsid la constitution
ment des sciences. On devra donc ngtiger provisoirement
les diverses nuances
et oppositions
de
dtait duesaux personnatitsdiifrentes
des hommes
et
veut
des
nations
strictement
aux
pour s'en tenir
grandes lignes. Sur quelles questions sera-t-on des
lors condait fixer spcialement
son attention ?
Afin de pouvoir
entrer
dans quelques
dtails,
nous limiterons
dornavant
nos remarques
aux
sciences mathmatiques,
sans d'ailleurs
perdre de
vue que ce que nous dirons
des Mathmatiques
sera vrai aussi probablement
de la partie thorique
des autres sciences.
nous cherchons
esquisser le plan
L'histoire.dont
fera peu de cas, nous l'avons dit, des dcouvertes
elle se proposera
isoles, dtaches de leur milieu
comme but principal d'tudier les grands courants
de la pense mathmatique,
en assignant
chaque
faitla place qui lui revient, non pas dansla science
telle qu'elle existe aujourd'hui,
mais bien dans la
science des savants qui ont spcialement
tudi ce
fait et qui lui ont attribu un rle
important.
Ainsi, le premier
A propos
r~~j.
DES ~T'T'/CM~'
-S-C~y~M
d'une
dcouverte
nouvelle consistera
rechercher
comment
cette dcouverte
a t amende et
quelle
est sa signification
par rapport aux recherches
auxquelles elle fait suite.
Voici, par exemple, le thorme de
Pythagore
~<tM un ~'MK~
le
carr
de l'hypott'ec~t~e
MMW
gal la MMWe
carrs
des deux
autres cts. Pour nous ce thorme
est le point
de dpart
d'une riche
srie d'autres
propositions concernant
les relations
mtriques
auxquels
satisfont
les divers lments
d'un trirectitignes
angle rectangle,
et, plus genratement,
d'un triMais
angle quelconque.
est-ce bien par cet aspect
dit de Pythagore
que le thorme
a'primitive*
ment frapp l'attention
des gomtres ? On a tout
lieu de croire que, loin
comme une
d'apparatre
ce thorme a tout d'abord
acquisition
avantageuse,
t la source de graves difficults et
qu'il a marque
l'chec plutt que l'closion
d'une thorie. C'est en
eSet toute la doctrine
vers laquelle
tendaient
les
premiers Pythagoriciens
doctrine supposant
une
harmonie
entre
les proprits
prtablie
des
nombres
entiers et les proprits
des figures gomtriques
que le nouveau
thorme
jetait
bas
car il montrait
que la considration
d'une
aussi
figure
simple que l'est un triangle rectangle
isosccte (dont le ct est
pris pour unit) introduit
immdiatement
dans nos calculs une
ingrandeur
la )'aftt<e c<tt't'ee de deux
commensurable,
( t ).
()) L'h)po~))Utedu triangle. dont la longueur est ~ejty'.
-i4-
LA MW~
JM~y~Af~r~M
~'M~
SCIENTIFIQUE D~
jtf~w~~Mc~~
==
~.v.~
M~r~y/ot'B
de la mme
les
attentivement
Non
poque.
inventions
seulement
voisines
on relvera
ou quivasimultan-
entre
comparaison
que nous tabtissonsaprescoup
ces tudes peut alors mus aider retrouver
t'orientation
commune
des spculations
qui leur ont
j donn naissance.
j
Considrons,
la priode
par exemple,
pendant
les progrs de la gomtrie
anapost-cartsienne,
d'une part, et d'autre
part le dvctoppetytique
ment du calcul des sries institu
et
par Newton
Leibniz. uvres indpendantes,
tout
pensera-t-on
? d'abord,
dont
t'une
se
& la pense
de
le dos au
Descartes, tandis que l'autre,
tournant
pass, ouvre la science des voies toutes nouvelles
les principes
du calcul infinitsimal
et
en posant
de l'Analyse moderne.
Pareille manire de voir ne
rsiste
L~
pas, cependant,
rattache
un examen
attentif.
Si,en
~17==
Bo~TMM.
tout en poursuivant
t'tude histodes thories
on rcscientifiques,
rique objective
chemin faisant, f'u'cstcs
cueillera soigneusement,
indications
tes ameurs sur
q'<e laissent
chapper
durables
ou passagres,
sur
leurs proccupations
~l<=
LA MMMj~ M~T~r/M
leurs
espoirs,
sur
leurs
doutes,
sur
les rgies
de
esprits gnralisateurs
qui se sont plu regarder
loin devant eux et se reprsenter
t'avenir
de la
Tel fut Descartes,
science.
tel fut Leibniz,
tel
Galois, et d'autres aussi qui, sans tre des savants
de premier plan, peuvent nanmoins
rnter
avec
exactitude
de vastes thories
et
Tts ont t Fermat,
sont peu communicatifs,
-i<=
~V~j~
D'une
.yc~V'r~'
MA- .M.<r~~J77C/F~~
manire
it sera toujours
gnrate,
de savoir dans quelles circonstances
fort
intressant
et
quelle occasion les problmes
de la
marquants
science
se sont prsents l'esprit
du chercheur.
On regardera
donc toujours comment
ces pro*
btmes
sont introduits
dans tes crits o ils sont
et par quels arguments
tudis,
leur utilit et leur
intrt
sont expliques. On prtera galement attention aux disputes,
aux controverses,
aux rivalits
entre
savants
qui ont fait natre,
prcisment,
tant de questions
et qui sont si propres
nouvelles,
clairer certaines
faces importantes
de la pense
des thoAinsi, en Grce, l'opposition
scientifique.
riciens
et des praticiens
nous fournit
une donne
fondamentale
sur l'idal de ta science
hellnique.
Les discussions
eu
lieu sur le calcul dess
qui ont
sur )<:s relations des Mathmatiques
probab))itcs,
et de la Mcanique,
sur l'infini et le continu,
nous
de mme des renseignements
apportent
sur la science moderne.
prcieux
La mthode
l'tude
saurait,
cde, tre
au contraire,
comme nouvctte
elle est,
regarde
fort rpandue de nos jours dans tous
tes domaineso pntre l'historien
c'e''t
tamthode
ou philosophique,
et l'histoire
telle que
critique
nous l'avons dcrite rentre videmment
dans t'ensemble d'tudes auquel on donne le nom d* < histoire
des soences
philosophique
~M-
LA f~V~'B
.K~r~M~~m
de l que tes
pas conclure
questions
plus haut soient naturelleavec tesment ties aux problmes
philosophiques
de nombreux
que)se)[es se rencontrent dans l'esprit
sur la science que nous
Les conceptions
penseurs.
ont sans
voudrions
voir dgages
par l'historien
des conceptions
doute
le plus souvent
su~grt
soit leurs auteurs
mmes, soit
philosophiques,
ceux qui les ont regardes
du dehors. Mais, comme
t ne faut
pourtant
numres
nous
l'avons
indiRrente
aux doctrines
mtaphysiques.
il n'est pas ncesPour justifier cette assertion,
saire de procder
une tong'je tude. Nous avons
en effet ta bonne fortune de possder,
pour ce qui
historieo-philoregarde ta dfinition des problmes
une base d'apprciation
extrmement
sophiques,
&re et complte
dans te bel ouvrage
qu'a publi
rcemment
M. Lon Brun~/h~g
sur
tapes de
(t).
la philosophie MM/A~M~~W
attach montrer
M. Brunschvicgs'cst
thories
l'histoire
des
mathmatiques
doctrines
l'volution
des
d'expliquer
comment
perme:
philosoces thories
ont donntieu.Hy
y
phiques auxquelles
constante
entre les deux
a, pense-t-il, corrtation
ordres
de spculation,
se traduisant
important
chaque
progrs
immdiatement
technique
par un
f-DJ~
NMMMf/CPN
DES
nouveau
~y~JM~CJ~A'
mouvement philosophique.
Or il arrive
lisant l'expos de M. Brunschvicg
nous
qu'en
sur presque tous tes problmes qui y
sommes,
sont soulevs, pleinement d'accord avec l'auteur,
dont les arguments nous convainquent
et nanmoins nous constatons que la courbe d'volution
trace par M. Brunschvicg ditfre notablement,
quant au dessin gnral, de celle qu'il aurait ob*
tenue s'il s'tait plac au point de vue du pur
homme de science.
La ligne qui marque les tapes de la philosophie
offre un nombre
considrable
de
mathmatique
sinuosits et mme de discontinuits
brusques qu<
M. Brunschvicgmet
trs fortement en relief. Ainsi,
peine le platonisme a-t.i! donn, pour la premire fois une explication
ou du
complte
moins juge telle de la connaissance
et de la
vrit mathmatiques,
une
que dj se prsente
de la courbe
lecourant
coupure, unrebroussement
de la spculation
sur la science
philosophique
s'arrte soudainement,
pour repartir avec Aristote
dans une nouvelle direction qui l'carte des math.
et il faut attendre jusqu'au xva* sicle
mathiques
l'orientation
pour voir la philosophie
reprendre
que lui avait imprime Platon. Aprs les Cartsiens
Descartes,
Matebranche,
Spinoza
nouvelle coupure et non moins profonde
l'analyse
inanitsimate
relgue au second plan t'atgbre et la
et de ce grand vnement
gomtrie cartsiennes,
rsulte une rvolution complte de
mathmatique
la philosophie base scientifique.
Au cours de la
.=-
~~A'
priode
A~T~jM~y~~
contemporaine,
pareillement,
contronsderetnarquabtesdiscontinuites.
chvicg nous fait voir en effet comment
nous
r<n-
M. Brunst'arithm-
t'smcdeRenouvierettenominatismcdeHe)mho!tz
d'une part, le mouvement
dit < logistique
d'autre
la
doctrine
intuitioniste
part,
en troisime
lieu, se
font naturellement
suite en s'opposant.et
repondent t
aux di))rents
d'une
science qui 6vo)ue.
aspects
la philosophie
Jamais,
peut-tre,
mathmatique
n'a suivi une ligne aussi
anguleuse
que durant les
annes.
vingt dernires
Allons-nous
retrouver
le mme rythme,
tamctne
suite d'oscillations,
dans le chemin
parcouru
par
ta pense scientifique
pure, dgage de toute proccupation
philosophique
? Nous ne le croyons pas.
Au contraire,
il nous semble
que tes oppositions
les
plus importantes
le philosophe
dis.
pour
paraissent
parfois presque
aux yeux
compltement
de l'homme
de science.
une rapide revue
par exempte,
des Grecs nous amnera
mathmatique
conclure
est impossible
de
qu'il
Ainsi,
de t'ceuvre
plus loin
tracer
des
et qu'on ne
de cette uvre,
coupures dansl'histoire
saurait y distinguer
des thories
ou des nithodes
de conceptions
procdant
Cornue
divergentes.
Paul Tannery
et Gaston Mithaud,
nous croyons
l'unit de physionomie
de ta science
grecque.
Pareittetnent,
l'tude
attentive
du mouvement
du xvtusic'cle
nous conduira
mathmatique
abandonner l'opinion
assez rpandue
d'aprs
la.
du calcul
quelle la cration
infinitsimal
aurait
~33
~D~
~.n'/yAu~y/c~'A'~
.sc~vy/f/<
constitu
une rvolution
H nous apscientifique.
paratra que, malgr les diffrences
qui les sparent
en tant que philosophes,
Descartes
et Leibniz,
hommes de science,
sont mus par des aspirations
et des conceptions
assez semblables
ils appartiennent la mme famille mathmatique.
Enfin, si nous observons les :ni)ieu)t scientifiques
o trouvons-nous
trace de ces dicontemporains,
visions et de ces discordes
qui agitent le camp des
sur les principes
de la
philosophes
spculant
science ? Interrogeons
l'un quelconque des mathmaticiens
vivants
il nous dira que, si les discussions philosophiques
de notre temps ont intress
le monde
influenc
,j
1
j
)
ceptions.
aussitt
se retrouvent
tique ou de l'intuitionisme,
d'accord
ou d'interprter
lorsqu'il sagit d'ef!'eetuer
une recherche technique.
Ces exemples
lgre diffrence
suffisent montrer
comment
une
de point de vue peut transformer
les rsultats
d'une enqute surl'hisprofondement
toire des thories
La reconstitution
scientifiques.
faite par M. Brunschvicg
est non seulehistorique
ment distincte
de celle que nous avions en vue
dans les pages prcdentes,
sur
mais elle conduit,
plusieurs
poss.
Les
points
raisons
des
importants,
de cette
rsultats
op-
ne sont peutdivergence
tre pas difficiles deviner. N~est-ce point t'intuctabte opposition
de la science
qui se fait et de la
c 'i
J~ f~Y~
<M~/Qf/
science
r/m
.yc~vy/f/<~
jM~M~~M~'/c/FA'~
le philosophe,
ce problme
ne
de lien direct avec la question
parat
que
nous voulons poser
celle de l'volution
des ides
des savants
sur la science
le proet, d'ailleurs,
blme
de l'invention
n'a jamais t spcialement
considr
on ne voit pas comment
il aurait pu
du
l'tre
point de vue proprement
historique.
M. Brunschvicg
Ainsi
laisse
de ct l'histoire
conclut ses rflexions
sur les
lorsqu'il
personnelles
racines
de la vrit mathmatique
en donnant
celle-ci
comme
fondement
l'activit
mme de
pose
d'ordinaire
pas avoir
te mouvement,
l'lan d'une
l'esprit,
intelligence
en progrs.
continuellement
Nous resterons
au
sur le terrain
et scientifique
contraire,
historique
si, fixant
notre
de t'uvre
regard sur la ralisation
nous nous demandons
comment
et
mathmatique,
dans quelles conditions
tes savants des divers ges
sont parvenus
orienter les progrs de cette activit
intellectuelle
dont parle justement M. Brunschvicg.
Ces
remarques
taient
ncessaires
bien
pour
montrer
seront le point de vue, les caracquels
tres et le domaine propre de l'histoire
des sciences,
aux problmes
applique
que nous avons indiqus.
Mais dira-t-on,
l'histoire
ainsi comprise,
la po~
sdons-nous
dj, a-t-elle t crite en tout ou en
parat pas, vrai dire,
qu'aucune
ait t faite pour isoler systmatiquement
!es questions
cette histoire.
Nous
qui intressent
partie?
tentative
trouvons
des
Il
ne
LA ~Mj~
~~y~M~T7QM
d'indications
ses grandes
travers
les ges, les
directrices
des
conceptions
nous voyons se dessiner
mathmaticiens,
une
courbe
d'volution
dont
la figure gnrale
est
extrmement
simple. Trois
grandes
divisions,
ressortent
seulement,
dans cette vue d'ensemble,
trois grandes vaguesdont
le soutvcmentphncipat
se produit aux trois
de
poques les plus marquantes
l'histoire
des
la grande
mathmatiques
poque
de la science
la fin du xvn" sicle,
hellnique,
l'poque
contemporaine.
Ainsi nous serons tout d'abord amens
a nous
demander quels sont les caractres
par o se sont
ces trois mouvements
distingus
de pense.
En ce qui concerne les deux
premires poques
il suffira,
les
caractriser
pour
des
d'interprter
faits historiques
travail qui serait relative.
connus
ment ais si ces faits ne se trouvaient
tre trop
nous en viendrons,
Quand
par contre, & la priode contemporaine,
notre embarras
sera plus
car les historiens,
graud
ne disposant pas d'un
=27-
j(,iJL
recul
ne
suffisant,
finir
avec
notre
encore
pas
et
courants
et
les
divisent
les
milieux
des
ides
des
gards,
et
agitent
sont
prcision
multiples
& classer
& dc-
parvenus
les
impartialement
tendances
diverses
qui
de
mathmatiques
poque.
si l'histoire
Mais,
rcentes
est,
n'est-ce
pas,
bien
en
l'clairer
sur
de
ses
C'est
son
cette
hsiter
formuler,
ments
qu'elle
qu'elle
nous
Dans
un
nous
paratra
la plus
rle
propre
dont
de services
comme
peut,
recherches
pourquoi,
actuellement
le plus
elle
les
scientifiques
celle
revanche,
rendre
si
science,
cours
de
susceptible
de
D~ JM~'y/CY~
.K.7/:W'
et
nous
l'aider
plus
incertaine,
t'lude
est
l'homme
le croyons,
le
diriger
?
quoique
imparfaite
nous
ne
devons
attendre,
plus
et dgager
tes
histoire,
sans
suggre
que
comporter
les
soit
pas
jugeleons
(t).
'm~MPft'MC~ Jt ~Ma~<
<~<, of/w<' /jt't
f<crt'~M< (2 vol., H~rmann diteur,
t~
et t~fQ) j'ai cherch t donner un aperu des
thories
principales
constituent
les
fondements
des
qui
Mathmatiques
pures et j'a i
et
class
ces
thories
de
manire
A
mettre en vidence les
group
trois phases de la pense
dont i) va tre question
mathmatique
dans tes pages suivantes. Ayant ainsi donn ailleurs une sorte d'illustr.ttion
technique de la thorie
historique que je me propose de
cette fois d'entrer dans des longs d-hefoutenir,
je me dispenserai
loppemen-.s mathmatiques.
Quelques
parties des chapitres qui
forment le prient
ouvrageont
dj figur dans des artic)es.pub)ies,
de !90t tftx,
dans la Revue de ~<<t~~t
Morale et
dans la /?<<'M/<<di ~MM~f) (~Mtt<M).
(t)
ouvrage
intitul
=2~~
t)
p
T
t
j[
t
CHAPITRE
LA
PREMIER
CONCEPTION
DES
HELLNIQUE
MATHMATIQUES (!)
~M."
mis ptofx
les
L. Bruttsehvkg.
r/D~
~c/~vr/M~pF
B~
.M~M~~y/c/B~
inventions
(t). Cette suspicion,
qu'ils s'attribuaient
son tour, iut renverse par les progrs ultrieurs de
le caracl'histoire.
Depuis Paul Tannery notamment,
tre franchement original de la mathmatique
grecque
ne parat plus devoir tre misen doute. Ira-t-on pourtant
jusqu' admettre que celle-ci soit pour ainsi dire sortie
'du
nant, et quitte ne doive rien aux mthodes de
mesure et de calcul qu'enseignaient
les arithmuckns
et les gomtres orientaux ? Paul Tannery
(2) et Gaston Milhaud (3) n'taient pas loigns, il y a quelque
vingt ans, de penser ainsi. Mais d'autres critiques, partant du principe que < rien ne sort de rien , contestent
cette manire de voir et se refusent croire au < miracle grec e (~j. M. Lon Brunschvicg (5). d'autre part,
raisonnant
ici en philosophe ptutt qu'en historien
voudrait
rhabiliter l'oeuvre des calculateurs
gyptiens, laquelle, dit-il, les crateurs de la mathmatique
grecque ont refus le nom de science parce qu'ils liaient
l'ide d'arithmtique
au ratisme pythagoricien,
mais
ou d}, pourtant, l'on peut discerner tous les ressorts
M''?M 0~('<
de lu MffMM~~Mf.t~),
(t) G. MithMf). ~f0t!
A'0M</M
<'<Mf~
m''
la ~M:<'< KMttt'~Mt',
p. 6~ et suiv.
t~U, p, 4!
etsuiv.(F.A)e-)t);.
A. Riv.tuj.P<!t<)TM'M~,
~/<'n<)< </< la M'<Mf<<'W~,
(t)Cf.
~<
mars !c)!
tputi. n''.
Mt~A~tM,
p, t8<i.
Cf.
Milhaud.
notamment,
~fottt sur les cf~t'M~ A la tt
(;)
Dans ses A'~t'<
~;/<'t JM~- / /'<'HM scientifique,
~M,
!8~
en t<)tt,
Gaston
tenant
de tMMux
Milhaud.
publi.:s
contp:e
a
r~MOt'. sur la {~om~rie
attnu
t:t thse
hindoue,
f~r-meot
en t~
qu'it soutenait
La w)M M)<~<TM to't /M< actM~, p. 4.
(,t) Cf. E. Picard.
un article de E. KarpinsM.OnjfOKs
f< ff/tv~otfM)
Cf. galement.
a~ u,i ~W);/M, Bo!o~t:e, )~)~, 8.
</<-~~M,
($) Ct. L. Brunschvicg.
<~
/'M<Mo/'& wa/~wo/~Mt',
Chapitre
JL
-:sc:-
t~ CO~VCBfMO~r NEJL/Q)7~
intellectuels
qui aractriseront
mathmatique.
Quelque opinion que l'on ait sur les mrites et l'in.
tret de lu science orientale (t),on ne pourra point contester, cependant, qu'envisage du point de vue auquel
nous voulons nous placer, l'histoire de la pense mathmatique ne saurait commenceravant l'poque des grandes
dcouvertes hellniques. Les Egyptiens ont connu des
hits mathmatiques;
ils ont su manier des formules et
raisonner sur des figures gomtriques;
mais, poursuiautant
vant,
que nous en pouvons juger actuellement,
des fins utilitaires et pratiques, ils ne paraissent pas avoir
eu une conception distincte de la science thorique, un
ideat scientifique. Or peu nous importent les problmes
qui ont suscit, les sources d'o sont sortis, les grands
courants de la spculation mathmatique
ces courants
ne nous intressent qu' partir du moment o ils om
une direction, une orientation systmatiques.
Si la question des influences trangres subies par la
science grecque se trouve ainsi
pour le moment
carte du champ de notre tude, nous rencontrons en
revanche certaines difficults lorsque nous cherchons A
retracer la filiation des conceptions mathmatiques fondamentates l'intrieur mme du monde hellnique.
Si nous considrons
en effet,la matire de la Math"
muique grecque, nous sommes tout d'abord conlondus
diversit des questions qui y figup.ir l'extraordinaire
rent. C'est ainsi qu'A ct des uvres entirement acheves des grands arithmticiens et gomtres
grecs, nous
(<)~ous ne ptr~OMpas ici de la grande cole tt~hritte de
f'tnJe, qui A in-tubimM~wnt exerc une inHueMe sur t'<!tolution de la pense mathmatique,
nuis don! t'uvre est probable.
meM postrieure il t'~pMoui~meat de ).t science grecque (voir
infra, chapitre H).
-M==
/.VD~
-S<7RV77f/9<A'
BM~.n7/AV.t!7CV~~
La ac:ence
contemplative.
Nous avons rappel d~un mot, tout l'heure, t'opposition fondamentale qui parait sparer la conception he)'
ionique de la science et le point de vue des peuples
orientaux. Lesarithmticiens et les gomtres de t'Orient
ont t dirigs par des considrations utilitaires, et c'est
ta, selon Ptaton, une raison suffisante pour teur refuser
le nom d'aw~
/<<~/fHn'. Pythagore,
au contraire
remonta aux principes suprieurs et tudia les pro.
==32
=-
il~
LA ctwc~r/o~
~/?/p~
blmes abstraitement
:et par l'intelligence
et
pure
c'est pourquoi il fut, d'aprs Eudme
(t), le crateur de
la Gomtrie
(c'est--dire des Mathmatiques
pures),
dont il fit un enseignement libral. Ainsi, le
premier
trait distinctif de la
mathmatique grecque serait, d'aprs
ses auteurs, son caractre strictement
elle
spculatif
entend raisonner sur des notions pures, sur des essences
idales sans jamais s'abaisser la considration
des obsensibles.
jets
Quel est le sens de ces assertions, et que faut-il entendre par tes mo's essences
mathmatiques idales Il?
Une bonne partie de la
mtaphysique grecque a t construite prcisment en vue de
l'expliquer. Cependant, il
est probable que l'explication n'est venue
qu'aprs coup,
et l'on doit, par consquent, admettre
qu'elle n'tait
une
condition
pas
indispensable du dveloppement de la
pense mathmatique hellnique. En fait, le savant {;rec
avait un tel degr l'intuition instinctive du caractre
propre des notions mathmatiques
que point n'tait
besoin d'un systme
mtaphysique pour arrter sa con'
viction. Il lui a sufn. semble-t-il, d'examiner tes techet gomtriques de l'Orient
niques aHthmtiques
pour
taire, du mme coup, deux dcouvertes
que, d'une
ces
part,
techniques ne sont pas des sciences rationnelles,
mais qu'une science, d'autre part, se cache derrire elles.
Et il a compris que, mme en conservant la manire
gyptienne de mesurer et de calculer, on pouvait, sur
les mmes figures, avec les mmes
mots, dire des choses
toutes ditrentes.
Plus prcisment,
s'it est possible de regarder tes
et les figures gomtriques
expressions numriques
<!) Proclus. CoM)M<MM)'w,
&?. Teubner, p.65. C. Milhaud,
de
la
~M<Mc~M
f/om~-M
Gr~, p. 7~.
~33l!4I"ftI\lI~.
r~At~
D~.y .n'M<?.M.t7/c/M'~
NC/~wyw<)M
'1
g
t1
s
ii
i'
co.vr/rpr/o~
~~t~pr
VII.
~35
c=
t'/D~4/.
AC/~V/~M
Bt'M.<M~.U.t'/C/
Nous
au dis-
venons
!
g
i
1
M
(.'O~C~'/O~V 7/A'J!7(?t/A
prhension exacte et en dcouvrir les proprits ? Par
quel moyen, d'autre part, nous assurerons-nous
que tel
tre gomtrique,
dont certains raisonnements
nous font
entrevoir l'existence possible, existe rettcment ?
Il fallait. pour donner des basessolides, la gomtrie,
trouver un critre prcis permettant de discerner et de
circonscrire les notions qu'il est lgitime de faire entrer
dans cette science. Une autre raison, d'ailleurs, rendait
ncessaire
d'un tel cri:cre. On en avait
l'adoption
besoin pour canaliser le flot trop abondant de nos intuitions. En proclamant,
en effet, le caractre purement
intellectuel de la Science, on se heurtait immdiatement
un cueit si vraiment le dveloppement de la recherche
scientifique n'a d'autres bornes que celles de notre puissance d'invention,
la mathmatique.
Ktors, au lieu de
former un dince harmonieux et bien ordonn, ne va-telle pas se disperser, projeter des pous'es en tous sens,
et s'garer dans l'arbitraire ? Il y a ta. pour le savant
qui rflchit, une difficult troublante. Le mathmaticien
a conu l'avance une Science idale, aux conteurs bien
tracs, et voita qu' peine au travail il a l'impression
que son esprit dborde de tous ctes hors de ces contours. C'est pourquoi les Grecs se sont trouvs conduits
limiter volontairement
le champ de leurs explorations
Ils l'ont fait d'une manire ingnieute,
mathmatiques.
sans doute, mais beaucoup trop troite au gr des gomtres modernes.
Le critre gnralement
utilis par les Grecs pour
distinguer les notions qui seront admises en gomtrie
leur iat fournit par la thorie de tanM~M/Mtt. Peut-tre
n'est-il pas inutile de rappeler les grandes lignes de cette
thorie, ou nous trouvons une excellente illustration des
de la
principes qui dirigeaient la pense mathmatique
Grce.
t=!=t
i'~AM
DES
SCIENTIFIQUE
MATHMATICIENS
que la construction
de faire observer
Qu'est-ce
besoin
peine
rien
de commun
avec
la
gomtrique
? It est A
cette
n'a
que
opration
construction
concrte
tette
que la pratiquaient
tes arpenteurs
rationnelle,
qui doit
opration
vrifier
t'~ffMa:
raisonne
simple
la figure,
(i).
consiste
admettrons
savons,
indennie
en
frence
dont
toutes
dont
veut,
parler
comme
sont
ou
connat
le centre
un
et
langage
une
et de
sur
on
tesqueUes
le moyen
le plus
construire
enectivement
figures
ce but.
un
si
procd
l'on
savait
un
fait d'intuition
circonstances,
donnes
C'est
d'tablir
permettre
dlinir
ptutot
de la construire
Nous
pour
videmment
de
ou
~n~ra~
dessiner.
l'on
thorique
Pour
atteindre
de l'Orient.
tracer
que nous
une
droite
et une
points,
le centre
et un point
te rayon;.
Cela
revient
que
parfaitement
deux
matriel,
qui
thorique
nous
circonsi
(ou,
dire,
savons
en
de gomtrie,
(<) Dans les traits didactiques
cette notion de
t' existcnce
des figures prend une iijjuiticittion technique
extMmemtm
prcise. foute tigutu nouvtHe doit, en etiet. tre introduite
p.)rm)c~Mf<t'<)'<,ce~
a-diftjp.tr
i'enontedetproprietctsp~if~ucs
dont elle jouit. Or une t~e dfinition n'est e~dentment
lgitime
les
si
A
la
nouvetfe
que
proprits assignes
figure sont compatibles
entre elles, peuvent
u~i~ter simultanment.
S'il en tait autrement,
la cgute intfoduitt: par la dfinition serait une
impossibilit
togique
elle n'
e.tistct:m pas Aimi.
par exemple, !t je proposais d'apun triangle dont deux angles sont
pter <' triangle bircct.tngte
d<:fitiMis
une figure inexistante,
drots, je
car, tant donn que les
trois angles d'un tri.tngit: ~ue.conque
ont pour !0tnme deux droite,
il est impossible que ~<M de ces .n~)e;soit!tt
respectivement
gaux
un droit. 11 suit ncessairement
de t~ que toute dfinition
doit
tre con'pMtee par une di:.cus!ion, tablissant i'exi5tence de la chose
dfinie, c'e~t-a-dire la compatibilit des d'iterente! propositions
contenues dans la dfinition, routefuis
cette '))terpf<it!)t:ot)
logique du
.<
de
l'
existence
ne peut-~re
donne que lorsque t'ou
probteme
se rfre i'itppareit dettMnstMtif d<: i:t Science, dont pour ie moment
nom tMM<tot;<)M de tftitt abstraction,
<-?-
tj
e
t
LA C(MVC~70~ ~tY.&V/tA'
!j
.M-
CM J~V~~77C/
Pour
sortir d'embarras,
le ptt:s simple et t
p'tisqu'aussi bien tous les devins &ont des projectionsde faire une tude
systmatique de h ~'oy'ft-~tM on
aurait ainsi appris remplacer une construction stromtrique quelconque par une co:)s'ruction strictement
quivatente en'ectue dans le phm.
Mais ja mthode des projections n'a t constitue.
sous le nom de Gomitrie
~fwn/<
qu'u dbut du
Xtx" sicle. Les gomtres anciens,
qui nc disposait nt
pas de eet instrument,
se truuvcrent
donc rduits
a
admettre
priori la lgitimit d& constructions correspondant dans t'espace aux constructions
faites sur le
coostruc'ion
plan avec la rgle et le compas
d'un
d'une droite ou d'un c-rctc de l'csplan, construction
pace, et aussi construction des corps r '):ds, f-)'/o:i/n',
c~M, ~~(t).
qui sont engendrs rc pectivurent
par
la rvolution d'un rectangle, d'un
trinn'c, d'un cercle,
autour d'un axe rectiligne.
Observons ici que, du mme
coup, )a gomtrie
plane se trouvait indirectement enrichie d'un chapitre
nouveau.
En effet, en coupant par un plan la surface
d'un c.:e ou cylindre, nous pouvons obtenir une srie
de courbes planes remarquabtes
tes sectons coniques
ne
nous aurait pas t possible de construire
qu'il
par la droite et le cercle si nous tions )'Ms dans le
plan.
par rapport la mesure des corps suivant leur longueur, largeur
et profondeur, convient moins t des hommes qu' de cupides ani.
maux j'en ai rougi non seulement pour moi-mttM. mais pour
tous les Grecs J. La prote-station
de Phton porta ses fruits. car du
vivant mme du philosophe,les basesdela sr<ome<i<:turent enfin
sotidement lablies gr~e aux travaux d'Archytas et d'Eure.
(!) Les Grecs tudirent aussi, occasionnellement, qt)c!~ue5
autres figures solidestelle que tg tore (cf. l'tude cite dans la note
MtVMte).
ea 40*=
LA CONCEPTION ~~J!<?~F
aux gomtres, un vaste
les
champ d'investigations,
comprenant probablement
rgions de la science qui oH'rent la plus riche moisson
mais dont les frontires, assurde beaux thormes,
artificielles. Ne peut-on
ment, taient extrmement
concevoir, en effet, de nombreuses courbes gomtriques
planes. autres que le cerc!e et tes sections coniques, qui
ne sont pas moins susceptibles d'tre l'objet d'une tude
grecs euxrigoureuse ? Les gomtres
spculative
bien plusieurs de ces courbes,
mmes connaissaient
auxquelles ils avaient t conduits par la recherche
des lieux ~m~n'~M~ (t).
l'enlieu gomtrique
On sait que l'on appelle
semble des points du plan ou de l'espace qui jouissent
d'une proprit commune. En gomtrie plane, le lieu
gomtrique peut tre une droite, un cercle ou une section conique, mais ce peut"tre aussi une autre courbe.
qui se trouve alors dnnie par la proprit mCme dont
v. ou
jouit l'ensemble de ses points. C'est ainsi qu'au
)V sicle av. J.-C., Hippias dfinit la courbe appele
dfinit la
<j~tK~nf<. Au me ou u sicle, Nicomde
L'allure gnrale de ces
<-t)McM~ et Diocls la cwc~.
mais pouvait-on,
courbes tait facile dterminer
cependant, regarder leur dfinition comme compote h?
Pouvaient-elles lgitimement prendre place dans fa Gomtrie ? Comme s'ils craignaient de porter atteinte
la puret de cette dernire, les Grecs hsitent ouvrir
aux courbes nouvelles la porte du sanctuaire, et ils prfrent les placer en marge de la Science. Ces courbes
ou/t''~
seront poureux, d'ordinaires des
-M!,
Ainsi se trouvait
ouvert
f(wh~
(!) Cf. P. 't'Mnen'. l'our Mtf/o)'r< h~tM <M~m
~'M r<M<~M)h',
apud M/mm~ M<M<<)! dit H<:ib<rg-X<;u(htt),
tome U.
,=u==
~D~tt
~C/VT/f/~<7C
~~A' M/t7V/<y/C/A'
1j
yr
CUA'C~'/Mf
~A'/UB
JL'/jM~t
~c/~y/~ppjr
examinons
la nature
tache rsoudre.
DES ~~t~r/c/M~
des problmes que celui-ci
s'at-
7~
COA'C't/''~V
/i't;B
apud
MO~Z
DES A~T'~M~'f/C/~JV.?
.?C/~7Vf/!~
CM.
~oKf
d'apr&.
<to)')'<
te: <o
f)<
~'Mtc<' /~MtH<,
y'M~'M't)~
d':
J.nobHque,
p.
;86.
!fr)!&M'f)~
t/M<M'<'<<
M< = ut
tf,
la t)~-
-= 0 x t'. la M<M<~<'
A.<fa X &=X ta + b).
i
'i
~CO.'vrW77f).V~M/j~v/QM'
leurs diviseurs (relations
qui conduisent a
nition des,(~Mpm~
/'<<<}
t'afnnit des
Mt't (2).
Si l'on rapproche d'autre part le monde des
arithmtiques de celui des figures gomtriques
se manifester entre les deux mondes d'intimes
la dfi.
Mom~
nombres
on voit
et bien
remarquables
correspondances.
Reprsentant les nombres, la manire pythagoricienne.
par des files de
points, on constate, par exemple, que la somme de M
nombres conscutifs commenant par t est un <fM~A',
que la somme de M nombres impairs conscutifs commenant par t est un carr, que ta somme des t<premiers
termes d'une progression
de raison
arithmtique
i de su'te.
commenant par !,est un ~M/~Mc; etain'i
et la G'jrnetrie
ainsi que J'ailleurs
L'Arithmtique
).t Musique et l'Astronomie
s'entretient
mervcittcuet. en se proposant comme but l'tude de leurs
sement
relations, le savant est sr d'tre sur la pi~te de prcieuses dcouvertes. La foi robuste qu'avaient les gomtres pythagoriciens
dans t'turmonieuse
unit de la
certain de sa perfection
ne saurait tre
sciencesigne
mieux prouve que par la stupeur o ils taient plongs
lorsque cette unit se trouvait remise en question. Ainsi
la constatation de l'existence de longueurs incommensurables dans les figures tes plus simples leur r\')a une
discordance insouponne entre les notions de nombre
et de grandeur gomtrique. Or, s'il faut en croire un
(<) Un nombre /w/io< et un nombre <'g))A la somme de ses
divi!tur~;
ainsi
28 =! t +
4 +
7 +
).(.
()~ Deux nombres o'))f: son deux nctnbt' dont chitcuti gale
)Asomme des diviseurs de l'autre; ainsi ~.) et
car
2M 0: ) 1 + 2 +
~4 = t +
+ 4 + + 'o +
=47-
4 i-
yf
).)i,
1 + M + ~tt + 44 + }; + )o.
~7)~K'f77M9~
DES .M~//F.M~y/C~F~~
/.j
CM'r~yyo.v
//7:7//A/~f
beaut
~B~
SCIENTIFIQUE
DES JM~y~jM~MC/F~'
de mdrite, le ntathmaucien
doit toujours rechercher
ce qui lui p.tra!t simple et harmonieux, on devine tci.
lement dans quel esprit et d'aprs quels principes ce
savant accomplira son travail de recherche.
Le gomtre grec, en rgle gnrate, ne vise pas la
difficult. Il n'entre pas dans son dessein de se tourmenter l'esprit, d'user de ruses et de dtours pour parvenir
la connaissance de iaits peu accessibles, dont la con)plication mme est un signe d'impuret. La dcouverte.
telle qu'il la conoit, doit s'accomplir sans enbft. Non
pas, bien entendu, que le savant grec se croie maitre de
sa spculation
et considre le moins du monde tes
comme une cration de son esprit. Mais
Mathmatiques
il rsulte de ses conceptions que seules mritent d'tre
tudies les proprits des nombres et des figures qui se
rvlent nous tacitement.
C'est donc trs justement que l'intuition,
par laquelle
nous atteignons les vrits mathmatiques,
est souvent
compare une vision de l'intelligence. Pour dcouvnr
les assemblages d'ides qui doivent tire l'objet de notre
science, il suffit notre esprit de f~dn~.
Si nous
n'apercevons
pas du premier coup tous les caractres et
toutes les proprits de ces assemblages, c'est parce que
nous ne sommes pas habitus A contempler directement
des ides. Nous sommes semblables un homme que
l'on extrairait brusquement d'un antre souterrain o il
aurait t longtemps retenu captit
< la lumire lui
blessera les yeux, et l'blouissement
qu'elle lui causera
l'empchera de discerner les objets B( t). Et,s'il nous arrive
parfois de commettre deserreurs, c'est parce que, n'ayant
nous
pas suffisamment exerc notre facult d'intuition,
avons notre vision obscurcie par certains prjugs. Ainsi
(t)P))H<M.J&j~M<VU.
a-50
<;MA'CM'/OA' ~JL/p[;
l'esclave ignorant
Platon met en scne dans le
que
M'MOM(t) p'avatt qu regarder en lui-mme pour troudu problme que lui
ver ia solution
posait Socrate
(constroire un carr double du carr dont !e ct a pour
longueur deux pieds) mais il commence par Mtromper
parce qu'avant trop vite, et n'ayant pas l'habitude de
il s'imagine <tsavoir ce qu'ti ne Mit
retenir,
paset rpond
avec contiance comme s'il t': savait a.
Cependant guid
ce
discrtement
mme
esclave arrive peu
par Socrate,
A peu, sans enort, sans heurt, sans -cuup, rsoudre
le problme pos.
correctement
Nous rapportons
ici le tmoignage de Maton sans
en tirer aucune conclusion mtaphyst~ue.
Nous n'avons
la thorie
de la
pas exposer
rminiscence, ni
examiner en quel sens il est permis de dire
que les
ides mathmatiques
prexistent dans notre me acNous citerchons
tion de t'intetHgence.
uniquement
dfinir l'attitude scientifique du gcm!)6tre du vu sicle
et sa conception de la dcouverte.
Et ii nous
apparait
se
cette
remuer
dans
conception peut
la cunctusion
que
le
savant
ne
cre
suivante
pas le tait; il n'a pas, par
contre, 9 se faire violence pour le conqurir
il M:borne
le constater et t enregistrer.
Platon a souvent compar une chasse ta recherche
des ides, st la recherche mathnjatttjue
en particulier.
La comparaison
est, en efkt. furt {u~e. A cu)!)t)on
toutefois que t'on prcis bien que) est te
{{cnrc de
chasse dont on veut patier. C'est ce que Platon fait
voir dans le ?M~<(;!).
JI y a, dit-il, deux sortes de
chasse. Supposons que nous soyons propritaires d'un
cobmbier.
Pour tirer parti de ce cotontbter, il tandra
(t) .W'teM,a\')-es de P)i<(on,tM(i.CoUHH.t.
Vt, p..7: n suiv.
'.t;
?'M~,
U:uvrM
j'tfttot),
'==<il~
tt.tti.
Cotbit).
H,
M..
.y<;7~V~7(~
~F~ JM~M~~?'/t.7~
d'abord
Les diffrents
aspects
grecque,
de la Mathmatiqae
,`
t
c
c
o
;<
e
t
a
c
t
/<
<<hY(.O.Y
/Av/~rA'
/j/yc/A'.YT'r/i-
/jA\s- .M.n/)r/c/y
M co~c~ptww
a~M~~M
Cf.
Xfuthtn.
Histoires
de <Mt)<A~Htff<~~~tt
<'<!Wt'/Mt7<,tMd.
J.Mt!<.)rt,p.7~etsuiv.
<M Grecs d~ti~nent d'ordinaire un
ft) P.)r Je mot
!)M)y!e e
non pas la solution d'un
procd de raisonnement
qui fournit,
m.tis
J~monstr~'inn
d'mK
-.o~ution.
C'ett t'anttyse que
problme.
VMte. au xvt< sicle, a qu.t)i)Me de /'tVtf<~M< Les Grt($ ont ~.t)em<:t)t pratiqu
et qui a pour
)'!tn.t)yM que Vi&teappeUe~&t~t
-55-=
/t/S(7/i-.V77/'A~
~f,!
<M.-)?/f~<C/tA\!
Ainsi entermedaus
un cadre rigide, tenue en laisse
djns toutes ses dmarches, la science, telle que t'avaient
conue les premiers gomtres grecs, et qui paraissait
ne dpendre que du libre jeu de l'intuition,
ne va-t-eite
de caractre ? On pourrait le
pas changer profondment
croire premire vue, surtout si t'on envisage la pense scientifique dans ses rapports avec Lt phitosophie.
Il est incontestable, en effet, qu'avec M. Brunschvicg (t),
il faut voir dans ravnement
de l'aristotlisme,
suivant
ta chute du platonisme, un changement de front complet
et, sous certains rapports, un arrt de la spculation philosophique base scientifique. N'est-il pas alors naturel
d'admettre
a pu
qu' cette rvolution
philosophique
correspondre une coupure dans i'evotution de la science?i
Et n'y a-t-it pas lieu d'tablir une distinction
radicale
entre drux priodes successivement traverses par cette
et platonicienne,
dernire, la priode pythagoricienne
la priode euclidienne et post-euclidienne
?
Quelque sduisante que soit cette manire de voir.
il ne nous parait pas qu'ette soit justine par l'histoire.
L'unit
de l'oeuvre mathmatique
des Grecs a t,
dmontre parpaul Tannery (2) lorsqu'ilil
croyons-nous,
a reconnu que presque toutes les voies importantes o
tes mathnMticiens postri:Mrs Aristote
s'engagrent
leur avaient t ouvertes au temps de Pythagore,
de
d'un proMetMe.
objet ix recherche proprement dite de la solution
Cf. tes lotion!
de Paul Titonery,
historiques
~pud Jotes Tannerv,
A'off'ot!
et
suiv.
~y
)t)f)<~mMf)'}K< p.
/~t
h ~M/o~t'<
()) L. Brunschvicg,
fM/'if
HM<MM<<~<
M
suiv.
p. yt
P. Tannery.
la Cf'e)M/<n< ;c'r~M<. p.
(<) Vuir notamment
suiv. Cf. Ki~ud.
/'<tM~ '~MM~y, ~o~M
</<!/ K~Mf< <M<M< apud
mars
t~);.
~~tt~wf<f!t)'t/
p. tSt-t8.).
.M=.
/.J
Platon
et
pas que
ces
f ~'('7W.Y
/Y/~f;~
d'Eudoxe
(t).
Et, si l'on
excepte
quelques
auteurs
comme
secondaires,
Diophante
qui sont des
on ne voit
calculateurs
(2) autant
que des thoriciens
avec
rompu
dcesseurs.
Le
part
trait
qu'une
antrieurs,
celui
de
l mme
savants,
tes traditions
et
d'Euclide,
on
ils
avec
le sait,
ou une
reproduction
<;t ic couronnement
n'est
de
pour
leurs
pr-
une
large
d'ouvrages
adaptation
de ce traite,
comme
la gomtrie
est
XU
la thorie
des
Platonicien
but
nnat
appeics
des
F~M<M~.
d'opide ses
platoni-
?.
Apollonius
fut Alexandrie
tel,
aient
innov,
l'idal
platonicienne,
du
livre
routiers,
polydres
objet
-
Euclide
crit Proctus
tait
(3)
aussi
s'est-il
comme
oion
propos
Eiments
la construction
des figures
ciennes
ont
hritier,
(m
lui
sicle
i. auteur
l'lve
de l'cvle
aussi,
des
du
Trait
des
euctidicnneet,
traditions
anciennes
fOM~HM,
comme
(.)).
)i
DES jM~r/r/c/
/<M/M~M~
Jemonstf.ttiom
auxquelles
ehcs
donnent
lieu,
et i! y bien
v i)-t-i)
()' t)K-frem~
en );ron)-~ric
qui
p!)r.))':nt
tt'.tbotJ
vident!
t(7/Y77~<
CM ~,t?7~.M.f77C/A'.?
la
limite et du dveloppement en srie,
passage
remonte sans doute aux Pythagoriciens et fut
applique
au V sicle au problme de la mesure du cercle; elle fut
dfinitivement
constitue par Eudoxe et ses disciples.
Or, si ces gomtres, remarquant
la puissance et l'lgance de la nouvette mthode y attachrent un grand
prix et en tudirent de trs prs le mcanisme, ils ne
pouvaient y voir cependant qu'un moyen accessoire.
()) Ce trait, rcemment retrouv, at publi eo ~07 (traduction franaisedtix
~fM ~'M<'f<t/<
Iiti sciences,novembreet
dcembre 1907).
(t) Cf. le dbut du trait de la 6'M~o<Kf<t<A)fM< (uvres.
trad. Peyrard,p. ;,t!t~.
(}) Cf. Mithtud le trait de la mthode d'Archimde, apud
~o~<t <'fM~jM)- fA~ot'n-de //M<'< ~f~'tf, p. )~ tt suiv.
~M==
~i <.OA'C~y7(/A' /7.JL&V7('f.
Comme la thorie arithmtique
des grandeurs irrationnettes, lecalcul par exhaustion a servi tout d'abord donner une base logique certaines notions intuitives. Archimde en fit en outre
et c'est par l, surtout, qu'il de
vance son temps et se rapproche des modernes un instrument de dcouverte, une mthode d'invention,
permettant non seulement de consotider, mais aussi de faire
progresser la science. Mais on ne saurait conclure de )~
qu'il ait voulu modifier le plan, changer l'idal de cette
dernire.
Convenons donc qu'il est impossible de dcouvrir une
solution de continuit (t) dans l'histoire de la pense
mathmatique grecque. Seulement il y a, nous l'avons
dit, deux moments bien distincts dans l'oeuvre scientifique, le moment de la conception, et le moment de la
~meM<fa<t'oa, et les savants des diverses coles attachent
l'un ou l'autre de ces
plus ou moins d'importance
moments.
Les Pythagoriciens tenaient pour le premier moment.
Il n'est pas certain, d'ailleurs, qu'ils aient, ds
t'origine,
sous forme didactique. Prienseign les Mathmatiques
mitivement les proprits des nombres et des figures
taient peut-tre regardes par eux comme autant de
secrets que les initis se transmettaient
les uns aux
autres, plutt que comme des objets d? dmonstration.
Platon (aitgiuement
le point de vue de
prdominer
t'intuitton et il a longuement
insist sur les raisons qui
nous empchent de construire
la science par voie de
synthse logique. Une telle construction
supposerait en
ettet que t'en pt dcomposer toutes les notions mathmathiques en lments simples. Or on n'y peut pas par(<) Les oMtMttMtMens pMt~ricurs au temps d'Arthimede et
d'Apollonius ont t surtout des <'wpi)ateur: tt 0) tic {turait
leur attribuerdes principes de rechercheoriginaux.
~6)==
~WA<yc~T-w~M
DES ~<<y~/c/y:A'~
/a6n:0w)r~f~n<
j).
~M~
) t).t,
?~
'1
LA cojvc~y/o~
N~M<?~~
(.) ~M~
/!.
(t) Speusippe (neveu de Platon) et Amphinome vicient au
tiMe, Gemious au t" tMde <v. J.-C.
(;) Cf. P. Tannery. La G)H<r<<j{'f~,p. t46.
=63-
r?~
~jTN~.u.t'~t'A~
A'c~'nf/oc'f
CONCEPTION ~M~~p~
rote auxiliaire. Mais les Grecs, ont vite
pris got cet'ee
mthode pour elle-mme,
et its en ont fait l'un de leurs
objets d'tude prfrs. C'est l le hit remarquable qui
domine l'histoire de la science
hellnique. De la ncessit o est l'homme d'exposer l'une
aprs l'autre les
au lieu deles embrasser toutes d'un
vritsgomtriques
mme coup d'ocU. les gomtres ont tir le
principe d'un
systme scientifique qui est, en tui.meme, l'un des plus
beaux monuments de la pense
scientifique.
Ce systme a trouv dans les J~m~
d'Euclide son
la
expression
Or, pour comprendre
plus complte.
exactement la signification de cet ouvrage, il
importe de
se bien rendre compte du double
objet qu'il poursuit.
Le terme d'~WH~
dit Paul
(~
Tannery
s'applique proprement ces thord'aprs Proctus
mes qui, dans toute ta'gomtrie,
sont primordiaux
et
de
principes
consquences,
qui s'appliquent
partout et
fournissent les dmonstrations
de relations en grand
nombre
Ainsi les ~wfM~
d'Euclide jouent la fois
le rle de fin et le rle de
moyen
puisqu'ils sont
destins faire connatre les thor~m~s essentiels
les
de la gomtrie
plus beaux
M~
(2), parce que tes
solutions toutes prpares qu'ib nous offrent sont les
instruments avec lesquels nous pourrons cf!cctucr la
dmonstration
de nouveaux
thormes.
Souci de la
beaut de l'objet et souci de la beaut de la dmonstration viennent ici se runir dans une mme uvre et
se,
une
aide
prtent
mutuelle.~
De nombreux Etemcnn
(t) La C/om()n'<!jf~K~ p. t~e.
avaient t composs en Grce avant ceux d'Kudide, notamment
les MmenMt.t'HippocMte de ChiM (vers .)ootv.
J.-C. aujourd'hui perdus.
(2) Ce secondrle tait galement remplipar un ouvmgc annexe,
tei~qui~fvaitdecompfmentitux~meuts.
~65~
~6$~
BeotMH.
r/B~
~M JM~T~Af~7'/C/
.!MMTMF/OM
la gomtrie euclidienne
s'est
sans doute a-t-elle t bien
est rste pendant deux mille
de l'humanit.
Nanmoms
tre reconnue et les gomtres
la dlaissrent pour s'engager dans d?s voies nouvelles.
Quelle fut donc la raison principale de ce dclin ? Il est
curieux de constater que c'est la perfection mme et
l'harmonie interne de cette ceuvre qui en ont probable.
ment caus la faiblesse et en ont dtermin la chute.
Il y .a certes une grande lgance vouloir, comme
Euctide, satisfaire du mme coup deux besoins dinrents
Mais quelle preuve avons-nous
de l'esprit mathmatique.
en
a priori que ce soit l chose possible ? La gomtrie,
tant quefin, est l'hritire de la science pythagoricienne
elle cherche noter les plus belles proprits des figures
les plus parfaites. Or sont-ce bien ces mmes proprits
en tant que moyoM, pour
qui rendront )e plus de service,
la dmonstration ? H serait fort souhaitable qu'il en ft
cette coincidence ne
toujours ainsi. Matheuretsement,
se produit pas. Et voil pourquoi l'admirable unit que
les Grecs avaient donne la science n'a pas pu tre
sauvegarde par les modernes. Pour passer des donnes
d'un problme la solution, il faut souvent recourir
des intermdiaires
qui ne sont point dignes d'occuper
eux-mmes une place dans l'difice de la science. Constructions artificielles, inharmonieuses, dpareilles, qui,
souvent mme, sont choquantes pour la raison et lui
paraissent absurdes au premier abord. C'est ainsi qu'
une technique a d se
ct de la science contemplative,
dvelopper, dont le but est strictement utilitaire, et qui
vise seulement accrotre par tous les moyens possibles
Or, d'une technique
la puissance de la dmonstration.
de ce genre, le penseur hettnique ne voulait aucun
=M='
LA cojvc~fr/o~
~M~Tvypj?
L'tude
mathmatique
des grandeurs
JMM~
SCIENTIFIQUE M~ .M~rN~~y/c/M~
cul, ou ~M<<
et l'art des mesures gomtriques,
ou
~M&M.
La logistique dit un scholie ancien
n'a aucun
avec l'arithmtique
rapport
parce qu' l'inverse de
celle-ci, elle traite des <~CM~a~
et nom des nombres.
<t Elle (t) ne considre pas ce qui est rellement le
mais suppose ce qui est un comme unit et ce
nombre,
qui est dnombraMe comme nombre.
Elle examine
donc, d'une part, ce qu'Archimde a appel le problme
des ~a'/!f, de l'autre, les nombres M~M et
les
y~M~,
uns sur des notes, les autres sur des
troupeaux (o pomb La logistique est ainsi t'hritiere directe de la
m~).
technique
arithmtique de l'Egyptien Ahmes (auteur du
plus ancien manuel de calcul connu) (2) o nous trouvons une t Rgle pour calculer un
champ wune <tRgle
sans que l'auteur essaye
pour calculer un fruitier rond
de ramener
l'unit des calculs qui diffrent seulement
par la nature du problme concret auquel ils sont appliqus.
Ce qui est remarquable, c'est
que, tout en la jugeant
indigne d'occuper l'esprit du vrai savant, les Grecs ne
semblent pas avoir condamn comme nous le ferbns,
Cette mthode d'exposition. Un trait
d'Arithmtique
qui
comme
des
prsenterait
rgles distinctes une mme rgle
de trois sous prtexte qu'elle est d'abord
applique un
mlange de grains, et ensuite un mlange de vins,
serait jug~ par nous dtestable car, tant donn notre
conception du rle du calcul, nous ne pouvons accepter
qu'une seule mthode d'enseignement
expostr la thode Platon, apud P. Taanery, La
(!) Scholio sur le Ct<)f)MM<
CMK<'<n<~n'<Mf,
p. 48.
Manuel
(z)
jn~o~ entre Moo et tyoo av. J., publi d'aprs le
du Muse': bf!t.)HMi~ue
~oy~Mt
par Eisentohr, efm MM<M't<M<)H'Md'~<fo~tt~~tM,
Leipzig, )877.
MUX
~WA'prw.v
~AAv/r~
<t
A'HM?~ ~c/~r/f/op~
DES w~w~~r/c/B~.s'
cration de l'algbre. Les Grecs. au contraire, se fermrent cette voie en sparant par une cloison etanche le
domaine de la rigueur thorique et celui des calculs
techniques.
Mais il y a plus
la Mathmatique
spculative des
Grecs ne se contentait pas de rpudier le calcul des grandeurs concrtes
elle paraissait condamner galement
tout un ordre de calculs, fondamental nos yeux, et qui
le calcul
pourtant a un caractre purement thorique
des grandeurs
gomtriques abstraites, considres en
dehors de toute reprsentation physique.
C'est l un fait qui a eu de graves consquences historiques et qu'il importe ds lors de bien mettre en vidence.
Les premiers mathmaticiens de la Grce n'avaient
pu manquer de dcou rir la parent si remarquable
qui
unit les proprit.. des nombres et celles des figures. Nous
avons vu que l'arithmtique de Pythagore est en grande
les
partie fonde sur cette dcouverte.
Reprsentant
nombres par des points atigns, Pythagore constate, par
exemple, que le produit d'un nombre par lui-mme est
figur par un carr, que la somme des premiers nombres
impairs peut tre figure par un triangle, etc. Il est ainsi
conduit concevoir une Mathmatique
o l'arithmtique et la gomtrie sont fondues l'une dans l'autre, et
c'est l sans doute ce que veut exprimer la clbre formule pythagoricienne
lorsqu'elle affirme que <t toutes
les choses sont nombres o. Mais, peine cette affirmation est-elle lance que surgit tout coup une grave
difficult, tenant l'existence des longueurs incommensurables.
Le nombre, essence idate, objet de l'arithmtique
thorique, est d'abord exclusivement le nombre entier.
-M~
CONCEPTION NM~W/PB
En utilisant la notion de rapport ttM~~<, et dfinissant la fraction comme le rapport de deux nombres
entiers, on tend sans grande pc-ine le champ de l'arithmtique l'ensemble du domaine
que nous appstons
a domaine des nombres rationnels ".Mais
aujourd'hui
J s'arrte Ja comprhension
de l'ide de quantit arithmtique. Il n'existe aucun procd permettant dednnir
par le calcul les quantits (dites a incommensurables
avec l'unit a ou, en langage moderne,
irrationnelles
)
ne
sont
de nombres entiers. Or
qui
pas des rapports
qu'arrive-t-it ? Ds ses premiers
pas, le gomtre qui a
commenc a tudier les relations
des figures avec les
nombres, se trouve en prsence de proprits auxquelles
il ne pourra appliquer sa mthode moins
de considrer
de telles quantits <tincommensurables
a. Devant ce tait
le triangle
troublant, dont le thorme de Pythagoresur
fournit
le plus simple (t), les
rectangle
l'exemple
L'difice de la science
Pythagoriciens restent confondus.
est branl. Comment va-t it tre possible de le reformer?
Il semble que, si cette difEcutt n'arrta pas longtemps
les progrs de la science, elle ne fut cependant jamais
rsolue par les Grecs d'une faon qui satisfit pleinement
leur esprit.
Il n'y avait en ralit que deux manires d'carter
la difHcutt sans rien abandonner
des possibilits qui
s'offraient la science. Ou bien, il fallait largir la
notion de nombre de faon tablir une concordance
absolue entre cette notion et celle de grandeur mesurable. Ou bien il fallait renoncer
l'unit que les
avaient voulu fairergner
dans )a science,
Pythagoriciens
et instituer, ct de l'arithmtique
proprement dite,
une tude quatifitative des grandeurs
gomtriques.
(<) Voir plus haut, p. 42.
=71=
J.
.K-/A'A'??~
D~
M~?V/n7C7M'.<'
La premire
solution est celle qui fut finalement
adopte. En t7t7,ChistianWot<d6nit!e
nombre (t):
< ce qui est rap~rt une unit comme un segment de
droite un autre segment i. En d'autres termes, il
ramne compltement
la notion de quantit celle de
de longueur.
faisant ainsi perdre au nombre entier la
situation privilgie qu'il avait occupe dans t'arithmtique classique. C'est l, on le comprend, une manire
de voir que ne pouvaient pas admettre les Mathmaticiens grecs; car l'arithmtique
des nombres entiers, qui
leur avait revl la science et qui donne lieu aux thories
les plus harmonieuses, devait toujours conserver une place
part dans leurs spculations, comme tant i'tude qui
nous rapproche le plus de l'ide pure du nombre.
La seconde solution ne soulevait pas les mmes objections. Pourtant les Grecs de la grande poque n'ont cru
pouvoir l'adopter qu'en partie, retenus, semble-t-il,
par
certains prjugs ou certains scrupules. Cherchons bien
,discerner sur ce point la nuance exacte de la pense het*
ionique, qui se trouve assez mah-ise dnnir en raison
de la pauvret du vocabulaire dont nous disposons.
Il
On a frquemment
parl du calcul gomtrique
de l' a algbre gomtrique
de la gomtrie calculante des Grecs. Toutes ces expressions, croyons-nous,
doivent tre interprtes
avec une grande prudence si
l'on veut viter les confusions et les anachronismes
aux*
quels on est expos en pareille matire.
Nous avons aujourd'hui
l'habitude de faire ressortir
fMttWM',Ha)!e, fy~. Certains historiens
(<) ~/<M<t<<!ma<&<K<'t
trouver
la
notion gnrale df nombre chez Jordanus
pensent
dj
de Nemore (au t;' si~te). Newton, d'autre part s'exprime ainsi
dans son ~<<~W<tM MMKWM/X
MMWfnfM
H~Mf/MtM
(f~O?)
e/MM
~tMMftMt'ffM/Mf/t
~'~M fW ~MM(tM<<m,
~Mtf f)fe
H<<a<<
jiN~f, n)<KMM<M
<'M<<<mM.
~M~
LA COATA'/OA'
M7.~A'/(/<
l'algbre l'ensemble des questions qui ont trait aux identits entre quantits ou combinaisons de quantits, et,
la recherche des inconnues dterplus paticuliremcnt,
mines par de telles identits. Or il n'est pas douteux
que nous trouvons dans la gomtrie grecque plusieurs
thories qui se rapportent cet ordre de questions. Mais
que sont exactement ces thories ?
La premire en date est la gomtrie des rectangles
et autres surtaees polygonales et la thorie de t'o/ca/MM.
La gomtrie des rectangles met en vidence certaines
relations quantitatives entre grandeurs
quivalant aux
identits fondamentales de notre algbre. Ainsi, par
2 a~ corres.
exemple, l'identit (a + b)' = a' -+pond une relation gomtrique relative la dcomposition d'un rectangle donn en quatre parties au moyen
de deux droites rectangulaires.
d'autre
.my,
part, un rectangle un segment donn, c'est, par dnnition, construire un rectangle ayant ce segment pour
l'un de ses cts, ou, plus gnralement,
dont l'un des
cts concide avec une partie du segment donn ou
avec ledit segment protong d'une certaine longueur.
Partant de cette dfinition, on peut se proposer de construire des rectangles qui soient apptiqns un segment
donn et satisfassent diverses conditions. De !A une
srie de problmes qui correspondent
exactement
aux
principaux types d'quations du second degr. Ces problmes et la tbori: qui leur sert de base sont exposs
tout au long dans les R'~MMM d'Euclide et on a lieu de
croire qu'ils constituaient d]& un chapitre fondamental
de la gomtrie pythagoricienne.
A une poque postrieure,
grce aux travaux de
i'cote d'Eudoxe principalement,
une thorie (t) des
se sert encore
(') Euclide, dans les premier! livres des 7:'fVMx'Hh,
de fit thorie de l'applicationpour rsoudre les principaux problmes
= 73
r/D~z.
DES Af~r~y/c/r~~
SCIENTIFIQUE
Fq.tatioa
20') a la construction de l'intersection
d.; deux paraboles.
Les diverses mthodes dont nous venons de
parler persans doute, aux savants hellniques
mettaient,
de traiter gomtriquement
certaines des questions
que nous
rsolvons aujourd'hui
par l'algbre, et voil pourquoi
on leur a donn le nom d'
des
algbre gomtrique
Grecs B. Mais, si cette dnomination
nous donne une
ide assez exacte du champ d'application des mthodes
en question, elle en exprime trs imparfaitement
l'esprit
et le point de vue. La thorie du
celle des
rectangle,
rapports et celle des intersections de coniques sont en
ralit des thories gomtriques,
fondes sur certaines
proprits des ~~.et qui ne font intervenir
la quantit
en qualit. Nulle
que pour la rsoudre immdiatement
part, dans ces thories, nous ne voyons apparaitre ta conception proprement
algbrique de la grandeur spatiale,
l'ide que cette grandeur et le nombre
arithmtique
au
mine
ordre de notions, et se prtent
appartiennent
quantitatifs de la gomtrie plane, et it n'expose qu'ensuite la
mthode des proportions. Certains historiens ont conclu de l
que
cette dernire mthode n'avait d entrer dans
courant
l'usage
que
peu de temps avant l'poque laquelle fut conu le plan des Eliments.
==74=
LA CONCEPTION ~M~JV/M
aux mmes calculs, se laissent combiner suivant les
meme5 rgles, purement quantitatives.
Considrons,
par exemple, un angle. Un angle est
une figure, mais c'est galement une grandeur qui possde lesprincipaux caractres des quantits numriques.
Ainsi, deux angles peuvent tre gaux tant donn
deux angles ingaux, t'an est ncessairement
plus grand
de
que l'autre; on peut faire la ~MM<' ou la <tM
deux angles; on peut MM/<Mr un angle par un nombre,
on peut partager un angle en deux, trois,
parties
c'est--dire
le
diviser
etc.
et
ainsi
de
gales,
par 2, 3.
suite. Ces divers caractres d'ailleurs,
nous pouvons les
poser a priori, sans avoir besoin d'effectuer les diverses
oprations dont ils expriment la possibilit. En d'autres
termes, ils ne rsultent pas, pour nous de constructions
ces cons"
gomtriques, mais ils rendent, au contraire,
trucHonsinutitcs, carits nous font connai tre que l'algbre
est applicable aux grandeurs dont il s'agit et que l'on
peut, par consquent, remplacer par des calculs numriques les oprations gomtriques auxquelles elles donnent lieu. Voil, du moins, comment ont raisonn plus
ou moins consciemment les crateurs de l'algbre moderne.
Tout autre est le point de vue auquel cherche se placer le thoricien grec
partir de l'poque platonicienne,
tout au moins) lorsqu'il tablit des rotations quantitatives
entre tes figures. A aucun moment il ne fait abstraction
de la forme de celles-ci et de leur situation dans l'espace.
Mais il ramne toutes les questions des problmes de
< construction t. S'agit-il,
par exemple, de diviser un
angle par 2 ? Il prendra sur les deux cts de l'angle,
partir du sommet deux longueurs gaies des extrmits de ces longueurs comme centres il dcrira deux
cercles de mme rayon enfin il joindra le point d'ine,7S==
/t/tr//iA'r/M~
M.yjt~w&M~w.s'
t
i
,tJ
LA c&Jvc~'yjro~ ~jEt~wopB
a t si lente
longtemps
l'identit
se dgager.
C'est
la tradition
a obscurci
la vision
des savants,
grecque
qui
en masquant
dnature
des oprations
relatives
aux nombres
et de celles qui concernent
et en impoles grandeurs,
de ces deux types
sant pour l'tude
l'usage
d'oprations,
de raisonnement
d'une
et de mthodes
terminologie
dinrentes.
C'est
ainsi
l'un
que Tartaglia,
des
plus
grands
alg-
~/~MW
ces deux
tandis
que
l'on
on devra
faut,
se
premier
s'H s'agit
conviendra
dire
de nombres
ans
Il
</H~<.
le
Pareillement,
parlera
Cinquante
mots
</<'<~
mtriques.
division,
et
plus
pour
dit-il,
dira
distinguer
des
nombres,
de grand
~ur& gode la
dsigner
l'opration
suivant
ou )K<H(f~
que
partire
et de grandeurs.
Vite
considre
tard,
encore
la
attribuer
aux
Grecs
une
dans
la
craportent
part prpondrante
tion Je J'algbre. Les conclusions
ne sont pas,
de M. Xeuthen
en contradiction
avec la thse que nous soutenons
croyons-nous,
ici. Pour M. Xcutheo,
le mot
un certain enalgbre
dsigne
semble de problmes
tandis que nous l'employons
termins,
ici,
et dans les pages qui suivront, pour designer,
avant tout, un point
de vue et une mthode. D'autre
M.
Xeuthen
est conduit 4
part,
situer tes origines grecques
de l'algbre,
non pas tant dans te;
oeuvres thoriques
des gomtres
hellnes,
que dans les calcrols
des logisticiens;
et it soutient que, si les travaux
des calculateurs
antrieurs
nous y trouve*
A PtMOO nous eMient tnieu): connus,
rions sans doute beaucoup J< rgles et de procdes mathmatiques
dont nous attribuons A tort t'invoxion
aux Arabes ou aux Hindous M. Xeuthen a Mm doute raison. M~is il reste vrai que, prcisment parce qu'tk tournent
le dos )a logistique,
les mathmaticiens theoticiens de la grande poque grecqne adoptent
un point
de vue qui les loigne de l'idal algbrique.
77 m
r/z
M~ jM~yp~~y/c~~
~(MA~~yj
CONCEPTION N~~jv~{/
Anciens, qu'il taxait d'insuffisance et de strilit. Jugement injuste certainement
car, si la science grecque
est insuffisante pour nous, elle se suffisait fort bien
elle-mme, et, si elle est devenue strile, ce ne fut
e de fcondit, tt est bien
qu'aprs une longue prio.
vrai, cependant, qu'e)!e portait en eile-n~me un g''rme
de mort, et que l'troitesse de son champ d'action,
l'exclusivisme de son point de vue, le caractre esthtique de ses proccupations, devaient fatalement l'arrter
un jour dans son dveloppement. Quelles sont les conceptions ou les tendances qui furent les causes immdiates de cet arrt et qui imprimrent
une direction
nouvelle la pense mathmatique ? C'est ce que nous
devons maintenant nous demander.
~:Sr
CHAPITRE
LA
Il
CONCEPTION
SYNTHTISTE
DES MATHMATIQUES
Des le commencement
de l're chrtienne,
le grand
courant intellectuel
qui avait donn naissance
la
Mathmatique
tait
hellnique
parvenu au terme de son
Sans
doute
parcours.
cette Mathmatique resta en hon.
neur et continua
tre cultive
pendant une longue
suite de sicles, dans le monde
antique d'abord, chez les
Arabes et chez les Occidentaux
ensuite. Mais son progrs s'tait arrt, et elle n'tait plus
gure que la ma.
tire tnerte d'un
d'cole. Pour susciter un
enseignement
mouvement de psnsee
originale, il fallut un fait nouveau.
Ce fait fut la cration de
l'algbre moderne. Pour en
bien comprendre
la porte il convient d'examiner avec
quelques dfaits dans quelles conditions est ne
l'algbre,
quels besoins et
tendances
quelles
elle rpondait,
dans quels milieux et dans
quel esprit elle se dveloppa
tout d'abord.
. Origines,
objet
Un savant
Bagdad,
de
et mthode
de l'algbre
Mohammed
())
Ben Musa-AI.
&0 =
j*
1
<
LA c'cwc~77(W
~y~T/y/~~
M
e
MJM~
~C/MW/M
PB~ M~r~M~NC~
i'
p
f~3~
<
[,
CONCEPTION ~y~y~r/~r~
signes ==, +, , x, etc., de t'arithmtique
<!mentaire (t).
En second tien, l'algbre oprera
coup sr parce
qu'elle rduit les calculs l'application de rgles fixes et
de formules donnes une fois pour toutes.
D'o viennent ces rgles et ces formules? Ce sont les
dfinitions mmes des oprations
fondaarithmtiques
mentales qui nous y conduiront.
Le calcul arithmtique n'est autre chose
que la combinaison de certains nombres suivant des lois dtermines. Cependant, lorsque pratiquement
nous avons
faire un calcul, nous oublions, dans notre h~te d'arriver
au rsultat, les nombres combins et la
faon dont ils
sont associs
l'difice n'est pas plus tt construit
que
nous perdons de vue l'agencement
des matriaux qut
nouj ont permis de l'obtenir; et, ainsi, !a rsolution
d'un problme ne nous est d'aucun profit
pour celle des
En analysant
problmes suivants.
cette faiblesse de
nous voyons comment il convient
l'arithmtique
d'y
remdier. Pourquoi ne ferinns-nous
pas, avant mme
de donner aux nombres sur
lesquels nous oprons des
valeurs dtermines, une tude tormelle et a
priori des
diffrentes combinaisons qu'engendrent nos
oprations ?
Nous savons que ces combinaisons
sont susceptibles
d'tre obtenues de p!usi:urs manires. Il serait ds lors
fort utile de savoir /M!m-<'quet)e
est, parmi les diff.
rentes formes d'une mme combinaison, celle
qui sera
le plus facile calculer.
D'ailleurs telle forme avantageuse dans un problme )R sera moins dans un autre.
1)'o t'intrt d'une tude
systmatique dterminant les
diverses ~i/tM'mo;M~
auxquelles se prtent les combi(<) Cessignes n'ont t cmp)oy~, pour la plupart, aua partir du
xv' ou X~' site)):.
-88~
r/&f~
-4f7M7/~r~
7)/
~~'~AM~'/C/M~
naisons d'oprations.
11 conviendra, en entre, de nous
mettra en mesure d'effectuer premire demande les
transfermations
utiles, en en dennismnt te mcanisme
par d /~w/c immdiatement
applicables.
Les premiers principes de t'Arithmtique nous four.
nissent dj, directement,
de tetiss formules de transformation
celles, par exempte, qui expriment les proAinsi les galits
prits des oprations fondamentales.
a x t = x
<==~<
a, etc., dnnissent des trans.
formations qui restent lgit 'mes ~<//M ~w soient les vales lettres a, b, ffta combinai.
/<t<~MMM<MM~'f<f~~
son a -)- b est toujours quivalente
la combinaison
x .etc.j.
~+a,!acombinaisona
ax & iacombinaison~
En associant ces galits nous obtiendrons de nouvelles
transfotmations
s'exprimant
par autant deformulesque
l'on appelle /ormH/t'~ algbriques B.
Ces premires formules
en simptieit,
premires
non en date,car on n'prouva point tout de suite le besoin
de les crire explicitement
ces premires formules
mettent en vidence les caractres fondamentaux que
nous retrouvons dans toutes les autres.Ainsi les formules
de l'algbre devront porter de prfrence sur des symboles qualitativementin
dtermins telsque les lettres de
l'alphabet (t). et c'est ainsi quelles fourniront t'avame
des rg)cs invariables, applicables a une infinit de questions autant de valeurs ditfrentes on donne aux lettres,
autant l'on a de problmes pour lesquels vaudra la mme
rgle. Autre caractre fondamental:
l'anatogiequel'atCe fut Victe qui, en <ta(t) Voir, fpenditnt, <;{/. p.88,nott
btissantune distinction :tth):uit)ue
totre la /('~Hf<t'M
MMMMwo
(ct)<u)t)um''tiquct et )a ~'M<tf<t ~wM.t(calcul portant!.ur des
Jettres), constitua l'algbre moJ<;me en sden<e autonome. [Cf.
le CoursMM<M<~Md'H~ngone, t. i), thts o tes deuxalgbres
sont appels ~<~<:tioijibreuseet <h~ <~At<'J.
-.84=*
LA coAfc~''/ojv
~M'y/~r~
T.A
BM Af~m~~MM~~
-!C~.VNf7M
\'i<te (~Wfg'Mt~OM.~Ma~MMMt
()) &M(yf<<!M'/<t<~<M'~<:<'Jit
<<'M<OM</a,
~tM<! w
p. p:) f<
jtp. Opera JM<M.. Leyde, )646,
<M<rftr< <w);i<:M ~Mf)t.
fini H~
t. Xl, tSyS, p. ty.
(9) CM par Rodet, /<~<M< M~"<,
-ae-
LA CONCEPTION ~y~yjvjSy7~M'
u celui-l, dit Brahmagoupta,
les savants (J) t.
-=<?-
/C~
-yc/MT/MPB
ta science
science
Au
tout
abstraite
D~r
~~m~MM~
et
et
primordiale
et concrte
applique
rebours
des savantsgrecs,
des calculateurs
(t).
non
les Hindous
Esprits
rendre
leurs
pas
furent
ils
pratiques,
thories
une
avant
ne
se
de
proccupaient
point
rigoureuses
et bettes.
Il n'y a pas, dans leurs
de thorie
traits,
scien proprement
mais
seulement
des rgles,
tifique
parler,
formules
en
Bhaskara
s'exprime
du faon,
tion,
ce
facile
claire,
Un
le
s Dis-moi
tion.
sur
vers
dis-moi
Et
ton,
un
ensemble
de rgles,
charmante
calcul,
de
douce,
correcte,
recettes
science
pour
d'habiles
algbristes
les
belle
dmonstfa-
Lilavati
ainsi
ceux
qui as tes yeux comme
est le rsultat
de la multiplicaquoi
la rponse
suit.
Baskara
nous
donne,
)'.
concise,
recueil
de
et
sans
toi
etc.
mthode
chre
(2).
et
souvent,
plus
et
qui
agrabtc
n une
constituent
la
voii ce qu'est
de formules,
Hindous.
C'est
pourquoi
ils
furent
(3).
<<!M~M
(Cambridge),
t0t0,
~=M~
p, 40~. Noasttoyons
cependant
t'o~c~y/o~v
~yjVM/yj'
MD~
PM ~~y~JM~7C/
~JM~/f/o~
(~~)
x = x
-r~.
Ajoutons,
~.x==2~==la valeur de x; x ==
d'o.'en
de
divisant
co~M'FMo~
.yyjvy~T~y~
r/B~
L'algbre
cartsienae.
cherchant
LA CO~CBfno~
6~'N~7~T~
J~A~
-M~y/Mpi~
DES ~~r~Mc~~
avons brivement
caratris A !a fin de notre chapitre I.
Ce retour
l'antiquit
tait sans doute ncessaire
les principes
pour consolider
de l'algbre
naissante,
mais il prsentai
pourtant des inconvnients.
En particulier,
tes constructions
des anciens
gomtriques
taient lies, comme
nous l'avons
vu, des procds de dmonstration
compliqus
l'emploi systnMtique de ces constructions
aurait donc tait perdre au
calcul algbrique
les avantages
principaux
que l'on
attendait d'elle, la ~-)~,
et la fomw<x/< Et c'est pourquoi,
les savants de la
vo!ontiers-4te<:ttM}aes~
Renaissance,
tantt se donnent beaucoup de
peine pour
dduire
les rgles de l'algbre des
rigoureusement
thories gomtriques
a
classiques, tantt reviennent
la
mthode orientale, qui consiste poser
l'improviste
ces rgles sans les justifier ou,
traiter les
simptoment,
quantits algbriques comme des nombres
arithmtiques
sans chercher aucunement
lgitimer cette a~imiiatk'n.
Ainsi ont prcd en maintes
circonstances,
Vite,
Albert Girard, Stevin,
Hrigone.
La figuration gotntrique.
pourtant, tait bien propre
<burnir l'Algbre
la base thorique
qui lui faisait
dfaut. Mais il fallait, pour cela,
que le principe en ft
fbrm.
Cette rtorme ncess;tire fut
accomplie par
Dsertes
(<).
Tachons
de bien saisir, sur ta question
qui nous
occupe, la pense du grand philosophe;
cette pense en
effet n'a pas
t exactement
toujours
comprise, sans
dowte parce qu'clle a t
expose en plusieurs fois, dans
des ouvrages crits des
points de vue diu'rents, sans
Je r.oHis t.i.)rj, )F. A)c.)n. )':)ri. t<!8,.!iv. t!,
f') Cf. le /~j
notre tude sur i'~M,'<M,/<M)t
~) Ucsc.trtM.
.)M~!xt
~oo, et tes
dt
</<< ~ti~~M~j'ffm./tMM~ L. Hrunsch\'im,
tb<p..VU et VJU.
==~
LA co~cBfr/ow
~y~y~rMy~
(~
AmiterdM), )6)~,
r/o~r..y<&vr/f/<~
DM
jf~M.tr/(/
co.'vc~y/~v
~fA'M~yMy~
combins se trouvent
tre des nombres arithmtiques
ou des rapports gomtriques,
il y ait concidence entre
les oprations
rsultant de ces dfinitions et les oprations de mme nom considres en
ou
Arithmtique
en Gomtrie.
Cependant les conditions qui rgissent et lgitiment
des dfinitions
conventionl'emploi de ta mthode
nelles (t) n'avaient
pas t tudies d'assez prs par
Descartes pour qu'il pt se fier exclusivement cette
mthode. Le Ca/c/ de M. Descartes n'est en somme
o n'apparait
qu'un mmento,
qu'un seul aspect de
l'algbre cartsienne. Pour se faire de cette-ci une ide
complte, il la faut tudier dans te livre II de la Gomtrie et dans les traits complmentaires
ajouts cet
de Descartes (2). Or il
ouvrage par les commentateurs
tsutte manitestement
de ces crits que Descartes, pour
tablir et exposer en dtait tes principes de son algbre,
ne croyait pas pouvoir se passer
en fait
de la figuration gomtrique.
Cela admis, quelle porte au
juste, quelle signification.
faut-il attribuer la figuration ainsi
employe ? Si nous
comprenons exactement son point de vue, Descartes, en
(<) Le type de la dfinition conventionnelle est la dfinitiondu
nombre qu'a donne Chhstiaa Wolf en tytytque
nous avons
haut
ad
rapporte plus
tM/M~x ul
(page 7:) pMt~M~ r~Mf
htM rM<<t
ad aliam <'<? ')rM~<<<~M'En fait ce ne peut tre
qu'au moyen d'une srie de conventions que l'on largit progressivement la notion du not)bre susceptible d'tre reprsent
par un
t~MM.
VI
III
L'/D~t
.!C7MT/Mt~
CM M~7'7C/A'~
ces
desiderata
et
d'o
les
rpondait
considrations
se trouvaient presque compltement
)igomtriques
mines.
Descartes part de cette remarque que le rsultat de
tout calcul enectu sur des quantits reprsentes par des
grandeurs
rectilignes peut tre lui-mme figur par une
dbcnt les Cartsiensj. i.
grandeur rectiligne 7~w j/
C'est i le fait capital dont )a constatation a
permis de
dbarrasser le calcul des grandeurs des entraves que lui
avaient imposes les Grecs. Dans la gomtrie grecque,
en effet, un produit de grandeurs d'une certaine espce,
se prsentait le plus souvent comme une grandeur d'une
autre espce, circonstance qui contribuait
ptusquetoate
autre limiter le champ d'application
du calcul goDu point de vue de Descartes, au contraire,
mtrique.
le produit e't, comme chacun des facteurs, un
segment
(t) Sottu! imetteetus equidem percipiend.c veritati~ est ci)?!)!:
qui tamen invendusest ~b imaginatione, sensu et munoriit. ne
quid forte quod in nostM inJuitri~ positum est omittamus (~
ad <<-<t~'<u'M
M~M, XII).
(t) CompMdKMic figurM qus modo su(H<:i:tMad cavendum
lapsum; quo breviofes,eo commodioresexistunt (&~tt~, XU/.
).
?~
M
LA CONCEPTION ~wy~y~T~
t. i, p. toy)
Optimun:
\'etu
hujus
Kitntia; pr.ctept~ et ad Mgnitionem eju-i MsequcnJMU,ut gelieraiiter rationeshascein lineis consideremus, etc.
r~F~
-M7~r/f/ot'~
jM~T'M~r/c/v
LA cfMMfMO~
~M~~y/~M
r/DA<~
~c/~wr/~M
DM
Af~y~jM~y/c/~w~
exercer a. II a rsota de quitter a la recherche des questions qui ne servent qu' exercer l'esprit (i) f. En 1638,
il y a dj plus de quinze ans qu'il fait profession de
ngliger la gomtrie
(2). Et c'est tout juste si quelques annes plus tard il ne renie pas son trait de 1637.
indiquant que, s'il avait le refaire, il le composerait
autrement.
Sans mcnnaitre
de ces dcorations,
l'importance
il importe d'en bien prciser la signification.
Descartes estime peu la pure Mathmatique,
non
seulement cette de ses prdcesseurs,
mais aussi celle
qu'il a cultive lui-mme. Ce point parat bien acquis.
Mais une distinction
entre la ms'impose,
pourtant,
thode et l'objet de la science. Nulle part, croyons-nous,
Descartes ne met en doute la puissance et la porte de
la mthode des mathmatiques.
Son ddain ne vise que
l'objet auquel cette mthode est applique, et il nous en
a lui-mme indiqu clairement les raisons.
est sans valeur parce qu'il
L'objet des mathmatiques
n'est d'aucune utiitt Jans l'tude de la nature. Ceux
qui le cultivent sont des chercheurs oisifs (3~ adonns
un vain jeu de l'esprit. Trouverons-nous,
du moins,
dans la spculation
t'occ:tsion d'exercer
mathmatique,
nos (acuits inventives et la satisfaction de dployer les
de
ressources
de notre ingniosit
et de triompher
difficults subtiles ? Non, car, {{race la mthode algdevient une science mcanique,
brique, la Mathmatique
qu'il est dsormais la porte du premier venu de con nous reviendrons
duire bien
C'est pourquoi
Descartes ne poursuit pas
tout l'heure sur ce point
()) Lettre & Mcrsennt, ~ju:t)et f6;8, t7'<W.,t. U. p. 268.
(2~Lettre Mcniennc, ;) mars )6;8, <h~ t. H. p. 9!.
(;) htsanit pMMenMM. quibustogitM vt Gomtre otiosi
Juderc tonsneverunt s (~M/.f, !V).
i<M!~
'1
g
g!
&;
1
CONCEPTION
.s'y~'Nj~~'
l'ceuvre
bauche
(t)~:M<w,):dit.Ad.)m-T.)t)netv,t.V),p..(6i.
(~M.<.p.)7.t.
(}) DtWt-< J< la <M~M<,
~103=.
MBA~
.K~vy/~M
DBS ~~r~M~MCMW~
LA cowc~voA'
~y~ya~T/~J'B
JMJM?~ .SC/JMT/~M'
PM
~~MA~/t?7C7~JV~
la C~m~n'~
le
/M'o~ ~oj
el solidos
/M~<' t Le procd consiste (2) A dnnir une courbe
de ses points
par une refation entre te:! coordonnes
rapports deux axes renan~utaircsou
obliques; aprs
l'on
cherche
ramener
l'tude
de
la
courbe
t'lude
quoi
de la retation aigbrique.
Dans ce procd,
Fermat
dcouvre des possibilits
jusqu'alors insouponnes:
mais le principe n'en est pas nouveau, car on le trouve
dans un cas resdj chez ApoOonius, qui s'en sert
des
treint, il est vrai
pour tudier les proprits
sections conique.
Prenant pour axe des abscisses un diamtre d'une co"ique. pour axe des ordonnes
la parat!eie aux cordes conjugues
ce diamtre mene un:
de ses extrmits, Apofbnius raisonne sur l'quation t
de la courbe qui s'crit en langage moderne
annes
~~=:9~A't''
====9~.f -1== a/v
r
?
l
f
t=!
/f)f'MMfKM t ;?io~i
~< .<<)le
)
~t1
co~c'r~ojv
~yjvy~yMM
dcouverte il y a
consiste prvoir et montrer que
l'usage systmatique des coordonnes met en ceu-~re une
mthoded'une
puissanceet d'une universaiit jusqu'alors
inconnues en mathmatiques;
que cette mthode dispense de toutes celles qui ont t imagines auparavant
(t) Ad /OMty/OMM MMM ~<
trad. Pau) Tannery. fR<M.
f<nM<,
t. III,
p. <)6. Signalons
cgUcment
ce p-t~s~~e
de ).t pr-
<<MHKm. 7'<f<f:
f'Mf~'o /t)'r) .'c~OMf. ~ff
A- hft'f
le
Pa/ns
.b.).<M
~fM<<MMt
Arisi~iiiiii
(/<(le
M~t:
soli4lis
/'hMt't,
platiis,
~-f;/)tt')M ass~-zeriii.
scripssse
t~t. tvr;;<y. e,j', iiil .1i~ll;Mur.
oMt
aut
/f;mMt-.
t'~K.t'<<M~Mf<))MMr
tMOftOM
t'KtV<<<~Ot);
MOM),
~'M<'t(t~fr
.t''r..<.WKM;.
M<)<)/f,)
t~imM~Mt
r/B~
.K'/M'7~M
D~~ Af~y~W~MC~~
et qu'elle les supplantera en effet; que, par l'intermdiaire de la notion de fonction, elle va rvotutionner
et
rgnrer toutes les sciences qui sont en relation avec
l'espace et le temps.
Pour Fermat, comme pour ses prdcesseurs,
Its
questions relatives aux figures sont des questions de
si l'algbre y intervient,
gomtrie
ce n'est qu'a titre
et par. procuration.
Avec Descartes, c'est
d'adjuvant
l'algbre qui passe au premier plan l'algbre, avec tous
ses caractres spcifiques que nous avons fait ressortir
plus haut.
Nous avons dit que l'algbre n'est
pas un recueil Je
rsultats, mais bien une mthode de combinaison
et de
construction.
Applique i'tude des figures, cette mthode permettra de reconstruire de toutes pices la gomtrie en faisant table rase des connaissances que nous
a lgues l'antiquit. Nous t'difierons sur un plan nou.
veau, mieux ordonn et beaucoup plus vaste que l'ancien.
Car, aprs avoir d~t, par exempte
les droites sont les
figures dfinies par les quations polynomales du premier derg en x et y (de la forme ax -i- ~y + c ==: o)
les sections coniques sont les courbes dfinies
par les
quations potynomates du second degr en x et y (de la
forme ax' + bxy + f/ +
= o). rien ne
-<- cy +
nous empchera d'ajouter
i'appeUe courbes du
5* ordre les courbes dfinies par les quations polynomales du 3' degr en x et y, courbes du <t' ordre les
courbes dnoies par les quations
du
polynomales
et des quations de ces courbes
.t* degr en x et y.
je vais dduire leurs proprits, ainsi que je l'ai fait pour
les sections coniques, a Ainsi, par le simple jeu du
mcanisme algbrique,
nous faisons surgir un monde
gomtrique ittimit que ne nous et jamais rv!
l'intuition directe de la figure.
)?
CMfC/~r/O~
~A'y~77.;Tf
En rapprochant
ces vues;techniques
de la thorie de
la connaissance
expose dans tes ~<y/a', nous sommes
amens prciser comme il suit l'ide qu'un Cartsien
doit se faire des thories mathmatiques.
Les vrits mathmatiques
sont des faits intuitifs
sur
ce point, Descartes, quant lui (t) est presque d'accord
et c'est l ce
avec les anciens. Toutetois,
que les
Grecs ont mconnu
il est avantageux pour tudier ces
laits de suivre une voie dtourne
(autre que celle de
On ne doit pas essayer de les pntrer
l'intuition).
d'emble
mais, en partant d'tments simples combins
suivant les rgles de l'algbre, on essayera de les tCMM~M~. Ainsi, aux touts perus par l'intuition,
l'on substituera des composs dont la structure et tous les lments nous sont exactement connus. Ds lors ta science,
au lieu d'tre~ comme le croyaient tes anciens, une contemplation
d'objets idaux, se prsentera comme une
construction
de l'esprit. La tche essentielle da savant
ce consistera
plus apporter une nombreuse ou belle
collection de rsultats, mais bien mettre sur pied de
bons instruments
de combinaison,
constituer
une mthode puissante et efficace.
Descartes estimait qu'une
la gomtrie analytique
MDAM
PMjtf~7'~AM~7/C/
.K'MWr~~M
~'i
t"
)
inimitaimate.
'.
des conceptions
mapendant ta seconde
co.vcwr/o.v
~y~y~y/~rB
r moiti du
nous troavons
trouvons tout
tout d'abord
d'abord
l~
xv)t* sicle,
Xvtt
sicle, nous
nousnaus
en prsence d'un problme historique assez dlicat.
Au moment mme ou ta mthode cartsienne corn'
mence tre universellement
adopte et A manitester
toute sa tconditc, un vnement capital se produit qui
dans
a pour effet de la relguer
temporairement
l'ombre nous voulons parler de la cration du calcul
intinitsimat. Le rle considrable que joua immdiatement ce calcul dans toutes les parties des mathmatiques
le fit bientt regarder comme la base fondamentale et
l'instrument
pure,
par excellence de la Mathmatique
o
cette
Mathmasi bien que les chaires d'universit
tique tait enseigne furent baptises, et sont encore
apptes aujourd'hui en France et en Angieterre, chaires
de M~ <M~)!<m(!/ ou chaire de M/c/ f/<~<m(<<f/ et
D'ailleurs les ditncutts phitosophiqucs
auxMt~r<
quelles semblait donner lieu la notion d'inniti, le mys*
tcrequi l'enveloppait en apparence, incitaient natu'etiement les analystes considrer le nouveau calcul comme
radicalement dinerent de t'ancien.On crut donc de bonne
foi que l'on tait entr dans une cre nouvelle et que les
dcouvertes de Kewton et de Leibniz avaient rvolutionn la science mathmatique.
Du point de vue auquel nous nous plaons dans cet
ouvrage, les faits ne sauraient pourtant apparatre sous
ce jour. Sans doute le calcul infinitsimal soutevait certaines questions dlicates. Mais il ne contenait rien qui
ft contraire aux principes de l'atgcbre tinie. S) d'ailleurs l'on examine en dt.tit t'enchainement
historique
des thories de t'Anafyse.on
constate que, loin de s'opet 1.1 mposer l'une a t'autre. la mthode cartsienne
thode newtonienne
ou tcibnitienne
ont etc. dans ces
thories, constamment associes. Descarces, en somme,
s'tait content de tracer un programme
il avait ouvert
u--e
=. 11~
~t
.yC/RYy/Mt/F
DES ~'M~TJC~A'
C<M'(~;f7'/OA' ~)'A'?'?'~y/i'
Cavalieri tait mme de rpondre facilement. Il pou.
vait observer que les gomtres auxquels ses travaux
l'ap
notamment
en avaient us
Kpler
parentaient
(~
beaucoup plus librement que tui-meme avec la logique.
Ceux-ci, en effet, dans leurs calculs relatifs aux aires et
aux volumes, s'taient le plus souvent borns imiter
les mthodes d'Archimde,
mais en supprimant
tes dtours et en ngligeant les prcautions qui avaient permis
au grand gomtre grec de justifier sa manire de faire.
C'est que les savants en question appartenaient
c<;ttc
co)e de la Renaissance qui laisait bon march de la signification objective des calculs pourvu que ceux-ci
fussent fconds en rsuttats
utiles. Et, se plaant au
mme point de vue, Cavalieri pouvait estimer bon
droit que ses procds de calcul devaient
tre, pour te
chercheur en qute d'inventions nouveites, particulirement commodes et subjectifs.
En somme l'histoire du calcul des indivisibles fut celle
de toutes les thories algbriques. La surprime que causa
ce calcul et les objections
qu'il souleva tiennent la
faon dont il fut d'abord prsent. Mais, ds que tes
principes dont il procde eurent t purs et tudis
la lumire de la gomtrie grecque, il entra tout naturettementdans
le giron de ta science ctassum.Ce
tut
Cavalieri tui-meme qui commena le travail de mise au
point. Ma mthode, dit-il en substpnce (2), n'oblige
nuttement considrer
les surfaces ou corps pomcomme effectivement
r<MK/wAde figures ayant
triques
) ) D.)n<la y<wA<r~tM<<naDf/t'~MM
P't'Monon'Mw,
aff. f/ j'<ffn)"~Mft~t'm~MJH~/<'mm<MtM,LitM, )6t;.
(t)Quoad continui !t))po!itiot)et)), manifei:um est ex prx'ostmsis ad ipsum ex indivisibitibus componenJutn nos minime cogi
& sohxnMim continua (les fe~~ te<)t)iindivistb'tiunt propertioncot,
e) e converso,p~b.uc imentui fuit.
~S
t~,
nl,n
MoMMm.
(t
r/C~t
B~'
SCIENTIFIQUE
A/~?7/7C~A~'
t<~4,
==lit~
t. VHt,
p.
LA
C~.YC/7'770A'
~}'r/?'M~
~~M'tftHft~t&f't'MM!, t \'),
a
t;)(~;
prob<n~-<:itcdui
t:t:
~;o p. 2; o j, ,v
f;MM~
tWfMf/M.c!uJK''par
).) corde
itifitiituc~t
peux;
j.ftijofm:
Jt-~x
p~nti.
rMt~nf'.)n);!e ~ue
au apport
~c/Rvrw)7jy
DES ~~y~Mc/j?~~
On
=~
/.<< (0.<<7'v
.y)'.v7v~/7.y7'~
t
a
g
<
~~A
~A.t ;M.tr/t/.<y/CJ'
.SC/Y77~<'A'
a pour fonction
primitive
tog jr. !t
(t) l.e calcul trij!;omc:nque tait d'}A en us~e chez ics itHro'
nomes ~ttX.'ndt'.))S.
H iut
t}ev<<!pp4
par
'<<
Arabes. \'M!c
cn~r.t
Wrt/M
~t<r/t<)M)t)r)f)M
(j C'est-4-dite qu<
MMOMff~<'MMt).
est h~nv~ede
118
c.
a~c sin x.
J!.jf COJVC~Pr/0~
~T~fB~fMM
~3
eg
probteme
algbriques (/OMf<M~f~.wM~f~!sou)veun
detouspointscomparabteaeetuiqa'apos.asonapparition, la thorie des nombres irrationnels,
Or comment
a-t-on rsolu ce dernier problme ? En ayant recours
aux mthodes du calcul approch,
plus prcisment en
faisant appel l'ide
f!rM<Mwm<t~
~'a/o.n'Ma</OM
ou de fmM~we.
C'est cette id''e qui est la base
?r<!M<f<!
du raisonnement
par exhaustion tel que nous le trouvons
dans les traits d'Euclide
et d'Archimde.
Chez les
a
modernt: Vite
appliqu une mthode semblable (i)
nombres
pour dtmir certains
par des expressions
ainsi i) rcprcs nte le nombre par
arithmtiques
l'expression
ln
V~
ou une innnit
de radicaux ~'nt superposes (si l'on calcule cette expression, arrte successivement
son 2* 3'K~"
radical,
on a une valeur de r: de plus en plus
approche e).
Vers ta mme poque, Bombelli de Bologne dnnissait
des expressioti*: convergentes
d'un autre type (~ ft!79)
et, en t6;),
Wattis, dans son ~ft~j~~
<'f~t!o)'M,
lisait le premier une tude systcmatque
des sries
aritmtiques et autres expressions convergentes qui permettent de reprsenter
des nombres irrationnels quel'x vu
(n
~~i'e/'MM)
iorum ~Irrrbes
</<' f.ttMme~'MfJtt'~
rnatlxmnticisf<H!OrMW
""S/'<IIII(I' tiher
M~f Ylll,
aujourd'hui
1 S9:"
2 ):xprcMinn$Ma)ogue$ &<ti)esquc nous appcions aujourd'hui
/M<MtfCMftMMft.
~.n9==
/B/~A
A' J~n'y/c/~v~
.w/MW~r-A
+~
=A-
a
-h
~-)?
o le second membre est, pour toute valeur de x intrieure ai, une srie convergente.
Ce mode de dfinition
des (onctions fut prcis et
Newton dcouvrit en e~et, !a
gnratis par Newton.
forme du dvetoppement
du binme (! -)-.f)"* pour une
valeur quelconque (positive ou ngative, rationnelle ou
irrationnelle de t'exposant) (2;; il obtint, d'autre pa.t.
le dveto~pemeuc de ta (onction <M'e<o~
a~c /<t~ .t ==
-)-
LA CM(?~A'
.9!Y77/~r/A7'
i-m~
t':JM~
des
~M
.~7/~f/~f~
~M~~r7C7~V.$
fonc'ions.
~<')~')/
p. i~
t-
Atc.tn'.
r~.YCKPT/O.V
.t/.VT'Tf'yy~
j'!o< )uu<,
c)))p;t"
))rcmifr.
.)K\ .t).f
!f~)M~!
~M(.<
/t
t'~f).
MtTM.t. Ad-tm-'t~nnerv. t. )X p. t~M.
~M=.
.\tf.t,,f;~H~
~t.f.
~.Y/7/
CM J/.n7/~M.f?7</t.Y.!
'1
/r(;MfcBjfr/oA'
~y~ry/~y/~yr
conduit
prend manifestement
le sens pur et
analyse dans
e comme il le fait
simple de a mthode d'invention
quand il crit Tschirnhaus (~). w I! s'en faut beaucoup
ait pntr bien avant dans !'ana)y~e
que [M~Mm-~fj
et gnmtement
dans l'art d'inventer
t. Mais ailleurs
c'est la combinatoire qui devient le vritable art d'inventer. Ainsi "i) la pense de Leibniz
parait avoir oscill
entre des conceptions diffrentes (6).
Pourtant, entre tous ses contemporains,
c'est Leibniz
qui a vu juste lorsqu'il a reconnu que sa mthode mathmatique prsentait tous les caractres d'une synth~e.
(<) <~W<:M~et /f~W<M~;'H<
~ttM~. d. CoUtUfMp. ;8
Atgcbra qua scilicetcognitum pro cognho sumimus, est syn(h<:sis
qu:cd.tm.
(2) /M< p. $60 !mo ipsi fundamenta Atgebra; per CombinaMn.tm sunt con$'!tuta.
(;) ~f';W ~MMart <Mt'M/ 7.M. p. )St.
f4) Fir~wMm/< ~o/~M/~H. M.Gerh!t)-d,t. t, .899. p. 46S.
Cf. Brunschvicg, /of.
p, t;a.
(S) On sait que l'on relvedes oscillations semMuNe: d!)n<!les
apprciations mises par Leibniz sur les rapports de la togique et
des mathmatiques.
(6) Cf. L. Coutunt, La &~t~< </<
p. :c,~
~125
r/Dj~
DM M~TN~M~T/C/~A
.yc/~VW/~PB
Cette
mthode
nais'm
pour
en plus
est.
de s~nes
tes assembler
en
effet,
un calcul,
donq
une<omb}-
elle <:ons)stea
detements
simples
partir
et) tonner
des composs
de plus
de
Mais il en tait
exactement
et
comptiqus
de i'at~ebre
et si Descartes
avait
fait
cartsienne,
du mot synthse ? dans
le sens que lui a donn
usage
nul
doute
n'et
reconnu
tui'meme
le
Leibniz,
qu'il
n!e<ne
de sa mthode.
Descartes
synthtique
tt est 'rai,
cne te~trtcttouque
'a ~nthese
doit
tre
d'une
Avant
de contbmer
anaty~.
prcde
caractre
ments
vu,
ou
simples,
ii Mut, comme
~2). Mais,
par tes dgager
ide~s
commencer
tion
eu)
Mt,
toujours
nous
les ctet'avons
cette
opraDcscanes
la
se rduira
termine
la science
croyait
pour i'a)gebre
un travail
de conminai'.on
elle deviendra
mcanique,
'j
synthtique
il nous
apparait
purement
Ainsi
Leibniz
partie
entre
dans
son
les
ceuvre
mots.
Ces
tablie
que l'opposition
et celle ue D~scartes
rsida
deux
oeuvres,
en
ralit
par
en
pro-
<
LA co~ccpr/o~v
~yjvM~r/~M'
g
g
<
C'est ici qu'il (aut se garder de confondre les vuesphi{osophiques des deux penseurs avec leurs iuce~ proprement fnathematiques. Sur la nature et l'vbjectivit des notions scientifiques, sur les principes du mcanisme et de
de la connaissance mathla physique, surtesconditious
matique et sur le rle de J'intuition (nous reviendrons
Descartes et Leibniz ont
plus loin sur ce dernier point),
des doctrines diffrentes. Mais ces doctrines
qui dpassent infiniment le champ o se meut la Mathmatique du x\')t' sicle et mme celle de notre temps
n'ont point exerc d'influence directe sur )a construction de leurs systmes a)gbri<}ues. Ces systmes se distinguent surtout par cette circonstance que l'un eflectue
sur des combinaisons tnnnies ce que fautrc fait sur le
fini. Or, est-ce f, du point de vue technique, une diffrence essentielle ?
Comme l'algbre cartsienne, celle de Leibniz
s'appuie
sur la reprsentation
des
fonctions par
gomtrique
des
axes
de
coordonnes
rapport
(t); l'une et i'autrc
pratiquent les mmes oprations et ramnent l'tilde des
problmes la rsotution de certaines quations; l'une
et l'autre procdent en combinant des
signes a~briques
et ont par consquent pour base un sy!,ten)e d'criture
dernier caractre de rat~ebre a surtout
symbonque.Ce
(') Leibniz t signal tui-n~nx: )'inf)ucn< qu'in'.ut cxercfsuf
son esprit la tcttttft: J.: la G~m~t-~Je ~ei<)rtc.i (m n~mM
temps
que la lecture de llascal) au moment o son tttention fut porte
sur te <n<~< MMc~M~tx retittit h t.tngtnte a une courbe (Voir
ptmhtut, p. t;;),
'~).:a.
J~JM~
DES M~M~~y/C~/f~'
.KMWW~
ctMphtet!).
=
2.
LA C<WM'Jf7'7M ~M'~JSr/~rB
S
v
S
l'algbre, et la fonction
qu'elle soit algbrique ou
est le rsultat d'une combinaison d'optranscendante
rations. <t La principale diffrence des fonctions
a
Paris, <798, p. <
(<) yM)<-<<Aty<M<(t<M)<<t'M~MM,
le
Jes
(2) ~OW sur calcul ycw</0) t8o6, apud /M<
~~tt.
)t*hier, p. 4.
/'&,
~t~t)-
BOBMW.
.yc/Rww~t/~
DES At~ya~~y/cv~
de la
crit Euler (t) consiste dans la combinaison
variabte et des quantits constantes qui la composent.
se
Et, ptcise-t-t!, te calcul des ionctions transcendantes
distingue du calcul algbrique parte qu'it rpte une l
infinit de fois les combinaisons de ce dernier,
()) ~<~M~ in ~M~'o
M~)))<MT)M,
<748. Prface.
.=t:<0=-
CHAPITRE
L'APOGE
ET LE DCLIN
III
DE LA
CONCEPTION
SYKTHT1STE
1.
La synthse
atgbrico-logique.
MMj~
~~'~M~Y~
.yc/~w/~t/B
sicle
nements
avait clairement reconnu t'tendue exacte
de son pouvoir, et avait fix ses procds. Le cal~~a=
~POC~A', D~f~V
au calcul
des considrations
purement
gomtriques pouvaient conduire, plus directement que
D} au
l'algbre, des rsultats aussi remarquables.
K'/D~t
.!C/~W/<?M
c~.? M~TH~M~~Cf~JVS
erit-i)
que la gomtrie analytique offre, par la
marche qui lui est propre, des moyens gnraux et uniformes pour procder la sotntion des questions qui se
tandis qu'elle arrive
des rsultats dont la
prsentent.
~nratit e<t sans bornes, t'autre procde au hasard
sa marche dpend t ,'ut i fait de la sae:<tcit de celui qui
l'emploie et ses rsultats sont presque toujours borns
a l'tat particulier de la figure que t'un con'idre
Poncelet se propose de remdier ce dfaut de ~nr.Uit et d'extension de la gomtrie ordinaire
et de
crer une mthode de gomtrie pure qui puisse rivaliser
avec
. Cette mthode est
Analyse gomtrique
iu~filt de LtibniZ,d.
ffff' !~hv~:vG~
(tt
/ru;rnn!r
Cotitttrat,
p, 18"
't)TnM
en grande
)t tampt~ne
))<*
<<t" compo~~M'Mh
<<</t'~</<
partie
Mttt~.j.
pendMtCoutar~t.
p. t8t.
1822.
Ru!s!e<tpub)i<en
-)tt'-
/M~
.!C/~AT/M~
J?~
M~m~M/i'/C/~JV~
gomtrie dveloppe (en Allemagne notamment) sous le nom de ~OM~M ~H/M/~w pendant
h premire moiti du x)x* sicle
ait finalement
trouv avantage s'Ofprimer dans la langue du calcul
et soit devenue aussi algbrique que la gomtrie cartsienne.
Mais, ce qu'il est intressant de remarquer, c'est que,
et alors m&me qu'elle restait
sous sa forme primitive,
la mthode de Desargues, de
gomtrique,
purement
Monge et de Poncelet, mthode de synthse, de combimthode a marche rgunaison et ~e gnralisation,
lire o rien (selon Poncelet) ne devait plus tre laiss au
hasard, tait au fond la mthode mme de l'algbre,
applique un objet autre que le calcul.
Aussi bien tait.it vident a priori que le champ d'appUcation de la mthode synthtique
pratique par les
le cadre du calcul clasalgbristes dpassait innniment
sique. Les procds que l'on avait employs pour combiner les oprations de l'arithmtique
devaient permettre
des dplacede combiner et d'tudier sembtabtement.soit
ments ou des transtormations
gomtriques, soit mme
d'autre nature, fordes composs ou des groupements
msavec tes lments les plusdivers. C'est ce que Leibniz
avait bien pressenti lorsque, dans sa jeunesse, il rvait de
constituer une Combinatoire gnrale, c'est--dire
une
science qui, au moyen d'en
symbolisme
opratoire
l'en(<Mn!c~w~<
MM<wf~/<'). tudierait
appropri
semble des combinaisons auxquelles peuvent donner lieu
les quantits, les figures, et, en gnrt, toutes les noou logiques. Cette science, dont
tions mathmatiques
ce que nous appelons
t'Atgbre ou l'Analyse n'est
qu'une branche fort petite e ( t ) ne serait limite dans
nouvette
~poc~,
~MMf
scn pouvoir
cessit d'obir
distinguer du
toire est rest
j)~ t~ COACRP770JV
.~rjvrH~yv~y~
de construction
arbitraire, que par la naux rgles de la logique formelle. Pour la
calcul spcial auquel le nom de coMMM'
attach, on pourrait la nommer
syn-
~JKtt~n'fo-~t'yMe
Quelles sont, dans le domaine des Mathmatique!,
les applications
possibles de la synthse ntgbrico-togique ? Elles sont fort nombreuses et on les rencontre
au seuil mme du calcul algbrique moderne.
On peut dire (t) que l'algbre lmentaire est l'tude
de certaines combinaisons
formes avec des nombres
et avec des lettres re*
2, 3,
arithmtiques tels que
prsentant des nombres relatifs (positifs ou ngatifs),
nombres et lettres tant relis par certains signes opratoires dtermins, tels que +, , x (ce dernier souvent
etc., qui
sous-entendu)
ou par les signes ~.yt'M.co~.
fonctionnelle
rigoureuindiquent une correspondance
sement dfinie. Cela tant, nous sommes naturellement
ports imaginer de nouveaux groupements de nombres
nombres
ou nombres reprsents par
arithmtiques
des lettres , et a crer des symboles indits pour dsidans l'criture algbrique.
En
gner ces groupements
usant de cette facult, nous pouvons obtenir de nouvelles
M~r~mM, qui donneront matire des calculs varis.
L'algbre s'est ainsi enrichie, depuis le xva* sicle, de
deux sortes d'expressions.
Les unes ne sont nouvelles
ces expressions
que par la forme qui leur est donne
de
pourraient tre dfinies au moyen des algorithmes
mais il est avantageux d'adopter,
t':t)gbre tmeniaire.
un symbolisme nouveau, permetpour les reprsenter,
tant d'abrger l'criture et rvtanMe secret de teurcom*
position. Les expressions de la seconde sorte, ou bien
(t) Cf. t~M, page !)<).
=-7==
.<f~?~~r'?
P~t
M~Tf~V/<7'~f'~FV.t
A/'
dfini
eMnt eMt
titnt
est d~Snicomme
gal 4
<~<
tt
a
j.
)
comme
1M
)
)
A J
t + ') del,
e<ainsi de suite.
(~) Cf une lettre de Leibniz A t'HuspiM)(Acta ~M~offtMt, LeipHg,.yoo).
!;) Dans )Y<t<ro~w<foH't<M~<~ lignesMt~M,Genve, !7;o.
<4)Cf. M~nt, <h<p. II, t.
-=.<98~
~poc~,
D~c~v
DRLA co~cApr/oy
j-~r~y/~T~
/M/?~
A' .V.<y/U.<7'~C/~A'
.;<MA'W~)rA'
gine pour que le mystre dont elle fut tout d'abord envetoppe. et le caractre rvolutionnaire
que certains lui
ont attribu,
s'vanouissent
entirement.
Le calcul dit
< imaginaire
est une application directe de la mthode
et il est, de plus,une consynthtique atgbrico-togique
dition indispensable du succs de cette mthode dans le
~domaine mme de t'atgbre tmeataire.
En effet, nous avons vu que l'un des traits essentiels
de la mthode algbrique est le caractre formel et tnc-tnique du travail de combinaison
auquel elle donne
lieu. Le mathmaticien.
lorsqu'il opre sur les nombres
et signes algbriques.
fait abstractio!) de !a signification
de ces signes pour ne s'intresser qu' !eurassemb'etnent.
Or, ce taisant, il se heurte un caeH il se trouve
amen, en enet, a former des expressions
celles o
entrent des racines carres
qui n'ont pas toujours un
sens rel (t); sans que rien soit chang
ta composition et au mcanisme des oprations qui les dnnissent,
ces expressions tantt reprsentent
de vritables grandeurs, tantt n'en reprsentent
point. Il s'ensuit que
ou bien il
)':)tgbriste doit choisir entre deux partis
s'astreindra traduire en langage arithmtique
ou gomtrique la srie entire de ses catcutsann d'tre st que
ceux-ci ne cessent jamais d'avoir un sens,
et alors il
perd tout le bnfice de la mthode algbrique et en violera le principe fondamental;
ou bien il se rsignera
raisonner sur des formules qui eussent t des ncn-sens
p-'or le gomtre grec.
Entre ces deux partis, le mathmaticien
de l'cole
synthtiste ne saurait hsiter. Il opte pour le second et
entre dans la voie du calcul imaginaire. Or qu'arrive(t) La racine carre ne reprsente une grandeur [<ett<que si la
quMtit~ sous le radical est pfxitive ou nulle.
M~ft=
~FocAs.
D~MW DE LA c~m'y/o~
Ayjvy~
t'7~K7t'~y/79~'
DES Af~N~M~
~0<H~,
r/c~
.yc/~y/M!~
M~
JM~yN~~T/c~M
thorme
nouveau est dmontr
des
par combinaison
axiomes et des thormes
d} acquis. L'difice maconstruit l'poque d'Euclide, agrandi
thmatique
depuis lors, et flanqu de nouvelles annexes se pr.
sente en somme nous comme le rsultat d'une vaste
synthse logique effectue sur des propositions.
Qu'est-ce
qui nous empche ds lors d'appliquer
cette synthse
une mthode analogue cette de t'alles plus simples, nous
gbre ? partant des propositions
en tudierons
a priori les combinaisons
en faisant
abstraction
(h leur contenu
nous comparerons
ces
combinaisons,
nous apprendrons
reconnatre
dans
dans quels cas elles
quels cas elles sont quivalentes,
sontcompatibles
(t) ou incompati Mes, nous les <f(fM'
~)rm<!fOMtes unes dans les autres.
La science des propositions
ainsi tendue a permis
de consolider
et de perfectionner
sur de nombreux
C'est grce elle que l'on a
points l'difice euclidien.
~fOCJ~,
At.V/7/.S7A'
(~'mcM<r<f
appliqus
logiquement la proposition qui tait l'objet du
cinquime Postult d'Euctide
f'8~;}.M..909.
~=
'-]<:)
r.5
))o)!T)tO)nt.
~0
t')~t
.yC7~.V7'?f/?
0~9
M~7'?.M~?'/r/M~
tT'm'n~~
y<~M.
en
exp<.)
U<<f
les
r'r?')c!nf!
dit M/~f~if't
-~t46=.
dans
)M''c
de
t'universit
1:
:)
!,j
M
I.
*?
~MO~
DJMJW M
co~c~py/o.v
.yy~r~'Ayr~
10
l,
1
r/c~
~M ~~r~;M,tr/f-7M-.<
.yc/~v7/-79r~
thories
de l'arithmtique
des nombres
algbriques
entiers.
Oo sait que la tentative faite en ce son! par certains
a donn naissance une doctine philosophique
1 analystes
dans laquelle le nombre est
(soutenue
par Renouvier)
considre
la ralit primordiale
comme
sur laquelle
repose l'difice mathmatique.
La conception quiinspire
cette doctrine est toutefois reste trangre aux principaux mathmaticiens
qui ont fait une tude technique
des bases de l'arithmtique
(notamment
Weierstrass,
Cantor, Kronecker,
Mray, Jules Tannery). Si certains
d'entre eux ont un culte peur le nombre entier, ils ne
!ui attribuent
pas de vertu spciale. Ils se bornent
appliquer la notion gnrate du nombre les mthodes
de construction
Aussi bien ta-dnniatgbrico-togiques.
tion la plus parfaite du nombre irrationnel (cette qui
le moins de postulats) fait-elle dpendre
prsuppose
celui-ci d'une notion assez diffrente de
principalement
celle du nombre entier, et plus gnrale la notion de
classe. Si (t~ l'ensemble
total des nombres rationnels
est partag en deux classes telles que tout nombre de la
premire classe soit infrieur tout nombre de la seconde
classe, et tout nombre de la seconde classe suprieur
tout nombre de la premire, et telles, d'autre part, qu'il
n'y ait dans la premire classe aucun nombre plus grand
que tous les autres et dans la seconde classe aucun nombre plus petit que tous les autres,
alors le couple des
deux classes constitue un lment de rai onnement que
l'on appelle wm~'f irraliottuel . En partant de cette
on peut construire
un calcul des souples de
dnnitton
(<) C'est l 4 peu pr&s la dfinition donn<e par Metiind dans
son ouvrage fondamental: .S'<f<<t< ftJ t'~otfMm~~M<, Brumwick, t8yt.
.~8
~poc~.
~cj~jv
~~i (.'o.~c~r~~v
.yr.vrm~yy~
la
des
dont
nous
fait pendant
propositions
logique
avons parl plus haut. Nous n'insisterons pas toutefois
sur cette nouvette logique, dont l'utilit pour les mathmaticiens
parait contestable (du moins tant que l'on
n'y introduit
pas la notion d'infini) (t). En fait toutes
les tentatives (2) effectues pour ramener la notion de
nombre entier des notions ptus simples n'ont pas
permis d'viter les ptitions de principe ou prsentent
des lacunes indniables.
Elles n'ont donc pas exerc
d'influence apprciable sur les progrs de la pense mathmatique.
La logique des classes finies, cependant, n'est point
dpourvue d'intrt pour le mathmaticien parce qu'elle
a donn l'occasion d'appliquer un ensemble de notions
(3) (tes notion de classes logiques,
extra-mathmatiques
de sous-classes, de classes quivalentes, etc.) les prin-
dans la thone
infinies internent
()] La logique des classes
<*
ensemMes
connue sous le nom de
thorie des
aux tentatives
non seulement
de
Nous
faisons
ici
allusion,
~)
mais aussi }t
Russell et d'autres
Bertrand
logiciens contemporains.
deux
la ;< ed!.
celle de Hilbert, expose dans
appendices ajouts
der ~om<.'
Utber ~<M ~M~rt~,
</<~r die
tion des GrM't~fM
Cf. H. Poincar,
C'wtfMtt~M der Logik M~ der .-fff'~M~.
&MW<' <t M<f<Mt:. chap. IV.
les notions que M. M. \Vint<fappe))e~MM.
(;) MtMpatement.
~MM /'t<<.
<)MtM)t., passim).
mO(KO.~<;MM (La ~M<
=149=,
t'/BF~
Jt~tr, p. )0).
-1M==
,\1
~POGj~, J~C~
J~t
tOACtr~C'jV
6J'A/
Ji
de )'.)~~re
fo~iqi~
chriH, sans doute, les principes
et lui ont permis de prendre dcidment place au rang
des sciences exactes; mais le champ d'application de
leurs mthodes est rest, matgte icurs efforts, extretrcment limit.
Quoi que l'on pense, cependant, de )'a)ge~re logique,
on doit admettre que l'essor rentarqu~bte pris par cette
science dans les dernires annes du xtx" sicle est un
II tant y voir ia dernierf. mafait historique important.
tardif, du grand mouvemeot t
nifestation, t'aboutissement
atgtbristes.afdpense qui, prpar par les prennes
krnn par Dejcartei.. s'est dveloppe avec ampleur au
cours du xvut' sicle et :<transt'urm peu a peu ta physionomie de la science mathmatique.
thories
Apres avoir pass en revue les principales
dont noub parlons a donne
auxquelles le mouvement
c.tissance, nous sommes a n~me de ..))scerner plus net!cs vues genera'es et !es tendances
tement qu'auparavant
intellectuelles dont ces tMcrie', sont connexes.
la conception de la science
en somme
Quelle est
que la pratique de la mthode atgbricomathmatique
de cette mlogique et la confiance en t'omniputence
thode devaient naturellement
suggrer au:: mathmaticiens ?
i.c trouve, comme nous
A la bitse de cette conception
le savions dj, l'ide que la Mathmatique
parfnite
et mcanique dont les
serait une science synthtique
calculs s'cOcctu .raient,
pt-'ur ainsi dire. :)u<omatiqueviennent, cependaht,
ment. Sur cette ide tondament~e
s'en greil'.r deux nouvc!
que nous ne trouvons pas
encore chez Descartes et chez Leibniz mais qui sont
conformes l'orientation
generate donne par ces savants la pense mathminhique
savoir, d'une part
-i61-
~0~
"?
.!<?'<7N
DES ~~yN~.M~?7C7~A
~oc~cujV
M~
(.c~y'y~'MAyR
M. Les limites
de la logique
(').
JL'M~
.i;(;~YW~
/)~\i. ~~7~~(~JV~
~00~,
j~c~
c~
coA'c~o~v
.yyA'Mf~]~
== tsa==
~C/A''ty~
CM JM~MAf~~c/M~'
~(POG~F, C~C~V
Si l'on voatatt faire une tude approfondie des rapet de la Logique, il faudrait
ports de la Mathmatique
ce que l'on
commencer par dnnir rigoureusement
entend par ces deux mots. Or, ce n'est pas l chose .use
et c'est pourquoi ta question qui nous proccupe a donn
lieu, si souvent, des malentendus.
Comment obtenir, en effet, une dnnition gnrale
des Mathmatiques?
Pour y parvenir, on devrait, semblet-il, rapprocher toutes les thories qui relvent de cette
science, et chercher en dgager tes caractres communs.
Mai", outre que t'en se mettra difncitenMnt d'accord
sur l'importance relative des divers caractres observs,
qui ne voit qu'une dfinition ainsi donne a ~<'n't'r/
sera presque certainement
trop troite ? Sous le nom de
Mathmatique, en effet, nous comprenons non seulement toutes les thories dcj construites par les math<
maticiens nuis aussi toutes celles qu'ils tudieront dans
l'avenir. Et, pour le savant moderne en qute de d*
couvertes nouvelles, la question principale est prcisment de savoir comment on pourra s'carter des routes
dj frayes sans cependant dtourner la Mathmatique
de sa destination finale.
La plupart des penseurs qui ont tudi tes<bndements
de t'Anatysc dfinissent
cette science par son objet.
Parce que l'Analyse opre d'ordinaire
sur des quantits
et parce que la notion de quanalgbriques continues,
tit continue paraitquivatcnteceDe
de grandeur gomtrique, on dira, par exemple, que t'Analyse est la
science des rotations spatiates.
Louis Couturat sembla*
blement
se fondant sur tes tentatives c~ctu~es par
certains logiciens anglais pour ramener la notion de
nombre irrationnel
(quantit algbrique) la notion
d'ordre
dfinissait la Mathmatique,
en t9')<). comme
la science formelle des relations d'ordre
Et it eri~tM-
~<A
.!T-V7'~M
/V
.M~?-~A~r/C~~
i~et
Ls /')')Wf/w
,~)
.M<f<~Hi.)/)'j;M<t, apuj
.904, p. 67S.
-=-t58=.
&tM<'
~< .\M.MH;f~,
~MC~F,
DJ?M~
.M
f0.vr~7'M.Y
.?}\Yr/r/.y7'7?
~M~
.yr/Y77~f'
/)~
.t/~?V/AW/<t7~Y.t
c.~60~
VA' M~T7~TP
11
r.
.!C~Mf'fOt'6-
DM ~~TM~~Ttf/M'
tuent ).t
rductton des postulats . c'est en son~r.
suivant la concoptton de l'cole d: Peano, la
J
d~c~tK,~
!') ~fM<
M<<
~poo~D~c~
DE
~t
co.vt~y~~
~yA'T/~yvA?'
Or, pareille
sition des postulats en leurs etementst).
est nt~ni'e~ement
lorsqu'il
impossibie
dcomposition
s'agit de h formation des postulats mathmatiques,
ne conLes postulats primordiaux des mathmatiques
On peut en gnra) les dportent point d'tments.
manires. en scpia~ntAune
composer d'une innnitde
inf!t)it de points de vue diffrents, et parmi toutes les
Jecumpositiom
possibtes nous n'nvons premire vue
aucune raison de choisir l'une plutt que t'autre. Chercher laquelle est h plus simp)c" e le p!ussouvent une
d'aiiteurs, cctjuiimpor'e
questiondpour\'uedes~n.i.Et,
nxerti; point de dpart d'une
au5avanttorsqu'iid)etche;t
thorie, ce n'e~< pas que ce point de dpart sot simple,
mais qu'il soit tcond. Or, par queFe opration logique
de puspourrait-on recom'ahre a )'av:u'.e qu'un systme
nous fera
utiles,
tutitts nous conduir.! a des dcouverts
?
pntrer au cur de la ralit mathmatique
ou goEn fait, i) n'existe pas de thorie a~bri~-e
donn de postulats,
mtrique, fonde sur un systme
c'* but, et c'est
pleinement
qui permette d'atteindre
doivent
de mathmaticiens
pourquoi les conceptions
enrichies. Ces
rvises,
modittcs,
tre constamment
et c'est
indtermines,
conceptions sont essentieHemcnt
aux conceptions des
par ce caractre qu'eues s'opposent
ne s'attacht
car ces dernires,
qu'aux
logiciens
des choses, supposent ncesrela!ions et au groupement
sairement des tments fixes cotnbinabtes ou decompodtermisab!es. c'est--dire des notions rigoureusement
et en extension, qui puissent sc
nes en comprhension
\'oi' pourquoi. sans
pteM-ra des oprations mcanique".
c mp)ete et tijiinitive
prtendre donner unednnition
'"us
Je la Mathn::uique et de !a Lon'i~
pouvon'; en
())Cf. fc~.n~~<
U<M"?M<~
==~63
==
r/D~t
-K'/JMfW/fJf
DES
.M.t]7/~U~r/C~JY~
JaDvier ~04,
p. 4o-4t.
=MA~
CMC~yvOA'
~yAr~y/~M
p.
r/D~
.s'f/twrwfjb'
M'.y A~~M/M~77c/A'
tM
~(W~,
D~M~V
LA Cf.\C~'70A
.V/T/~/i
c'est-dire
avec
soin
soit-elle,
parfaite
quelque
!cs postulats
et quelque loin
qu'en aient t choisis
~Ht7~
r/B~
.MMjvrw<?CE
DES M~f~MC/s~~
ne pourra
qu'en soient droutes les consquences
jamais satisfaire la curiosit et les aspirations du mathmaticien. Pour acqurir sur les fonctions
des connaissances neuves et fcondes, it est indispensable
de
retoucher
sans cesse les dSnitions
et les principes
sur lesquels on opre.
En d'autres
termes, les progrs les plus importants que ralisent les mathmaticiens sont obtenus,
non en perfectionnant
la forme,
mais en modinant le fond de la thorie. Ces progrs
ne sauraient tre regards comme
tant d'ordre logique.
Dans la discussion qui prcde, nous nous sommes
attachs aux postulats des thories
parce que c'est
l'occasion de ces postulats que l'insuffisance des mthodes
!og!ques apparat le plus clairement. Mais les remarques
non seuleque nous avons faites trouvent s'appliquer,
ment au point de dpart, mais d'un bout l'autre de
l'oeuvre mathmatique.
Les systmes ou thories que construisent
les mathmaticiens prsentent
toujours, en effet, certains caractres bien dtermins
qui ont t mis en vidence par
les gomtres grecs et qui tiennent
la forme logique
de ces sytmes. Ils se prsentent
sous l'aspect d'une
chane de propositions;
nous voulons dire qu'ils sont
constitus
dduites
par une suite de propositions,
les unes des autres, et se succdant ds
mthodiquement
lors dans un certain ordre que nous dictent les ncessits
de la dmonstration.
La prsance ainsi tablie entre un
un ensemble de proprits
par exemple, les proprits
du cercle ou de t'ettipse
est fondamentale
au point
de vue logique
parmi ces proprits, en effet, il en est
qui sont plus rapproches que d'autres des dnnitions
et des postulats, et qui doivent par suite tre classes les
!~j6
==
r/j~t
.y<:7~.v~y(;'r/:
/s
A/~'M~'Y.~
De mme que,
mathmatique.
champ de la spculation
pour mettre sur pi~d une thorie, il nous faut limiter par
un choix initial les principes que nuus plaons la base,
de mme, pour poursuivre la thorie, nous devons renoncer t'embrasser tout de suite dans son entier; nous y
distinguons donc des parties que nous tudions sparment, des tapes que nous parcourons successivement.
Toutefois, si nous oprons ainsi, c'est toujours en vertu
d'un acte volontaire dont nous avons parfaitement cons.
une
cience. P"ur donner aux thories mathmatiques
structure solide, nous avons dccid~ de leur donner )i
forme de systmes logiques;
mais, constatant que ces
tre diversystmes sont artin:ie!s et peuvent d'ailleurs
nous comprenons
sifies l'infini,
qu'ils ne constituent
ni le principal
de cefc
ni toute la Mathmatique,
science. Derrire la forme logique il y a autre cho'e.
ne se borne pas dduire et
La pense mathmatique
tout en rendant hommage a t'uvre acconstruire;et,
complie par les to~~eiens du xix* stecte, on est en droit
Il La logique est fonde,
de dire, avec M. Winter (t)
t.
l're des difncutts
scientiliques commence
III.
Loa limites
de l'Algbre.
[:
se
La conception
d'aprs laquelle h Mathmatique
rduisait
un systme de combinaisons
logiques est.
des succs remnous t'a'uns
vu, une suite naturelle
Or, cette conception,
ports par la mthode algbrique.
lorsqu'elle fut prcise ct expose au grand jour, ne r
l'orientation
trouva plus conforme
qu'avait )nit
r
!'Ana!yse au cours d'j xtx''sicc)c.Cc))e-ci.pour
tes raisu")
/<</'t)7wo/f'f
(t) M. Wit'.ter. ~.t m.~oA t/~M~
P. 7~.
==!
Ai<t<~M<~M)
APOGE,D~M/Ar
C(/A'C~'/<.<~ ~y~7Y.H'A'
lit
/B~tf.
~M~v't.
DES ~~rv~.M~y/c/B~~
avons dit aussi dans quelles conditions, grce la cration du calcul des sries de puissances, cette ide avait
acquis, vers la fin du xvu* sicle, une extension que
n'avaient pas prvue les premiers atgbristes. Ainsi fut
constitue, peu peu, une thorie gnrate qui compre.
nait toutes les fonctions susceptibles d'tre tudies par
!cs mthodes de l'algbre (t). Ces fonctions sont aises
caractriser. Ce sont (pour nous borner au cas d'une
seule variable) celles qui peuvent tre dfinies comme
sommes de sries de Taylor (2), oa sries de la forme
(r)<t,+<t,~~)+<t,(~.)',)~+~)'tprocdant suivant les puissances de la diffrence (x xo),
et dans lesquelle x est la variable (dont dpend la foncune vateur particutire~
tion) et
prise par cette variable.
Quelque considrable que ft l'extension ainsi donne
la notion
de (onction,
cette
extension
pouvait'
elle, cependant, satis&ire pleinement
les mathmaticiens ?t
On le crut, tout d'abord; mais vers la fin du xvm'
siete, il devint manifeste que la thorie des fonctions
ne saurait indfiniment
rester enferme dans le cadre
que lui imposait la mthode des sries de puissances.
Les problmes poss par la physique devaient, en effet,
ncessairement la faire dborder de ce cadre en obligeant
les mathmaticiens tudier des fonctions discontinues
(t) (Le calcul des sries tait, dans la pense de ses auteurs, un
prolongement de Mj~bfe ornent!))! e~. Cf. tM~M,chapitre U.
(a) Ces sries sont, ou fond, celles mmes dont <aiM)tnt usage
Newton et Leibniz. La forme tous laquelle elles sont aujourd'hui
employes a t indique par Brook Taytof dans la M<<Mt<<twrtM~~tf~ dirala et tow~a, publie Londres
en t~
=i~=
<<foc~,
~!c~
J~~f~
~C/RVMF~)'~
NB~ .M.n'/f~f~T'/C~M'~
~poc~F,
~MM
CDA'c~pf/o.Y ~y~r~TM~
o~
r/Dj~
~M
.s'c~vy/f/~
~u~r~Af~r/c~
d'it.
176.=-.
~0<M~,
~C~Y
DJM
LC'AC~Y
.~A:r~7A'<f
=
luu
MDj}~
~MNVTWCM
DES M~M~Af~MC/FM
~M~A',MCMArM~co~C~y/M',4'M~y?'A'
IC
/?~
.yc/jM'w~M
DES ~~y/y~~j'~M~
resp~ndanees
plus simples. Elle a un caractre extraalgbrique.
Ainsi, quelques dtours que nous ayons recours,
pour perfectionner la dfinition algbrique de la {onction.
nous aboutissons
toujours la mme constatation.
Notre dnnition reste incomptete, et
inadquate l'idde
que l'Analyse moderne se fait de ta fonction. La puis.
sance de spculation
du mathmaticien
dpasse !e pouvoir constructeur
de !a synthse algbrique.
.no-
CHAPITRE
LE POINT DE VUE
L'votntion
IV
DE L'ANALYSE
de l'Aaatyae
auXIX'aMo!e
MODERNE
mathnatique
En suivant le dvetoppement
de !a pense mathmatique depuis t'antiquit grecque jusqu'au !eui) de la p*
riode contemporaine,
nous avons vu prdominer (t) successivement
deux points
de vue, deux tendances
diffrentes.
Le savant se borne d'abord constater. Il regarde autour de lui, non point disait Platon
avec ses yeux,
dont la vue est grossire et limite aux objets sensibles,
mais avec cette facult de vision intellectuelle
que possde l'entendement,
et qui lui permet d'apprhender
les
vrits mathmatiques
essentielles.
Ainsi sont perues
les proprits harmonieuses
du monde des nombres et
(r) Il va MMdire que tes tendances que nom ctKr<:hoM opposer coexistent toujours, quetque degr, dans les priodes de
grande activit mathmatique, non !eu'en]ent chez des savants
d'coles diffrentes,mais souvent chez un mme individu. Lors
donc que nous ditiingaon$ ces texd.tntes dans ie ~N~, nous vou'
)onssimplement dire quetette ou telle d'entre eUesest prpoodt'rante t un moment donneet caractrise t'id~t scientifique d'une
Epoque.
t)!<<
/0/~
.S'C/V't'~
~A'.V .U.477/V/<?'/C/
du monde des figures, celtes aussi des grandeurs mesurabies, chez lesquelles s'opre la synthse de h quantit
et de la
et de la figure, la runion de l'arithmtique
gomtrie.
une rvoluAvec la diffusion de l'algbre, cependant,
De contemplative
tion s'accomplit.
qu'elle tait. la
Il en rsulte une mthode
science se tait constructrice.
et un point de vue entirement nouveaux.
Composer, partir d'lments
simples, des assem*
blages de plus en plus complexes et btir ainsi de toutes
t'dince de la science,
pices, p~r sa propre industrie,
La
telle apparat dsormais la tache du mathmaticien.
facult cratrice du savant se trouve tel point exatte.
dans cette priode nouvelle, que, de moyen qu'ette tait,
elle se transforme
bientt en bat. Laissant aux praet d'utiliser ses thories, le
( ticiens le soin d'interprter
`
de l'cole algbriste attache moins de
mathmaticien
prix aux thories construites et aux rtuhats acquis qu'~
la mthode par laquelle il y parvient. Son but principal
des faits nouveaux,
mais d'acn'est pas de connatre
crohre sa puissance cratrice et ses ressources de consde plus en plus ses procds.
tructeur en perfectionnant
Cependant, les progrs mmes de la mathmatique
algbrique ne pouvait manquer de faire surgir certaines
difncutts et d'amener une raction. Avant mme que
cette nmhnMtique
et achev de dvelopper ses me'
tttodes et d'a~eoir sur des bases logiques rigoureuses
t'dince de la science 'ce qui tut, en gros. t'eeuvre de la
premire moiti de Xtx* sicle" un lger malaise, puis
dont nous
des tendances nouvelles se manifestrent,
avons cherch tout a l'heure & dterminer les causes.
des mathmaEn creusant la conception a'gbriste
tiques, en pntrant aussi avant que possible dans son
la
principe, nous tions arrivs la formule suivante
~182
~j<MN
~?'M~7'?<7~
~P T/.r* .!fAMR
-=tt)3=.
B~ Af~VY~U.t'/C/~A' 8
AC/A.VJ/
o,
t-
<x"
-r
<M -t-
a.
== o.
~Mty.M
.)~7?//?.t/.n/~
/)f/ .v/.v
-s/<
t~'
<M'
<'
-t- <~
-)- <?<.i.-
-<!==
o~
t'/o~
.s'c/vywcM
BM ~Aw~r/c~
proposition en question
des quations, grce aux
re'
et d'Abel lui-mme,
nouvelles et prenait une
importance ptus grande que jamais. !t avait suffi, pour
lui imprimer cet lan, de modifier t'nonce du problme
ne poupos, et d'attaquer de biais la difficult que l'on
vait aborder de front. Au lieu de chercher une expres.
sion algbrique
des racines des quations, on s'effora
telles
d'isoler certaines familles ou classes d'quations
que les racines des quations d'une mme classe s'expriment par des formules atgbriques en fonction les unes
ainsi toutes les quations d'une classe sedes autres
rsolues en mme
raient si l'on en rsolvait une
temps, fait d'o le mathmaticien tire des consquences
et p!us utiles que celles auxquelles
plus intressantes
racines.
pourrait conduire le calcul effectifdes valeurs des
Adoptant un point de vue un peu dinrent, on peut
se demander
quels sont les nombres qu'il
galement
faudrait adjoindre aux nombres ordinaires a (nombres
traire qui arriva. A peine la
MU'eHe tablie que la thorie
Galois (!)
travaux d'Evariste
bondissait dans des directions
r~~f~
~TWj~T/orp
t~"'11" +
+<.
~o
/*<
-y-
= Jof 0 1'~<'n<"
Rn~~i
.+< -P~ ap
Jo
x est inver.<ment
une certaine fonction
de .(, que j'apOr on constate que cette fonction est tacite A
pette p
construire et jouit de proprits
extrmement
remar
quables. Elle appartient la ~mitte des fonctions elliptiques", qui est apparente a cette des fonctions trigonomtriques, mais est beaucoup plus gnrale. Ds tors,
lieu de s'attaquer
directement
ptusdediMeutt-~Au
on l'tudiera indirec'
l'intgrale qui donne la vateur de
tement en analysant les proprits de la fonction~
On constate d'autre part, que t'intgrate dcnnic
+
/<
-+<
==
.<
J"
-~7*~
-)-<)<
7~M.f~.V.tV/C~.Y.?
~<Y?/r/:
(.)
Intgrales
rationnelle
polynome
de )it force
des deux
en x du
~*R
0
(x, M)~,
R e.t
une
quantits x et M et o M =/Fi).
ou 4V degr.
-~M~
foo~t!~
P cun'
t
A/A' ~(.ijb'
~M~n7/
~1S'
~D~
~cv~/vM~p~
DES M~ya~M~~cJ'
j~MAM~
M~yN~~y~~B
j'/<r' .M~M~f
certaines
pourvu qu'elles
rgles formelles et
conventionnelles.
Usant de sa hbert, le mathmatiden
a naturellement
commenc par tudier les thories lacelles auxquelles le langage de t'atcites, c'est--dire
gbre s'adaptait exactement. Mais, puisque ces thories
ne nous suffisent pas, comment nous y prendrons-nous
et dans quel sens nous dirigerons-nous
pour les dpasser ?
On dira peut-tre que le mathmaticien
sera guid
dans sa marche par la proccupation d'aboutir des rsultats intressants et tconds. En mathmatique comme
en physique, c'est le succs qui justifiera la recherche et
qui la dterminera la faon d'une cause finale. Mats
qu'est-ce au juste que le succs Car il est clair que si
nous restons dans le domaitx: de l'Analyse pure, le sue*
~i~~
r/M~
.yc/&A'W/~<
.M~n/C/~Y~
i'y~
MXM~~pM
AU <r/j)'' ~~c~
SCIENTIFIQUE
~B~ Af~r~c/A'
la forme danstaquet'e
problme ainsi pos est mout sur
se propose d'tus'opre la composition algbrique. On
dier. entre toutes les courbes, celles qui correspondent
des quations polynomales et on les envisage dans
l'ordre mme suivant lequel les quations corresponSembtabiement.
dantes procdent les unes des autres.
transcenlorsque l'on dfinit la fonction analytique
dante comme ht somme d'une srie convergente, on vhe
de
constituer une thorie o objet et instrument
se tondront l'un dans t'autre, puisque
dmonstration
t'on donne comme but au calcul des sries l'tude des
proprits mmes de ces expressions.
Si nous nous tournons maintenant vers la science
dont
contemporaine,
que voyons-nous ? L'harmonie
disnous venons de parler a presque compltement
il nous est
paru. Lorsqu'on nous propose un problme,
le plus
impossible de prvoir quels sont les procds
souvent trs indirects
qui permettront de le rsoudre.
Inversement, quelque rompu qu'il soit au mcanisme de
ne voit pas toujours claireson art, le n~thmaticten
ment quels sont les problmes auxquels il doit appliquer
cet art. De l vient qu'aujourd'hui ce n'est pas ncesMiun
rement le mme homme qui est, en mathmatiques,
les quatitcs
inventeur original et un habile technicien;
la dcouqui font de l'un un novateur perspicace, apte
ont
verte, et de l'autre un maitre de la dmonstration,
cess, semble-t-il, d'tre les mmes.
En d'autres termes, un dualisme se manifeste au sein
des Mathmatiques pures. L'appareil dmonstratif, d'une
conditions dtermines,
part, doit satisfaire certaines
et il possde certains caractres propres, qui sont ceuxmmes que nous avons mis en lumire dans les deux
concerne la dmonschapitres prcdents (car, en ce qui
tratioa, rien n'a t chang
.f"
par les goMtiom modernes
==194=
<
r~~y~y~y/t~
A~
~~c/
L'objectivit
Pour
des
expliquer le caractre et les tendances
nom avons t amettes
MathUMUques contcmpuratues,
t eotpioyer certafue~ expre~totis, duot aou;. nous tions
dej servis lorsque nous cuM&tden~)ts les Alatheuumjues
de
grecques, mais qu'eti ~tuutam iapenouc
ajgebnquc
la scieur,
noui. avions le plus po~tbte evaeeii. ~ous
avuus parl detM<tOtMOUt<M~MM~~,de/af~
NM~M~fj.
itxpreMioos cuntfhoJe&, uMis ambi~uc~.
Ne doit-on leur attribuer qu'un? valeur mtaphorique,
uu peut-ou, au <.outratre, en SMpta~aut au
puint de vue
de la science actuelte, leur douuet
une Mgntttcauon
preose et pusitive ?
Qttut que t oa pense de cette quciinon,
il est ua poiut
qui, eu h<ut cas, Hous par; h acquis. Cest que, s')tyy a
sousiesturtMUie:, et les dductions matbemanques
des
nouons ob~eenves, ces uotious ne Sont pai.
u on~tMc
Un
nou~
o
avuns
ta~aucuue
empirique.
remarquera que
daus
le cours de cet ouvrage, aux doctrines
!Htut)ou,
qui, punr u~ mouis et avec des argumeuts
utvem, out
<="t9{.ea
/M'.<yC/Y7/~t
A' M'
~H~~?J(/~A'.S
maticiens
tendances
cherchrent
philosophiques
traiter d'un point de vue scientifique rigoureux la ques*
des notions
ce fut
tion de l'origine
mathmatiques,
semb)e-t-i!
!a doctrine
dSnitivement
pour rfuter
des empiristes.
Nous n'avons pas besoin de reproduire ici les arguments que l'on a fait valoir contre cette doctrine, argude notre temps ont
ments auxquels les mathmaticiens
adhr. On les trouvera exposs
presque unanimement
dans tes ouvrages philosophiques
d'Henri
notamment
Poincar.
Nous considrerons
donc comme admis que
au
ne sont pas empruntes
les notions mathmatiques
monde sensibte o elles ne s? trouvent jamais qu'imelles ne sont pas non plus un
ralises
parfaitement
car elles sont exemptes de tous
produit de l'abstraction,
les caractres sensibles dont est forme notre perception
des mathmades objets rels; enfin les propositions
au
tiques ne sauraient tre regardes comme objectives
sens empirique du mot, car aucune exprience physique
la vrit ou la fausset de
ne pourra jamais dmontrer
leurs postulats.
=M==
t
J
/<H'.Y~
.M.tW~f~fCt'A'
,tt? ~Y'
.f/
J~D~A
.?C~~VT7M9P~
PM
M~y~W~MM~
f~M&MN
~]W~~9M'
AU
~,199=
~PJ~
.?C7M'7M9!~
DM JM~yN~<<y/C/M~
ment impossible.
Aussi bien, lorsqu'ils soutiennent que notre science
ce n'est
est <*commode Il et <tadapte nos besoins
science avec l'exppoint peut-tre l'accord de cette
rience que les pragmatistes nominalistes ont principalement en vue, mais plutt le fait qu'elle est conforme
la nature de notre esprit et bien adapte aux conditions
s'exerce notre activit intellectuelle.
dans lesquelles
En cas, la thse pragmatiste nous parait-on dmentie par les conclusions auxquelles nous sommes parvenus plus haut. Nous reconnaissons que le mathmaticien vise constituer une science qui soit, au sens
mais nous
indiqu, aussi a commode e que possible
galement qu'il n'y parvient pas, ou, plus
que, malgr sa puissance et sa richesse, la
ne saurait nous suffire. La
commode
mathmatique
la mieux adapte nos besoins
mthode mathmatique
est en effet, sans nul doute, celle de t'Alintellectuels
constatons
exactement,
!M =
~M~MF
~?w~r~t~
AU XIX- ~/AM~
mathmaticien.
s'imposent
l'esprit
Ainsi nous sommes amens attacher une importance
de plus en plus grande ce connit, intrieur la science
mathmatique,
que nous avons cherch plus haut
mettre en vidence, - conflit que les mathmaticiens
professionnels auront peut-tre quelque peine expliquer, mais dont ils ont, en maintes occasions, un sentiment trs net et trs vi f.
Or, circonstance remarquable, si au Heu de nous
attacher aux vues de M. Le Roy sur les thories mathmatiques, nous envisageons l'ensemble de sa doctrine,
nous y trouvons l'indication
d'un conflit analogue.
M. Le Roy admet, lui aussi, que l'sprit
humain
dans ses
n'agit pas librement, mais qu'il est contraint
crations, qu'il est oblig de tenir compte de ncessits
11 pense, comme nous, qu'il y
qui lui sont trangres.
a un dsaccord irrductible entre la matire et l'instmment de notre connaissance. Mais M. Le Roy place autrement que nous la coupure qui divise le domaine de
la connaissance discursive de celui des donnes objectives. Pour M. Le Roy, la science toute entire appartient aa premier domaine, et le philosophe seul a le privilge d'entrer en contact avec la ralit, avec le donn
primitif. Sans doute il y a dans les faits un rsidu
Sans doute, si la connaismystrieux d'objectivit ( t)
sance humaine est par un certain ct a construction
d'une
elle est, par un autre, dcoupage, < morcelage
matire trangre. Mais la science,
occupe seulement
du morcelage caractristique de son point de vue e, ne
considre pas cette matire. C'est la critique philoso()) An. dt., &fM <~~Mo~t~M,
M.2MM
tg~, p. !<8.
r~D~t
~M~y/~p~
DES M~y~r/M~~
20:! .=.
(
s
t'ty~
M~rjfj~?7c<7F
~P ~jr*
.y~cM
fait mathmatique
est indpendant
du vtement
logique ou algbrique sous lequel nous cherchons le
en e<!et l'ide que nous en avons est plus
reprsenter
rich: et plus pleine que toutes les dfinitions que nous
en pouvons donner, que toutes les formes ou combinaisons de signes ou de propositions par lesquelles il nous
est possible de l'exprimer. L'expression d'un fait mathPar contre, le
matique est arbitraire, conventionnelle.
fait lui-mme, c'est--dire la vrit qu'il contient, s'impose notre esprit en dehors de toute convention.
Ainsi l'on ne pourrait pas rendre compte du dveloppe-
<aOS==
MP~~
~C/MM~!7~
D~~ M~m~~T/C/M~
mentdes thoriesmathmatiques
si t'on votait voir dans
les formules algbriques et dans les combinaisons logiques
les objets mmes dont le mathmaticien poursuit t'tude.
Au contraire tous les caractres de ces thories s'ex,
pliquent aisment si l'on admet que l'algbre et tes propositions
logiques ne sont que le langage dans lequel on
traduit un ensemble de notions et de faits objectifs.
Les algbristes et les logiciens ont raison de regarder
la Mathmatique comme un systme atgbrico-togique.
C'est en effet sous cette forme que se prsentent les
thories j( acquises, et c'est sous cette forme galement
les taits nouveaux que l'on
qu'on s'efforce d'exprimer
veut incorporer dans la science. Prenons et dmontons
nous
une partie quelconque de l'difice mathmatique
n'y trouverons rien qu'un systme de dfinitions et de
noncs dans la langue de la logique et de
postulats,
t'atgbre et associs suivant les rgles de ces deux arts.
Mais si nous cherchons discerner
les raisons qui,
dans le travail de recherche, ont dtermin le choix du
mathmaticien,
si, faisant, autant que possible.
abstraction de la forme de l'exposition et de l'appareil
de la dmonstration,
nous envisageons en eux-mmes,
les uns aux autres, regardons sous toutes
comparons
leurs faces, les r&uttats auxquels aboutissent les thonous
ries, les objets vers lesquels elles sont diriges,
observons alors que les caractres les plus frappants de
ces objets, les mrites que les mathmaticiens semblent
rechercher en eux, n'ont presque rien de commun avec
les qualits formelles de la thorie atgbrico'togique.
Quelles sont, en effet, les qualits auxquelles se reconnait la beaut et la solidit d'une /&bfM Ettes rsident, d'une part, dans la simplicit et la prcisici
des dnnitions et
la comprhension
bien dtermine
des postulats, d'autre part dans l'enchainement rigoureux
=N4~
L'ANALYSE ~77/&M<<?7<?t'~
rvo~z.
Ac/~jvr/~M-
DES Af~t~c~
l'1
&W.;rM
AM?'B~tM!YOt~
jr~<' .s~MB
r/D~
.M/~rw<?M
DES jf~yjf~~NM~M
auxquels nous saurons les reconnattre ? Autant de problmes que les analystes doivent rsoudre. De ces proont reu leur solution, d'autres
blmes, quelques-uns
l'attendent encore
mais ceux-l mme sont poss d'une
nous ne devons, ni
faon ncessaire, objectivement
ne pouvons les luder.
Transportons-nous
pour rendre notre conclusion
plus claire en l'appliquant un cas plus simple et plus
spcial sur le terrain de la gomtrie. Qu'est-ce,
4
une
proprement
parler, qu'une courbe gomtrique,
ellipse par exempte ?i'
Sous le mot ellipse
ne doit-on voir qu'un renvoi
une dfinition donne en termes logiques, telle
que la
suivante
on appelle ellipse la courbe lieu
des points
dont les distances deux points axes appels foyers ont
une somme constante ? Cette manire de voir n'est
pas acceptable, car une dfinition quelconque de l'ellipse
n'est, videmment,
que l'nonc d'une proprit particulire de la courbe, arbitrairement
choisie entre une
infinit d'autres
or, nous l'avons dit dj, c'est t'ensemble des proprits de l'ellipse, et non
pas seulement
l'une d'elles, qui constitue un tre
mathmatique.
Pour une raison semblable nous ne saurions identifier la notion d'ellipse avec celle de l'a
quation de
la courbe
Essaierons-nous
alors de caractriser
l'ellipse par sa figure, en la regardant,
par exemple,
comme un ensemble
de points, qui sont
juxtaposs
dans certaines conditions?
Mais
prsenter
l'ellipse
comme un compos de points est videmment une vue
artificielle. Non
une ellipse est un tout
qui ne comde
c'est
une
sorte de monade leibnipas
parties
porte
t zienne. Cette monade est grosse des proprits de l'elalors mme
lipse je veux dire que ces proprits
<=*t!M
n
S
<
t
r~~MF
~w~M
~i7
~~c:~
~j
/0~
.K'/MMf/<~B'
DES JM~T'M~MC/V~
A'MN
~y~~yv~
j'r.
~~c~~
un continent inconnu, et
qui cherche en couvrir
les
richesses. les rgions intressante
s. sans d'ailleurs sa.
voir A J'avance de quel ct il doit au
juste diriger ses
recherches pour atteindre son but.
Ainsi, au cours du xtx* sicle. le jugement du mathmaticien l'gard des dinrenfe&
parties de la science
s'tre
renvers.
Ce
parait
qui nagure l'intressait le plus,
c'tait la dmonstration,
c'taient les procdes et te succs du calcul
les rsuttats et tes combinaisons obtenues
pouvant videmment
diverger en tous sens et tre multiptis l'infini, on n'avait pas lieu d'attacher un grand
t'unit que poursuivait
prix leur numration;
la
science ne pouvait tre qu'une umt de mthode. Aujourd'hui, au contraire, c'est le rsultat qui compte et
son unit; les artifices de la dqui donne t'uvre
monstratio
ne sont que les travaux d'art sans
lesquels,
parce que nous ne savons pas voler, nous serions hors
d'tat de franchir les accidents de terrain
qui se trouvent
sur notre chemin.
Mais, dtra-t-on. cette conception de la science mathmatique ne peut pas tre regarde comme nouvelle.
C est, ou peu s'en iam, celle de Platon et des
gomtres
contemplatifs de la Grce. Le renversement de l'attitude
des savants n'aurait-il donc eu
pour elfet que de les ramener aux doctrines de
l'antiquit
En cherchant dfinir ci-dessus les caractres
que les
modernesattribuent
aux faits
nous nous
mathmatiques,
sommusabstenus
de faire des rapprochements
historiques
qui pouvaient donner lieu des malentendus.
Cependant
les conclusions auxquels
nous parvenons,
les arguments que nous avons
dvelopps, le langage mme
dont nous nous sommes servis dans les
pages qui prcdent, suggrent naturcttement
un tel rapprochement.
Nous en sommes venus soutenir
que les vrits math90=.
r/D~t
~c7~7~r<?M
DES Jtf~y~jM~y/c~
de nous,
matiques sont des faits objectifs, indpendants
et que nous dcouvrons et analysons en quelque sorte
du dehoM. Or c'est l une ide essentiellement
grecque.
Nous ineiinons d'autre part ne voir dans la dmonstration qxe l'instrument et non la fin de la science. Ainsi
faisaient les gomtres hellnes.
et celles des
Pourtant il y a, entre nos conceptions
que nous
penseurs grecs, une diffrence fondamentale
avons dj mise en tumire dans le premier paragraphe
du prsent chapitre.
est avant
Pour les Grecs, la science mathmatique
tout une et harmonieuse.
La dualit que nous y voyons
de la matire et de la forme
aujourd'hui,
l'opposition
ne pousur laquelle repose notre ide de l'objectivit,
vaient tre admises par les anciens. Et le systme d'Eu.
clide, nous l'avons vu, tend prcisment taire ressortir
l'accord qui rgne entre les vrits poursuivies par le
et les moyens employs pour atteindre
mathmaticien
ces vrits. Ainsi, selon tes Grecs, tes notions mathema'
sont les images fidles des
tiques que nous tudions
Ce qui est le plus parfait
ides qu'elles reprsentent.
pour nous est en mme temps le plus parfait en soi. De
la facilit, la passivit, de la conteml la spontanit,
<' intetti'
plation telle que la conoit la science antique
voil
dit
gibilit et tonnante facilit de ~Mgr~,
assoles caractres miraculeusement
G. Milhaud (i)
cis par la Mathmatique
grce l'id& que seule et toute
De l aussi cette
pure veut manier le gomtre
croyance que pour orienter ses travaux dans la bonne
ce qui est
n'a qu'a rechercher
voie, le mathmaticien
simple et ce qui est beau .
au contraire,
Chez les modernes,
qui ne croient
(t) G. Mi)!Mud. Lit PMoM/'t<fG<<HK~M la G~M, p. 7.
~:t2=.
q
)
A'y~
<i;7.t' ~Ac~c
~y~M~t~
IM.
La doctrine
Nous venons
intMitioniate.
-M3-
~~iT~/~BA~'
.S'C/~7M?<7/?
un certain point la
pensent mme pouvoir ratiser)usqo'a
la thorie.
sparation des deux lments qui constituent
En pourrait-il d'ailleurs tre autrement si l'on admet
est comparable
une
qu'une thorie mathmatique
ou plutt la reconstruction,
suivant la
construction,
forme d'un moule donn, d'un ensemble de faits objectii~ ? Car comment
serait-elle
pareille reconstruction
possible si l'on n'avait l'avance une certaine notion,
un certain sens, des objets auxquels elle se rapporte ?`t
Sans doute cette connaissance
de l'objet pourra tre extrmement vague et indistincte;
elle ne se prcisera qu'au
cours de notre travail et mesure qu'avancera la construction
si, cependant,
elle ne prexistait pas un certain degr, si faible soit-it, t'cpration
synthtique laserait apparemment
quelle se livre le mathmaticien
inexplicable.
Mais il y a plus. C'est un fait d'exprience
pour le
mathmaticien
au cours de ses reque constamment,
cherches,
certaines
vrits viennent
ides, certaines
frapper son esprit avant qu'il n'ait procd aux dductions et aux synthses qui lui permettront d'en avoir
une connaissance nisonne.
Bien souvent une sorte de
lui permet de deviner des rsultats auxpressentiment
conduira que
ne
quels la chaine de ses dmonstrations
longtemps aprs; et, quoique dpourvue de prcision et
de justification logique, cette vision immdiate des idces
est souvent
et plus pntrante,
plus tendue
plus fconde en suggestions,
que ne l'est la thorie la plus accomplie.
Telles sont les raisons qui conduisent certains mathmaticiens modernes admettre,
comme jadis les Platoniciens, que les notions
mathmatiques
peuvent tre
atteintes de deux manires
par intuition et par raisonneet c'est elle
ment. L'intuition
prcde la dmonstration,
==~4==
n~
a
n
J~M~M~'
~y~<tM<?M'
~c/.A
te mot
<M<t<M<t Utm
5en~
d'imuition
n:ib!e
ftit)'-),
a-t-ii oit, Ktnin est un intuitif (mr~ '.ju'H ~<iJ; du gt~n: pour p<:n6tt il voit, J cherche a peindre. H<:tn'ite. :)u toiur.)irt;. est du <:<)~
des )ogiciet)Savec At'uy et <;i<:r:<trit'i.
/<)~fhM~,
~t. /-<t)~Krf<<'
Pft)i
ftt:nri
~uincjrc
le
tard. p.tr contre,
t<<:rv< nom tt inp. a~
tuition l'intuition supMscOi.ibt' et il lut alors conduit mcdttiet
M dassification primitive des matitenMtieteo!. it fit ptHef Hermite
-:t$-
~o~
M~ jtfj<M~~ryc/
~c/~y/f/9~~
Cette remarque faite, nous sommes obligs de reconaahre que la doctrine intuitioniste
soulev des objections trs graves. Si, comme nous le croyons. les reg! s
de la synthse aigbrico-togique
tes condiexpriment
tions mmes de la connaissance
scientifique, comment
peut-il exister une sorte de connaissance avnt la lettre.
dans laquelle ces rgles ne sont pas respectes
D'autre
part, en prtendant
que tes notions
mathmatiques
nous allons don.
peuvent tre perues instinctivement,
ner A penser, non seulement que ces notions sont indpendantes de nos raisonnements
(l s'arrtait la signification que nous avons donne jusqu'ici au mot c/y~/f-
t M'~ mais qu'elles existent, individuellement
pour ainsi
) dire, dans un monde d'ides pures
croyance dont la
critique
philosophique croit avoir fait justice et qui est,
d'ailleurs,
directement contraire l'ide que nous nous
sommes faite plus hau~de la ralit mathmatique.
A ces objections le mathmaticien
n'est pas tenu de
car elles sont diriges contre des assertions
rpondre
qu'il n'entend pas prendre son compte lorsque, se plaant sur le terrain scientifique, il se dclare intuitioniste.
Le mathmaticien
n'tudie pas le problme mtaphysique
de la connaissance
et n'a pas, par consquent, expliquer comment il peut exister plusieurs manires de connatre. Encore moins est-il oblig de savoir quelle sorte
parmi les intuitifs comme MMl'un des savants qui ont le plus
exerccette fMot<<
(te vision intellectuellesdirecte qce nous <ppe)on!
< intuition fCf. La /<y~M<~fot/ttt, apud ~)'M't/<t</<&)<~< juitict
Nous avons nous.m<me cherch tr~habititer le sens cart<).
t<!siendu mot intuition dans diverses tudes, notamment dans un
.trtictesuf<'<7~'<f<<t'~<<W')~w~ Ah<~M~M<f publi en t~o;,
(R<fw
tM<<<t~~<). Flix Klein a, &diverses reprises, tabli
une distinction entre l' intuition nave et l' < intuition Mfiin~e
distinction qui correspond jusqu' un certain point celle qu<
nous citons ici.
-.216,.t
<
r~~M
dU
~y~~r/c~
~AcZ~
CtC
~UttUUtt
~2t7~
W<
JL~JM~U..M~JS~y~pt~
~t!M~f/(,7~A~
<~
des ngur
par l'tude
mathmatiques
(t), est
en fin de compte, oblig, d'tablir une coupure entte
ces deux ordres de principes. La vritable science des
ides ne serait pas la Mathmatique
ce serait
humaine
une sorte de meta-mathmatique
dont la mthode serait
purement intuitive (2,. Cette dernire consquence, cependant, tait trop contraire aux tendances des ntatMmariciens hellnes pour pouvoir s'imposer leur esprit.
Aussi la mtaphysique
platonicienne
prive lor
la thone des ides, du soutien qt.e
qu'eite approfondit
lui avait donn jusque l la science positive
s'obscurdans la contradiction.
cit, s'gare, et tombe nnaiement
C'est l un point que Al. Brunschvicg a mis en lumire
dans son rcent ouvrage sur Les do/M de la /)/'</CK~
M<!(&;MM~'yf.Mais M. Brunschvfcg
para!t penser que,
pour chapper aux dinicuits qui ont arrt le Plato l'tude
ntsme, il suflirait de ramener la philosophie
des principes rigoureusement
dtermins de la science:
en ce cas, la dualit des nombres et des ides,
qu'en
dans une tausse voie on allait tre oblig
s'engageant
d'accentuer de plus en plus, cesserait
d'avoir une raison
d'tre. Nous ne saurions, quant nous, souscrire ceue
car pour n'tre pas exactement celui qu'enconclusion;
visage Platon, le dualisme, dans la science mathmatique.
n'en est pas moins nos yeux un fait positif, qu'il s'agit
d'expliquer et non de supprimer.
Abandonne
pendant de longs sicles, la doctrine intuitioniste
renait et se modernise
dans la philosophie
de Descartes.
Circonstance remarquable.enenet.c'estchez
Descartes,
en son temps de la Mathmatique
principal promoteur
()j Cf. Gaston MithauJ. Les Mf/Mo/'AMG)<M~) <~ / G/<~
passim.
(t) U. ChapitM premier, p. 64.
218
r~~MF
M7W~'79M'
~tf <f/
~Ac/
Il
~ttf~.t.iX.p.s'.
La ~M
fCbKWt
(~ G. Dtrboux.
~!<w du <MM, to janvier igo6, p. 46.
~:t9-
Mfr. d.
Charles
A~m-Tannery,
H<nM<~
apud
Z'/D~2.
~C/&W!M
M~
M~rH~~y/C~M
aux ~<MM~
t. VI!, p. ;;<.
uvres,
(t) ~MW
'<
Pour
ce
est
de
l'intellection
d'un
il est
(a)
qui
ehitiogone.
et tout t la foi!.
trs certain que nous le concevons trs clairement
nous ne Je puissions
ainsi imaginer u.
pas clairement
quoique
Q:uo. t. VU, p. 38$.
~<M)<M aM~f ~of~teto,
Continue
())
quodam motu imaginitionis
"(f<<~<tA<VJ), "<
t.Xp.;87).
?0-
r~~yw
~MN~T~M
AU
~&M~
L'ANALYSE ~7W~7Y<?M
~)7 ~jr.
~&CH?
le quxdritatere.
le chitiogone
complexes du point de
vue de la dduction sont
simples au regard de l'intuition
il y aurait donc une infinit de natures
simples.
tn fait, Descartes ne se dcide
pas, et de l vient la faiblesse de son systme, faiblesse
qui devait se manifester
plus ouvertement
danst'uvre
de ses successeurs. Chez
Matebranche.
la thorie des natures
simples devient un
une sorte ( )d'at<'misme
teatismesMUquc,
mathmatique
que les progrs mme de la science devaient
presque
tmmdtatement
ruiner. Le ralisme ainsi entendu est
insparable, en effet. des conceptions
mcanises
qui
caracterKa'ent
'a physique de Descartes. Or cette
ph'ysique a t abandonne ds le temps de Leihnix.
Pour des rayons
que nous avons dveloppes
p!m
haut, cependant, nnns ne
les
croyons pas qu
principes
introduits
Leibniz
par
et Newton
aient transform
aunnt qu'on l'a d)t '2 le cours de la
pense des math.
maticiens; nous ne saurions donc voir dans)em~<-<M/
de Descartes la source
principale des difncuttes qui ont
sa
compromis
doctrine mathmatique.
Pour nous, ces
dtthcutts tiennent
surtout
ne autre cause
e!!c!
viennent d~ ce que Descartes, tout en
une
propo~nt
phttosophie
de
t'intuition,
re.,t:)it
fermementattachc
la
<
~.r,
tout~fei
jM,
!t.s
j~rs
et )..{ .r~
)'A-
pfoor,
q.i'o.,
y p~t
)<!
p~
.j~j,
(2) Voir plus haut, chap. !f, tu.
=2M-.
dcouvrir
p_
Cf.
B'.n<-
t'f.M'
A~MA~Tt~
c'est
peuvent tre dcernes sans difticutt, puisque
le travail scientifique
une ide chre Descartes
doit, selon cette conception, tre purement mcanique
et ne saurait consister dans la dcouverte ou dans l'ana'
vu
lyse des notions. Or, effectivement, nous avons
est. sehn Descartes, cssentieitement
que l'intuition
Il facile et distincte Il ailleurs (t) il dit que les natures
simples sont connues, en quelque sorte A l'avance,
< par une lumire inne n, et it prcise (2) Il eu
rsulte qu'il ne tiut se donner aucune peine pour
connatre les natures simples, parce qu'clles mnt assez
Partant de L), Descarte:,
connues par ettcs-memes
la
dans les ~M~.
aboutitdirectetnentasathjuriede
science (~ <t Toute science humaine consiste seuteinent
voir distinctement
co:nmentte~ natures simples concourent ensemble la composition des uircs choses
La science doit combiner les notions connues, non en
Il toutes les
conqurir de nouveiles, et c'est tort que
(bis qu'un propose quelque difficult examiner, la p'upart s'arretcrnt sur le seuil, persadus qu'il leur faut
chercher quelque nouvelle espce J tre qui leur est
inconnue
Sans doum Descartes hisse-t-it entendre '
en prenant pour exemple l'tude de l'aimant
que la
ne nous donne peut-tre pas une
science synthtique
connaissance parfiite et comptete. Mais cette science est
la seule qui soit accessibte A i'homme. Aussi celui qui
la poss-te peut-it atfirmer hardiment ~u'it a dcouvert
la nature vritable de t'aimant autant que t'homme peut
la trouver au moyen des expriences donnes
Depuis
le temps
de Descartes,
~~
-SC~jVj-wof~
ftM
JM~W~~t'/t/A~~
sur
artificiellement
par le savant. Nous
n'admettrons
pas davantage que la connaissance directe
des faits
ait pour principal caractre
mathmatiques
d'tre claire et distincte; nous la
regarderons
plutt
comme une vue confuse et imprcise, bien
que pleine
et profonde. Pascal, mieux que Descartes, a caractris l'intuition,
Nous conlorsqu'il a crit (t)
naissons la vrit, non seulement
par la raison, mais
encore par le cceur c'est de cette dernire sorte
que nous
connaissons les premiers principes, et c'est en vain
que
le raisonnement,
a
de
de
qui n'y
les
point
part, essaye
combattre.
Et c'est sur ces connaissances
du coeur et
de l'instinct qu'il faut que la raison
s'appuie et qu'elle
fonde
tout
son
discours
.
y
Le savant moderne, toutefois, ne cherche
pas explii)
ne
quer tui'mme,
prtend pas comprendre comptement en quoi consiste et dans quelles conditions
peut
Les dfinitions qu'i) en donne restent le
agir l'intuition.
plus souvent
ngatives. Les vrits mathmatiques.
dit-il, ne sont ni des consquences
de faits exprimentaux, ni des rsultats de constructions
ou dductions
donc elles supposent
un moded'aperception
logiques:
qui ne se confond, ni avec l'exprience des sens, ni avec
(t) Pt~. )". )9. et sect. IV f.
Cf. BrunschwiM,
Bh~M ds la ~Mofc~M ~tMw~t~,
p, t~o.
-:24=.
r~M/
~nof/r
le raisonnement.
Ce mode d'aperception
ajoute-t-il
nous avons par instants conscience de le pratiquer
(dans le travail de dcouverte), et nous constatons qu'il
ne ressemble aucunement la connaissance dmonstrative en nous efforant de l'isoler, nous russissons en
nous devons
noter quelques
caractres
cependant,
reconnaitre ou'it reste mystrieux et qu'en, en affirmant
la ralit, le mathmaticien
pose une question au philo!0phe ptutt qu'il ne l'aide en rsoudre une.
ainsi ses affirmations
Bien qu'etteiimitt
-et parfois,
la doctrine intuitioniste
peut-tre, pour cette raison
desmathmaticiens
modernes a t l'objet de critiques
assez nombreuses. Les logiciens Foat juge d'abord contraire leurs principes, car, disa'ent'its, seule la logique
est juge de la vrit et permet, par consquent, de fonder
une science rigoureuse et certaine. Puis, avertis que l'on
ne contestait pas la justesse de cette observation, ils ont
t'mis l'ide que, si ette ne voulait pas porter atteinte la
perdait toute raison
logique, la doctrine intuitioniste
d'tre. Mais alors
crit Couturat dans l'un de ses
derniers articles (t), nous ne voyons plus rien qui
car, bien videmment,
spare Poincar des iogisticiens
ceux-c! n'ont jamais prtendu supprimer ou proscrire
M. Brunschvicg, d'autre
l'intuition intellectuelle.
part, fort oppos aux vues mtaphysiques des logistides objections d'un
ciens, a lev contre t'intuitionisme
ordre diffrent.
entre
D'aprs M. Brunschvicg (2), l'intuitionisme,
les mains des mathmaticiens,
a surtout t une arme
mars t~)
(t) ~tf/~tM <t<<i<<)'M,
apud K<tw<~~a~<
f. t68.
(t) La ~o/M </<la P4<7<~MfJtftt~mett~, chapitre XX.
-MS~
t
EWMon.
<K
b
ci
o
ad
ad
(
(!)f.tt'<p.}M..(
226
~~tMN
M~T~M~r/C~
AU
~~M
MDJ~
.!CtE~F70M
DES M~ty~M~nc~W~
-.M8
~N9~
CHAPITRE
LA MtMiON
ACTUELLE
DU
MATHEMATICIEN
De la conception de la science
qu'adopte, 'ou vers
laquelle incline le mathmaticien,
doit rsulter l'ide
qu'il se fait tui-meme de sa mission. Ainsi,
aprs l'tude
laquelle nous avons
procd, nous devrions pouvoir
facilement dfinir le rle que s'attribue
l'analyste contemporain, la place qu'occupent ses travaux dans l'en.
semble de ta science, l'orientation
qu'il jugera convenable de donner i'enseignement:
des mathmatiques.
En ratit, cependant, nous prouvons
quelque peme
sur ces points, la pense des
fidlement,
interprter
savants professionnels, car il ben faut que ceux-ci
dgaavec
nettet tes consquences des principes
gent toujours
scientifiques qui prdominent leur poque. D'ailleurs,
la doctrine intuitioniste
telle qu'elle nous parait
ressortir d'un examen attentif de
l'Analyse moderne.
ne s'impose pas ncessairement
aux analystes
sous
forme explicite et absolue
elle est, seulement, l'expression d'une tendance, qui, chez
beaucoup d'entre eux,
ne se manifeste qu'incompltement. Aussi n'est-il
point
hommes
de
science
surprenant
continuent
que tes
avoir, sur les questions que nous indiquons, ides opi23U-
tA
~M.M<W
~CTPMM
~f~M~~fYC/~
Nous allons,
nions fort divergentes.
chapitre, examiner quelques-unes de
chercher les apprcier la lumire
auxquelles nous sommes parvenus plus
I.
t~ea Mathmatique*
dans le prsent
ces opinious et
des conclusions
haut.
et la Physique
(~.
La premire question
qui retient notre attention,
la mission du
lorsque nous cherchons A dterminer
de la
mathmaticien
moderne, a trait aux relations
science thorique avec la science exprimentale,
ou, plus
prcisment, la fonction de l'Analyse mathmatique
par rapport la physique.
C'est, comme on sait, au xvff sicle, que la Mcanique et la Physique prirent la forme de sciences ra'
tionnelles ou thories logiques, reposant sur un certain
et tinombre de principes et de faits exprimentaux,
rant par dduction de ces donnes les diverses
consquences qui en dcoulent. Les faits pris ici pour
points de dpart (de mme que ceux que l'on cherche
dcouvrir) ayant le plus souvent
un caractre quantitatif, il est a priori vraisemblable que la mthode de
la Mcanique et de la Physique rationnelles sera prinC'est l, du moins, ce que
cipalement mathmatique.
devaient naturellement
penser les savants qui adopdes
trent au xvu' sicle la conception
synthtiste
au premier
plan
l'algbre
Mathmatiques,
plaant
(comme te voulaient les Cartsiens) et en faisant, avant
tout, une m~Ao< applicable la rsolution de tous Jes
problmes quantitatifs.
fj Une partie de ce th-tpitM a fait ['objet 'l'un article publi dans
la ~MM ~<f)~~M<, M mai t~o?.
Mt~
~JM}~
.K~V~/M
DM ~~T~JM~MC/FM
jtM~oy
~cr~F~j?
DU M~r~Af~Mc~A
i<t 2:~M
de /e J*McM~M
233 =
MM~'Ma~
J~M~
.K'ywpM
DES ~~y~tf/c~~A
t<< W.MMA
~crp~~
DU ~~w~c~~
t=M~
~D~
(.)~p.l4?.
(:) ~M.. p. ;o7.
(;) De la AMM< ~a'M les &Mx~t, F. Atn,
UtV.
Mb -a
t909,
p. ?<' et
MM-MO~ <<C'T!/M/
Df M<<T~M~y7C7~
-.2:7~.
r/D~A
DM JM~T~~JM~r/C~
.KW~WP~
<(<
pp.
120-122.
=<M-
MISSION ~Cy~Mt~
DU ~~r~JM~MC/NW
/7'~
.r/f/M'
pM ~~~.Mytr/c/~A.?
<
J~ .MM.MO.Y
J(7'{'Y.
~f
.V/ty~A/~y/C/M'
~ittttxwt.
r/z)~
.yc~~vywoM
DES jM~r/T~7~A'
tui aussi,
propre langue. Il n'en est rien. L'analyste,
fait une version. Il traduit, comme nous l'avons dit
la qualit en quantit,
et sa traduction
ailleurs,
n'est pas adquate au texte. Lorsque,
par exempte.
on exprime la fonction exponentielle
par l'galit
.t'
,,1
on ~MtfcetteioM
+
~=.
<+<+
,-ttion dans la langue de l'algbre mais, ce faisant, on la
dforme
car, pour avoir la vraie vaieur de y, il faudrait
donner au polynme qui la reprsente
une infinit de
termes. Ainsi, pas plus que le physicien, le mathuMticien ne raisonne directement sur les qualits premire!
force lui est de
qui lui servent de point de dpart
transformer ces qualits en notions algbriques,
onrant
une prise au calcui et la dduction
logique.
Dans un chapitre
~< <~<la f~<:<fOHalgbrique.
intitul
Da~Mf(tM<mf<~m<!<~tM<'<~o~~<,
Duhem
mathmit'
oppose l' peu prs phy~que la pression
de faits thoriques
tique. 11 montre qu'une infinit
ditfrents peuvent tre pris pour traductions d'un mtnM
Dire que la temprature
fait pratique.
est 10", ou
trois faits thoriques
9~99 ou to, ot, c'est tormuler
mais ces trois faits thoriques
incomincompatibles;
un seul et mcme tait pratique
patibles correspondent
si la prcision de notre thermomtre
n'atteint pas au
de degr. Un fait pratique ne se traduit
cinquantime
donc pas par un tait thorique unique, mais par uue
sorte de faisceau qui comprend
une mnnit de faits
conduit
diffrents (t) ?. Cette constatation
thoriques
une
une remarque, o, selon Duhem, apparaitrait
dinrence essentielle entre la dduction
mathmatique
et la loi physique. Supposons ~a) que d'un premier lail
(t)/M..p.
(a) lbid., q.
iJ
a,'
d'
l'
dc
1.
~S6Ma.
LA JtM~tW
~c?'
DU ~~y~At/<nC7~
c'est
condition
justes
que l'on crive logique
ou algbrique a partout ou il a mis
e et
thorique
mathmatique
t. L'opposition,
en eaet,
n'est pas
entre les mondes physique et
elle est
tnathOna'ique
entre la compiexh, Ja richesse du donn
objectif, et la
du
schma que nous substituons
pauvret
ce donn.
Comme le physicien, l'analyste est
chaque jour arrt
les
difficults que i'on nous signale.
par
Lorsqu'it tra.
duit une ionetion transcendance
dans la langue de t'atil
est oblig de simplifier cette fonction,
gbre,
itng)!ge
un certain reste. Or il existe une intiuite
d'cxpre.s.iuns
iugbriqucs dont la difirence est beaucoup plus petite
que le reste nglig. Qu est-ce dire. ~non qu'a un tait
donn correspond une infinit
mathmatique
de laits
Nous
voit
ds
tors ramene aux
algbriques ?
enjarque~
de Duhem. Un calcul
ne
algbrique
pourra tre tecond
sous
certaines
que
conditions.
Par txempte,
pour dduire les proprits d'une fonction
de celles dune
expression algbrique, il ne su<nt pas de savoir que la
fonction et l'expression sont trs voisines en tel
point
donn
il faut encore s'assurer
restent
trs
qu'elles
voisines lorsque le point varie d'une manire
quc~
==2~~
r/oF~
.K'v7'/f~r~
DES .t~?'r;c~j?A'A'
JM/.M/C.Y~c'y'rA/
//r;t/.n7/A)/j77f7~v
ne Cait rien
habitearrive
quinze jours
physique il
~C~
/)~
~C/~y/~r~
A/~77/y/C7AA'~
LA jM7.M/<w ~crp~M~
DTI w~7'<y/c/~
r/B~z.F.vr/~f't'
D~A jM~r/MM~?
Comte (t). Ett sans doute, si les physiciens n'empruntaient la Mathmatique que ses procds de calcul et
de synthse logique, cette ide pourrait tre dfendue.
est tie
Mais on sait que la Physique contemporaine
aux thories les plus nouvelles de l'Analyse, et notamment de l'Analyse fonctionnelle. Elle ne saurait donc
fonder sa mthode sur une conception de la Mathmttique qui ne rpond plus t'tat actuel de cette science.
S'it fallait en croire les auteurs que nous avons cits,
le mathmaticien
serait, en quelque sorte, le serviteur
de la Physique. Or, c'est prcisment ce que lis conditions dans lesquelles s'effectue aujourd'hui la recherche
Du monous empchent d'admettre.
mathmatique
ment, en effet, o la science mathmatique a son objet
propre
et un objet qui ne peut tre dompt qu'au prix
il est
de longs efforts et par de multiples artifices
clair que la marche de cette science doit tre dtermine
d'aprs son objet et non d'aprs celui d'une science voi*
sine. Sans doute le mathmaticien aidera le physicien.
Mais il faut, avant cela, qu'il mette de l'ordre et qu'il y
voie clair dans son propre domaine. Si, comme on fit
pens pendant un temps, la Mathmatique tait dfinitivement
sortie de t're des difficults, si, suivant l'expression de M. Bouasse, elle n'avait plus qu' a dvider
les consquences
de ses principes, alors elle pourrait
peut-tre se mouler exactement sur les problmes de la
Physique. Mais plus que jamais, l'analyste a ses propres
embarras
surmonter
le premier devoir qui lui
de dissiper ceux-ci.
incombe est donc, incontestablement,
(t) Lt mthode ainsi isolable n'est pas, bien entendu, selon Comte,
celle de la logique formelle classique (Cf. Win'er,
tt .U/<t'o~ ~M
la ~<'M/'M<
des .M<t<~M<~M, p. 't8), miti! bien celle (togico-mtthmatique)
que nous avons d<6nie dans notre chapitre 111.
=.2~==
.M/.MW.Y .iC!'t.AA/i
Il.
La direction
~6 .M~y7/VJ7(7tA'
des rechercht
M/M?~
LA MISSION ~C7-~M/
mathmaticiens.
sont aujourd'hui
pf
~~7'7'/C~~
=.2M .=
t'/P~J~K7A~7~M
DM Jt/~W~.M.tr/C/~Y~
LA M/MM.Y ~C~'jFM~
0~' ~~t~~M.-n'/C/~Y
~2M
r/DF~
~7MMf/pp~
DES JM~y/f'/M~
l'1
LA My.M(MV ~crM'MB
DU Jf/t~MMB~
dans
poursuivent des rsultats de dtail, recherchant,
tous les domaines, ce qui est lgant, ce qui est tacite.
ce qui est pittoresque, comme aussi ce qui peut tre
de quoique utilit pour les applications pratiques de la
science. Cette mthode de travail a, pendant un temps,
permis d'obtenir une grande richesse de production.
Feuilletons l'oeuvre de certains mathmaticiens
d'il y a
l'tonnante varit des sujets qu'ils ont
quarante ans
entours nous confond; ils sautent, comme au hasard,
de l'un l'autre, cudllant
partout les fleurs les plus
colores. Ils ont ainsi compos un joli bouquet, mais
leur oeuvre ne comporte pas de suite, et c'est l un assez
grave dfaut. Sous des dehors inoffensits.te point de vue
clectique a peut-tre nui, plus qu'on ne le croit d'ordicar on a plus ou
naire, aux progrs des mathmatiques;
moins dflor tous les sujets connus, faisant les gnrations nouvelles engages dans des impasses. Pareille
situation ne saurait durer. D'ailleurs, les thormes se
multiplient si rapidement
qu'on ne peut ptus s: borner
aujourd'hui les collectionner sans mthode. Chacun,
notre poque, sent la ncessit de rtablir en Analyse
un programme de recherches nettement dfini.
Si pourtant le mathmaticien ne peut se fier ni aux
rgtes de la logique ni son sens esthtique pour appr.
cier la valeur des thories, comment, encore une fois,
ordonnem-t'il
et conduira-il ses travaux ? tt lui reste,
en pratique, une dernire ressource, qui est de s'en
remettre la tradition et ses pairs. De tout temps tes
savants se sont mutueliement
excits au travail en se
en s'adressant tes uns aux autres
piquant d'mulation,
des questions ou des dfis. Les maitres de la science,
d'autre part, se sont chargs de diriger leurs disciples
en canalisant les recherches de ceux-ci dans certaines
E=.?& ===
jt'/D~
.?C/7!YW<~
DF.! .M~r//At~??C/
directions
dtermines.
Certains processeurs comme
ont
Hilbert A l'occasion
d'un congrus international
mme pris la peine d'noncer
les propubliquement
blmes qui devaient, leur avis, faire l'objet des rechercher
de leurs successeurs. C'est l une initiative excellente.
condition toutefois que le disciple ne se mprenne pas
sur le rle et )e genre d'influence qui convient au matre.
Or il semble que, dans certains pays o se sont perples
tues des traditions
scolastiques,
d'enseignement
jeunes savants aient tendance appliquer, comme r~gie
de travail,
une mthode qui rappelle un peu trop l'ancienne mthode d~autorit ?.
un dbitant
Voyons l'oeuvre
qui pratique cette
mthode et qui cherche un sujet de travail. S'il ne se
contente
pas de s'en faire dicter un par son professeur,
il ne fera pourtant pas son choix librement. Il commencera par lire, sur un ensemble de questions, les nombreux mmoires
les recueils biblioque lui indiquent
Il verra ainsi ce qui dj t fait, et il se
graphiques.
garantira contre la mtaventure
qui consiste retrouver
des rsultats non-indits.
Mais ce n'est ) encore qu'un
travail prtiminaire,
une prcaution
ncessaire. Reprenant donc sa pile de mmoires,
notre dbutant cherchera si l'on n'y trouve point t'bauche d'une thorie
d'tre gnralise
ou perfectionne.
Il se
susceptible
demandera
LA W.M/0~
~CM~
Df/ M~M~~iT/C/~JV
je me la suis pose. Et
qu'elle ne sera pas la joie du
dbutant s'il trouve la dmonstration d'un tttortne
qui avait rsist aux efforts d'un savant illustre. Il est
dsormais hors d'atteinte, inaccessible la critique, car
Le professeur Z. a t arrt
il peut crire Srement
par telle difncutt
j'en ai triomph, a
Le plus clair rsultat ds ces usages est une multiplication indfinie des mmoires
ou notes scientifiques,
dans lesquels sont traits, sans unit de vues, les problmes tes plus disparates.
Dj Leibniz, relevant le
dfaut d'ordre et de mthode qui caractrisait -en
son
sicle
la recherche
se plaignait de
mathmatique,
< cette horrible masse de livres qui va toujours en
augmentant t et qui ne peut que a dgoter de la science
ceux qui seraient tents de s'y adonner. Depuis lors, le
flot des crits n'a cess de monter, et, pour en rendre le
contenu utilisable,
il a fallu crer des encyclopdies
spciales, des rpertoires bibliographiques
compfiqus.
Ainsi le xtx* sicle a vu naitre une nouvdie et dernire
co)e de mathmaticiens
celle des rudits qui, pour se
tenir au courant de tous les mmoires publis et de tous
les petits faits signals ici et ta, ont d)t introduire dans
la science des grandeurs et des figures la mthode phito-
logique.
<
Les constatations
que nous sommes ainsi amens
faire lorsque nous observons de dehors les mthodes de
recherche des mathmaticiens
sont, A premire vue, peu
Pourtant il est indniable que la science
encourageantes.
n'a cess de raliser depuis deux cents ans. et rntise
chaque jour sous nos yeux, ds progrs dcisifs; qui plus
est, nous avons l'impression que, malgr maints ttonnements, elle avance et volue dans une direction prcise. C'est que, peut-tre,
les mathmaticiens
sont en
==
==2&7'=
957'=
BeortoM.
<7
L'IDAL ~c/t'A'y~/ft
Dt'.y .tH'u~r/cMjv~
r
d
<'
r,
j;
Il
g
LA jM~~o.v
~cr~'A'
~<y M.i?/~M~y/c/F~
on a pris l'habitude
de commencer
thmatiques,
celle-ci avant d'avoir termin l'analyse. De ta vient que
nous voyons difier tant de thories volumineuses,
mi'
nutieusement
ordonnes, mais condamnes nanmoins
sur des bases
di~parahre, parce quittes sont construites
insuflisamment
Il y a l un gaspillage
prouves.
d'efforts que t'en viterait si l'on voulait bien reconnaitre
encore qu'cth
que la recherche analytique,
n'apporte
des
rsultats
et
doit tre pourpars
imparfaits,
que
suivie pour ette-nteme
avant la construction
de toute
on ne doit pas craindre de s'y
thorie synthtique
mais la laisser, au connaire,
attarder,
se dvelopper
posment et respecter les caractres propres qui ta distinguent.
On remarque
galement chez beaucoup de mathmaticiens une tendance pfOtessionnetie
toujours systet
Or
matiser
cette
tendance,
gnraliser.
qui est
excellente dans ta synthse,
contrarie
plus qu'elle ne
favorise les progrs de l'analyse.
Il convient
donc ue
Au moment
o une
n'y pas cder pr'hnaturtnent.
thorie hsita sur ta route suivre, ttonne pour s'orienter, il ne lui sied pas de viser la perfection logique,
encore moins de chercher dre complte. En dpit de
t'axion:e
Il n'y a d~ science que du gnral a, c'est
souvent, en fait, t'cx.:men d'un cas particuttcr
qui fournira le fil conducteur cherche. A quoi bon systmatiser
ce qui est provisoire ? A quoi bo.) ~nratiser
ce qui
n'est qu'une bauche ?
Ces remarques quivalent dire, en somme, qu'avant
de mettre au point ta (orme d'une thorie il est ncessaire de se proccuper du fond. Mais nous n'admettons pas d'autre
doive
part, que le mathmaticien
rechercher certains faits de prfrence d'autres (sauf
lorsqu'il est possible de faire un choix en faits quiva=.2M==
r/f~..
~C'r/f/pt't'
DES <U~y~y7C/~Y.
LA ~M/M/O.Y ~Cf/A'
DU ~~?'H~~nC/AjV
tout cas nous satisfaire si elle met fin aa doute qui a fait
naitre le problme.
Il e~t vrai que les questions objectives que l'on peut
ainsi se poser et les biais par o on peut les aborder sont
en nombre illimit, et qu'ici encore un choix est ncessaire. Pour taire uvre utile et progresser rellement
du monde mathmatique,
it faut se
dans l'exploration
borner aux questions qui sont, n'en pas douter, au trade
vers de notre route, celles que le dveloppement
l'analyse, tel qu'il se produit en notre temps, impose
directement et ncessairement notre attention. 11faut,
de plus, que les rsultats obtenus par le chercheur soient
de nature soulager l'etrort de ses successeurs
soit qne
ces rsultats
mettent en vidence des lois dont la
connaissance dterminera,
suivant l'expression de Mach
et d'Henri
Poincar,
une conomie de pense 1),
soient qu'ils nous renseignent sur l'issue de certaines
et pargnent ainsi aux savants de
routes d'exploration
t'avenir des hsitations et des dmarches inutiles. Or,
des questions qui remplissent de
pour la dtermination
telles conditions,
qui donnent lieu de tts rsultats,
on ne saurait donner l'avance
aucune recette prcise.
Encore moinsest-il
possibte de prvoir quels moyens de
dmonstration
devront tre mis en uvre pour venir
bout de ces questions. C'est pourquoi le chemin qui
mne aux grandes dcouvertes reste toujours incertain
et alatoire.
il rsulte de notre conception de
Mais, prcisment,
la science que ceux mme qui n'aboutissent
pas des
dcouvertes
clatantes
peuvent nanmoins
accomplir
une couvre fconde.
Nous avons vu, en etlet, que la
f.mMt'f t~) AMx'MM~tw, rtimprin)~ ditns
(<)H. PotneM'
DoW'A-M~M~M,t~);.
~~i=
r~JA
DES J)/.n7/F.M.<?7<S'
AC~A'r/f/Ot'F
connaissance
L'enseignement
de. Mathmatiques
LA .MM.Mo~ ~cr~M~c
Mines directives
DU ~~r~AM~r~c/~jv
pdagogiques.
Voyons donc si l'tude
historique que nous avons esquisse ne nous conduira
pas, dans cet ordre d'ides,
quelques conclusions intressantes.
Une constatation s'impose en premier lieu C'est que,
si l'on a raison de distinguer et mme d'opposer la mission des ouvriers de la science et cette des professeurs,
entre les
il y a nanmoins un paratttisme
remarquable
diffrentes cotes dans lesquelles nous pouvons ranger
tes uns et tes autres.
A chacune des conceptions que
nousavons vu suc cessivement prsider au dveloppement
de l'oeuvre mathmatique
rpond nettement une conde l'enseignement.
ception correspondante
Si, comme tes Grecs, nous estimons que l'intrt
tient la
principal de la spculation
mathmatique
beaut des proprits numriques ou gomtriques envisages, nous devrons videmment demander au professeur d'initier tout d'abord ses levs aux plus parfaites
de ces proprits
nous t'inviterons, par exemple, leur
faire connatre tes plus belles propositions de la thorie
des nombres ou de la thorie des polydres rguliers,
sans s'inquiter de savoir si ces propositions sont ou non
de quelque utilit pratique et si elles donnent, d'autre
part, un apera sunisant de la puissance des mthodes
employes par tes analystes.
Si nous pensons, au contraire, que les thories mathsous
matiques valent princip~ement
par la formdogique
elles
se
laquelle
prsentent, alors nous tiendrons surtout
familiariser tes dbutants avec les mthodes de la dmonstration
en tes mettant en prsence de systmes
construits et rigoureusement
enlogiques parfaitement
chains.
Dans une certaine mesure, il est possible de concilier
ce second point de vue avec le prcdent. C'est ce que
~268~
r/
CM jM~M~~y/c~
.c/A'ywc~
~6~
LA MISSION ~cr<7~
DU ~~'~Jtf~y/C/~V
tout
au
moins
thmatique
l'adoption d'un point de
vue aussi absolu. Non seulement, en faisant dominer
des proccupations
purement logiques, on a rebut et
loign des Mathmatiques
d'excellents esprits; mais,
faute de s'intresser la matire de la science, on a naux jeunes gens les connaissances
glig de donner
objectives qui pouvaient un jour leur tre utiles.
Une raction devait donc se produire, et elle se manifesta tout d'abord dans le camp des savants et des
professeurs qui cherchent
orienter la spculation mathmatique vers les applications concrtes. Ces matres se plaignirent, avec raison, que l'on creust un foss artificiel
"MS-
~'7~~
entre
A'C/~Vy7f/<?t'~
CM jt~T't~r/CVA.V.S
la science
LA
MISSION
~CT[.-A7.
DU
3~7'<y/c7AW
M:
r/D~
.yC//Mr/F/<~
DES JM~M~M~~C/J-
*=
LA jM/Mojv
~cr~2.
~p .M~y~T'/c/v
(!) Dans le )Mg<tge de xvo* miette, ces deux ordres sont l'ordre
fdM~fM Ct l'ordre de la ~M<<f<.
-=:t9.=
T.D~H.
j;C/~T/Mt't'
fondre l'ordre
DNA'
.M.n'U~y/C'/F~
de la dmonstMtion
et celui de l'ensei-
gnement
moyennant cette distinction, espre
pouvoir
rapprocher le premier de ces ordresde l'ordre de l'invention.
Si, cependant, t'en admet les rsultats de l'tude que
nous avons faite dans les chapitres prcdents, on sera
conduit une conclusion
un peu dinrente et un p;u
plus complexe.
fondamentale
est bien, selon not:s,
L'opposition
comme le soutenaient
les Platoniciens,
entre la vrit
et les conditions de la
objective des iaits mathmatiques
mais, tandis que l'on est fond plaer
connaissance;
au premier rang de ces dernires l'ordre de la dmonstration, on ne saurait parterd'un ordre objectif, d'un ordre
de l'tre. En effet, c'est, nous l'avons vu, le propre de la
construction
logique et algbrique d'introduire un ordre
dans une matire qui n'en comporte pas par eUe-mems.
Le principe de la dmonstration
consiste srier les
en les
questions et classer suivant unesuiteunitinaire,
les unes aux autres, des propntes qui sont
enchainant
en eSet solidaires, mais entre lesquelles, du point de vue
il n'y a aucune hirarchie, aucun rapport
de l'intuition,
de succession. Ainsi, on ne saurait admettre t'existe-'ce
la dmonstration.
d'un ordre antrieur
Aussi b:nn
n'avons-nous
pu dfinir t'iatuition
que d'une manire
ngative, et nous ne saurions admettre, par consquent,
qu'il soit possible de l'isoler de la connaissance dmons'
dans toute spculation mathmatique, il y a une
trative
et c'est de cette part que nous
part de dmonstration
devons faire relever i'ordre des proprits sur lesquelles
nous spculons.
En d'autres termes, le conflit que nous croyons apercevoir au fond des thories mathmatiques
moderne;, et
sur lequel nous avons longuement
insist, n'est point
'17U
r/D~t
~c/~vr/F~pf
DES ~~M~~r/c/
c.272-
TABLE
DES
MATIRES
INTRODUCTION
t.'HfS-rotttf PB< SCtEtiC~ ET ).)S 6!<t.))i
.):;t)A.)T:
MLA M~tt!
MATHtMAT'qU.
CIIAPI J'RE !RE.'JiER
LA
CO.-<CE!T)OK
HZ~tMMUK
D!!
MAItt~MATiQUM
I. La science
fontemphtive.
Il Les diffrents
aspects de la M.t.)i<u.atiqt)e grecque
tU. L'Aude mathmatique
des g~ndeurs
;t
Sa
6~
CHAPHRR
Il
LA CONCtPTtOM ;YKTH&Tt!1fB DM
MATUtMA-nQUB$
1. Origines, objet e) mthode
t).t.'Ai(;tbrecan<i<;nnt
de t'At~bre.
So
W.Lo~mheMi~nMtimitte
CHAPHR~
it
t-'AFOOKE CT ]L:: !)6ct.!t! M <A COXCf~TfO~
SY:;TH&T).-)n
!.L< synthse
a)R<btit(t-)ogique.
,<,t
n.I.t!iim:te<!deh!.ogioue
))I.I.!:mhM(iet'A)~bre.
J ~J
CHAPITRE
La
t0)ttt-
Ot
\CB
BZ
IV
L'AKALYSE
)L:ODmK)i
1. L'vo!ut!on de )'An<)ys<
mtth<m.niq):c.:(.
Il. L'objectivit
d<;f!m<)h(n!i<!i~u(s.
)H.t.<doc()'int!otai)ioni!)e.
xjx* :)f
'95
2'
2 :3
BOMTMM.
)s
j~
r/M?~
~Mr/f~M
DES M~M~~MC/~M
CHAPITRE
LA
MISSION
AOfOBt.t.t!
DU
V
MATHt~tATtCMt)
t.LMMMht<n*<tque<ttPhytiqae.
La direttion des recherches
111. L'enseignement
des Mathmatiques
.974'
t;:
a49
t6t
MBRARB
FEUX
/~7M/
ALCAM
BU C~r~.OGM
(L.), de )'!nBtitnt.
1 vol. in.8
La modaUt
da
s fr. Ma
MtTOfELL
(P.).
Le
8 tr. 75
mathmatique.
morales <<po<t<<)<M)
i0
fr.
Darwiaimne
lYo).tu.l6.
~9 lettres.
1 vol. in-S.
LM
et la
Sff.M
principea
s fr.
L'expMoatioa
vo).
in-8..
m8 fr. ?5
t'L'niveritiM de Bologne.
Sotenoe
et la logique.
Trad.
8 fr. 75
Libra!rie
Flix
ALCAN,
108,
Bo~.
La
thorie
do la
contemporaine.
7 fr. ~0
de phitosophie.
ugf~
de Honri
Poinoar.
9 n. WM
Rationaltame.
vo). in-8
SAiGEY (E.).
Les Sciences
au
p/~o~Ke de Vo<(t)'<. 1 vol. in 8
StMtAKD (F.), prof. au Conserv.
La mthode
en
positive
i vol. iu-16
PARU
St-Geonaia.
XVIII'
Essai ~r la
18 fr.
sicle.
J:
5 fr.
STEFANHSCL'
tettrfit.
Le dualisme
(M.), docttur
Essai
(<<f<t
logique.
<M<<wpa)(M<'<'
)'<'itfepo)' le proM~nx de la MttttOfKattce. 1 vo). in.8
6 fr. M"
Revue
Fonde par Th. Hmo. de t'tosphilosophique.
t..
titut, dirige par
H:Y.[{tJt)L,
de )'tMstit..t.
H*
1920.
Parait
tous tes dexx nttis. L'h an
anne,
Paris, 42 fr. Dpartement!! et tra))j;fr.
46 fr. ).a )iu.
7
fr.
60.
double,