Académique Documents
Professionnel Documents
Culture Documents
Delahaye, 1997 - Statut Mathématique Des Contradictions
Delahaye, 1997 - Statut Mathématique Des Contradictions
Y
100 % 80 % 60 % 40 % 20 % 10 %
5%
C
100 % 80 % 60 % 40 % 20 % 10 %
5%
B
100 % 80 % 60 % 40 % 20 % 10 %
5%
100 % 80 % 60 % 40 % 20 % 10 %
5%
pli
paire
Statut mathmatique
des contradictions
JEAN-PAUL DELAHAYE
savent pas sils pourront jamais trancher : ces propositions sont indcidables,
ni vraies ni fausses.
Dans une thorie possdant une
contradiction, pour viter que tout ne s'effondre dans le non-sens, il faudrait s'interdire de raisonner par l'absurde.
Impossible, car tout le monde accepte ce
principe de raisonnement, linstrument de
travail quotidien du mathmaticien. Mme
les mathmaticiens intuitionnistes (lesquels, par peur des contradictions dont
l'infini pourrait tre responsable, choisissent d'utiliser une logique moins puissante que la logique classique) conservent
le raisonnement par l'absurde.
THORIES
CONTRADICTOIRES JETER
Plusieurs fois dans l'histoire des mathmatiques, des contradictions ont provoqu de graves inquitudes.
Les Grecs ressentirent la dcouverte
de l'irrationalit de la diagonale du carr
(autrement dit, que 2 n'est pas le quotient de deux entiers) comme une contradiction, car ils pensaient implicitement que
toute grandeur pouvait tre exprime
par une fraction. La diagonale du carr
existait gomtriquement, mais pas en
tant que nombre ! Il fallait dfinir un autre
type de nombre. Cela ntait pas ais, et
pendant des sicles les mathmaticiens
se mfirent des extensions de la notion
de nombres : ils se replirent sur la gomtrie, et il a fallu plus d'un millnaire pour
quils sen dgagent.
Au XVIIIe sicle, les premires prsentations du calcul infinitsimal de Newton et de Leibniz permettaient d'obtenir
sans mal une dmonstration de 0 = 1
(c'est--dire une contradiction). C'est
d'ailleurs pour cela que l'vque Berkeley, fondateur de la doctrine idaliste, refusait de prendre au srieux ce nouveau
calcul, et disait, non sans humour, que,
GURISONS
DES THORIES MALADES
Circonscrire une contradiction revient souvent renoncer un principe qu'on croyait
vident. Dans le cas des irrationnels, il a
fallu renoncer l'ide que deux grandeurs
sont toujours commensurables. Ce renoncement limine la contradiction et, bien
loin d'en tre irrmdiablement perturbe, la thorie des nombres s'est nourrie des irrationnels.
Le calcul infinitsimal a t tabli
sur des fondements solides, d'abord au
XVIIIe et au XIXe sicle par la mise au
point de bonnes rgles de calcul et
l'introduction d'une notion rigoureuse
POUR LA SCIENCE - N 241 NOVEMBRE 1997
B C Y M
Y
100 % 80 % 60 % 40 % 20 % 10 %
5%
C
100 % 80 % 60 % 40 % 20 % 10 %
5%
B
100 % 80 % 60 % 40 % 20 % 10 %
5%
100 % 80 % 60 % 40 % 20 % 10 %
5%
pli
impaire
logique et calcul
165
B C Y M
Y
100 % 80 % 60 % 40 % 20 % 10 %
5%
C
100 % 80 % 60 % 40 % 20 % 10 %
5%
B
100 % 80 % 60 % 40 % 20 % 10 %
5%
100 % 80 % 60 % 40 % 20 % 10 %
5%
pli
logique et calcul
paire
LA PLACIDIT
DU MATHMATICIEN
Aussi, bien qu'il ne soit jamais envisageable de laisser sans traitement une
contradiction, sa dcouverte devrait nous
rjouir, car c'est l'indice que nous allons
devoir la matriser et que cela nous enrichira. Nicolas Bourbaki a exprim cette
placidit du mathmaticien : Nous
croyons que la mathmatique est destine survivre et qu'on ne verra jamais
les parties essentielles de ce majestueux
difice s'crouler du fait d'une contradiction soudain manifeste. [...] Voil
25 sicles que les mathmaticiens ont
l'habitude de corriger leurs erreurs et d'en
voir leur science enrichie, non appauvrie ;
cela leur donne le droit d'envisager
l'avenir avec srnit.
Hlas, il n'existe pas de mthode toute
prte permettant dliminer coup sr les
contradictions. Interdire juste le raisonnement qui conduit la contradiction n'est
pas possible : dans une thorie, lorsqu'un
raisonnement permet de trouver une
contradiction, il y en a de nombreux autres.
Les rparations faire demandent
Est-on sr donc qu'on saura se dbarrasser de toute contradiction dans l'avenir? Est-on seulement certain que les
thories rsultant des rparations antrieures sont exemptes de contradictions?
Il sen faut. Le logicien Edward Nelson pense que, parmi dautres thories,
l'arithmtique la thorie permettant de
traiter des nombres entiers et de leurs
proprits est contradictoire. Ce serait
vraiment trs ennuyeux, car l'arithmtique
est le noyau central des mathmatiques
et il ne resterait plus rien d'intressant
en mathmatiques sans l'arithmtique.
Comment rassurer les inquiets ? Pour
rgler l'affaire, ne peut-on pas prouver
(videmment par des moyens lmentaires) que les mthodes de raisonnement que nous utilisons ne conduiront
jamais des contradictions? Et si lon
ne russit pas traiter d'un coup toutes
les mathmatiques, ne peut-on pas au
moins fournir des garanties pour certaines
thories? Comme celles-ci s'organisent
en un schma hirarchique o, progres-
166
B C Y M
Y
100 % 80 % 60 % 40 % 20 % 10 %
5%
C
100 % 80 % 60 % 40 % 20 % 10 %
5%
B
100 % 80 % 60 % 40 % 20 % 10 %
5%
100 % 80 % 60 % 40 % 20 % 10 %
5%
pli
logique et calcul
impaire
L'INCERTAIN, ET LES
ARGUMENTS DE LUCAS
Acceptons l'ide que les mathmaticiens
vivent dans l'incertain et le provisoire. Plusieurs fois dans le pass, des thories
qui semblaient assures se sont rvles
contradictoires. Peut-tre aurons-nous
ajuster nos thories et les rparer, mais
tel est le cours normal des choses.
Cette incertitude sans gravit ne
semble pas avoir t comprise par ceux
qui utilisent les thormes d'incompltude de Gdel pour dmontrer que l'esprit humain est suprieur celui de
toute machine possible et donc que les
recherches en intelligence artificielle sont
d'avance condamnes l'chec. Le raisonnement quils avancent avait t
propos, il y a dj plus de 30 ans, par
le philosophe amricain J. Lucas. Il est
priodiquement remis la mode, notamment et deux reprises (perseverare diabolicum), par Roger Penrose.
Une machine, disent nos philosophes, peut tre identifie une tho POUR LA SCIENCE - N 241 NOVEMBRE 1997
eaviside examinait la limite des courbes continues ayant la forme d'un S, limite
discontinue valant 1 pour x ngatif et +1 pour x positif. La limite de la drive de cette courbe, l'chelon d'Heaviside, est l'impulsion de Dirac, valant 0 partout sauf l'origine, o la drive limite est infinie.
Considr comme une fonction, l'chelon d'Heaviside ne possde pas de drive en 0. Du point de vue du mathmaticien, la drivation n'avait pas de sens et
conduisait une contradiction, si on la prenait au srieux.
Dans le cadre de la thorie des distributions de Laurent Schwartz, la distribution
d'Heaviside est drivable et admet une drive qui est la distribution de Dirac
(ce n'est pas une fonction). Les calculs mens par les physiciens ont maintenant
trouv un cadre non contradictoire. Mais d'autres pratiques des physiciens sentent le soufre.
167
B C Y M
Y
100 % 80 % 60 % 40 % 20 % 10 %
5%
C
100 % 80 % 60 % 40 % 20 % 10 %
5%
B
100 % 80 % 60 % 40 % 20 % 10 %
5%
100 % 80 % 60 % 40 % 20 % 10 %
5%
pli
logique et calcul
paire
B C Y M