Vous êtes sur la page 1sur 53

M JEAN MICHEL SALANSKIS

L'analyse non standard et la tradition de l'infini


In: Revue d'histoire des sciences. 1988, Tome 41 n2. pp. 157-207.

Citer ce document / Cite this document :


SALANSKIS JEAN MICHEL. L'analyse non standard et la tradition de l'infini. In: Revue d'histoire des sciences. 1988, Tome 41
n2. pp. 157-207.
doi : 10.3406/rhs.1988.4095
http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1988_num_41_2_4095

Abstract
SUMMARY. This text is trying to explain why the future of non standard analysis may be dependant
of a general transformation of the attitudes and the goals of mathematicians. In that purpose, a reflexion
is pursued about the comparative meanings of the finite and the infinite in pre-formalist mathematics,
formalist mathematics, and more specifically in formalist non standard mathematics ; this is done under
the presupposition that these meanings are better analysed in ethical terms. In the first section, we
tell the recent story of non standard analysis and present the alternative ways of conceiving its destiny
today. In the second section, we recall the traditional debate of infinitesimal calculus and establish the
fact that the new insights brought by non standard analysis must not be connected with the question of
the validity or practicability of leibnizian calculus, but with the more general and philosophical
question of the meaning of the infinitesimal. In the third section we introduce our concepts of ethic
register and of light-sense opposed to use-sense , on the base of wich we describe the
mutation between naive mathematics and formal ones. In the fourth section, we apply these
concepts to the notions of the finite and the infinite, and pretend to characterize as formal senses or
use-senses the non standard senses of the finite and the infinite. We conclude by a new examination
of the possible future of the non standard method.
Rsum
RSUM. Ce texte essaie d'expliquer pourquoi le futur de l'analyse non standard est peut-tre
dpendant d'une transformation gnrale des attitudes et des buts des mathmaticiens. Dans ce but,
une rflexion est poursuivie au sujet des sens comparatifs du fini et de l'infini en mathmatiques
prformelles, formelles, et plus spcifiquement en mathmatiques formelles non standard ; tout ceci en
adoptant l'hypothse que ces sens sont mieux analyss en termes thiques . Dans la premire
section, nous racontons l'histoire rcente de l'analyse non standard et prsentons les faons
alternatives de concevoir son destin aujourd'hui. Dans la seconde section, nous rappelons le dbat
traditionnel accompagnant le calcul infinitsimal, et nous tablissons le fait que les nouvelles
perspectives apportes par l'analyse non standard ne doivent pas tre rattaches la question de la
validit ou la praticabilit du calcul leibnizien, mais la question plus gnrale et philosophique du
sens de l'infinitsimal. Dans la troisime section, nous introduisons nos concepts de registre thique
et de sens-lumire oppos au sens-emploi , sur la base desquels nous dcrivons la mutation qui
fait passer des mathmatiques naves aux mathmatiques formelles. Dans la quatrime section,
nous appliquons ces concepts aux notions du fini et de l'infini, et prtendons caractriser en tant que
sens formels ou sens-emploi les sens non standard du fini et de l'infini. Nous concluons par un
nouvel examen du possible futur de la mthode non standard.

L'analyse non standard


et la tradition de l'infini

et
sujet
formelles,
tout
standard
calcul
thiques
Dans
des
RSUM.
Dans
ceci
des
la
infinitsimal,
buts
seconde
laen
et
est
sens
et
.prsentons
premire
des
adoptant
peut-tre
plus
mathmaticiens.
comparatifs
section,
Cespcifiquement
ettexte
section,
nous
les
l'hypothse
dpendant
nous
faons
tablissons
essaie
du
nous
fini
rappelons
alternatives
d'expliquer
Dans
et
en
d'une
que
racontons
de
lemathmatiques
ces
ce
fait
l'infini
le
transformation
but,
sens
dbat
que
de
pourquoi
l'histoire
concevoir
une
en
les
sont
traditionnel
mathmatiques
nouvelles
rflexion
mieux
formelles
lercente
gnrale
son
futur
analyss
perspectives
destin
est
accompagnant
denon
poursuivie
l'analyse
des
prformelles,
aujourd'hui.
standard;
en
attitudes
termes
apport
non
au
le

es
par l'analyse non standard ne doivent pas tre rattaches la question de la
validit ou la praticabilit du calcul leibnizien, mais la question plus gnrale
et philosophique du sens de l'infinitsimal. Dans la troisime section, nous
introduisons nos concepts de registre thique et de sens-lumire oppos au
sens-emploi , sur la base desquels nous dcrivons la mutation qui fait passer
des mathmatiques naves aux mathmatiques formelles. Dans la quatrime
section, nous appliquons ces concepts aux notions du fini et de l'infini, et pr
tendons
caractriser en tant que sens formels ou sens-emploi les sens non
standard du fini et de l'infini. Nous concluons par un nouvel examen du possible
futur de la mthode non standard.
SUMMAR Y. This text is trying to explain why the future of non standard
analysis may be dependant of a general transformation of the attitudes and the goals
of mathematicians. In that purpose, a reflexion is pursued about the comparative
meanings of the finite and the infinite in pre-formalist mathematics, formalist mathem
atics, and more specifically in formalist non standard mathematics ; this is done
under the presupposition that these meanings are better analysed in ethical terms.
In the first section, we tell the recent story of non standard analysis and present
the alternative ways of conceiving its destiny today. In the second section, we recall
the traditional debate of infinitesimal calculus and establish the fact that the new
insights brought by non standard analysis must not be connected with the question
of the validity or practicability of leibnizian calculus, but with the more general and
philosophical question of the meaning of the infinitesimal. In the third section we
introduce our concepts of ethic register and of light-sense opposed to use-sense ,
on the base of wich we describe the mutation between naive mathematics and formal
Rev. Hist. Set, 1988, XLI/2

158

Jean-Michel Salanskis

ones. In the fourth section, we apply these concepts to the notions of the finite and
the infinite, and pretend to characterize as formal senses or use-senses the non
standard senses of the finite and the infinite. We conclude by a new examination of
the possible future of the non standard method.
L'analyse non standard est une composante fort rcente du
discours logico-ma thmatique, dont le nom mme prte encore
confusion, et dont la vocation reste aujourd'hui difficile dter
miner, bien que des claircissements importants soient apports
depuis quelques annes. De toute vidence, la thorie invite, dans
le statut problmatique et transitionnel qui est le sien l'heure
actuelle, une rflexion philosophique riche : nous nous proposons
de prendre ici notre part cette dernire, dans une direction qui
correspond notre thme personnel de recherche (la connexion
des matires formelles et du registre thique). Mais, tout d'abord,
nous allons rsumer la brve histoire de l'analyse non standard,
au moins dans ses grandes lignes et pour autant que notre article
y fait rfrence.

I - PRESENTATION HISTORIQUE DE L ANALYSE NON STANDARD


L'inventeur de l'analyse non standard est Abraham Robinson,
et sa premire publication ce sujet date de 1961 (). Cependant,
la plus signifiante origine (*) qu'on puisse choisir pour la pense
du non-standard est tout simplement la dcouverte par Skolem (8),
et Lwenheim sa suite, de la non-catgoricit de l'arithmtique
formelle et donc de la ncessit de prsumer, du moins si l'on
adhre au discours ensembliste classique, des modles non stan
dard de l'arithmtique : entendez par l des systmes prsentant
toutes les proprits structurales des nombres entiers, mais com
portant
d'autres individus que la suite inpuisable engendre par
le procs naf du comptage (0, 1, 2, . . .). Robinson, en effet, n'a
pas fait autre chose qu'exploiter positivement ce rsultat ressenti
tout d'abord comme ngatif par les mathmaticiens et les logiciens
(*) Non standard Analysis, in Selected Papers of Abraham Robinson, vol. 2 (Ams
terdam : North-Holland, 1979), 3-11.
() Une autre origine se trouve dans certains rsultats d'algbre abstraite. Voir
Hourya Benis-Sinaceur, La thorie d'Artin et Schreier et l'analyse non standard
d'Abraham Robinson, Archive for History of Exact Sciences, 34 : 3 (1985), 257-264.
(*) Le nom de Skolem figure la premire ligne de l'article cit n. 1.

La tradition de V infini

159

(les axiomes de Peano auraient d dterminer un isomorphisme


prs le systme pour lequel ils taient proposs) : il a eu l'ide de
pratiquer un jeu mathmatique o interviendraient la fois l'hypo
thtique
modle standard (celui qui concide avec la suite nave
collectivise 0, 1, 2, ...) et un modle non standard, et dans
lequel on disposerait, ct des nombres rels ordinaires, d'l
ments
infiniment grands et infiniment petits par rapport aux
premiers. Robinson, de plus, administrait la preuve, au moins
partiellement ds 1961, que ce jeu permettait de rcuprer les
critures et les faons de parler des pionniers de l'analyse math
matique,
ainsi que de reformuler, parfois d'une faon plus l
gante
et plus intuitive, les rsultats les plus connus de l'analyse
moderne. S'il a donc choisi d'emble le nom d'analyse non standard
pour le jeu qu'il dfinissait, c'est en rfrence la notion de modle
non standard plutt que pour suggrer le caractre divergent,
subversif ou extravagant de ce jeu. De nombreux esprits, mme
les meilleurs, s'y sont pourtant tromps, de manire regrettable.
La nouvelle mthode a immdiatement sduit un certain
nombre de mathmaticiens et de logiciens, si bien qu'en 1967
put se tenir le premier colloque international d'analyse non stan
dard. Les dveloppements auxquels elle a donn lieu pendant cette
priode initiale, qui s'achve notre avis en 1977, sont principal
ement
ceux apports par les travaux de Robinson lui-mme, qui
resta naturellement la figure dominante de I'ans (4) jusqu' sa
mort en 1974. Les diffrents articles et ouvrages de Robinson
manifestent un effort multidirectionnel en vue de promouvoir
l'analyse non standard : d'une part, il a voulu tout simplement
rcrire les chapitres dsormais classiques de l'analyse (topologie,
suites et sries, espaces de Hilbert...), afin de mettre en vidence
la simplicit et la brivet des dmonstrations non standard
substituables aux dmonstrations usuelles dans beaucoup de cas,
et de dployer l'intuition non standard dans un champ quivalant
celui o les analystes situent la plupart de leurs dmarches (5) ;
d'autre part, en rsolvant avec A. R. Bernstein en 1966 un pro
blme
ouvert de la thorie des espaces de Hilbert (e), il a offert
(4) Sigle pour Analyse non standard.
(e) La Bible de Tans, Non Standard Analysis (Amsterdam : North-Holland,
1966), contient le rsultat de ce travail.
() A. R. Bernstein et A. Robinson, in Pacifie Journal of Mathematics, 16 : 3 (1966),
421-431.

160

Jean-Michel Salanskis

la communaut mathmatique une bonne raison de croire en


l'efficacit des nouveaux moyens de preuve qu'il lui proposait (7) ;
par ailleurs encore, Robinson s'est livr un travail de rexamen
historique et pistmologique, la lumire de la thorie qu'il
avait invente, des textes des pionniers de l'analyse, qui utilisaient
le langage infinitsimal, pour essayer de montrer dans quel cou
rant d'ides traditionnel s'inscrivait sa dcouverte (8), enfin, il a
cherch utiliser la mthode non standard dans le contexte de
mathmatiques subordonnes la science, physique ou
humaine (on trouve dans les Selected Papers de Robinson, par
exemple, un article o Tans est applique la mcanique quantique, et deux ou trois articles o elle est invoque dans une di
scussion
de la conjecture d'Edgeworth et du thorme de DebreuScarf en conomie ()).
Ces efforts pour faire connatre et faire adopter l'analyse non
standard ont-ils t couronns de succs ? La rponse cette
question doit tre mitige. Il est indniable que la prouesse de
Robinson, consistant laborer une thorie consquente des inf
initsimaux,
a t salue comme telle, et qu'une notorit en rap
port avec la qualit de cette prouesse s'est attache au nom de
son auteur ds le dbut des annes 70 ; par ailleurs, et pour aller
toujours dans le mme sens, les logiciens n'ont pas manqu de
consacrer l'analyse non standard comme une des plus grandes
ralisations accomplies partir de leur discipline, comme en
tmoigne par exemple l'introduction que donne Keisler son
article prsentant la thorie des modles dans le Handbook of Mathe
matical Logic, l'ouvrage encyclopdique dit par J. Barwise (10).

(7) Halmos a propos, immdiatement aprs la parution de l'article de Bernstein


et Robinson, une dmonstration classique qui tait en fait la traduction de la premire,
et pour cette raison moins simple. Cependant, depuis, d'autres chercheurs ont trouv
des dmonstrations classiques fondes sur d'autres considrations qui sont plus lment
aireset rapides que celle de Robinson et Bernstein ; notre source pour ces informations
est l'ouvrage Analyse non standard de A. Robert (Lausanne : Presses Polytechniques
Romandes, 1985), 91.
(8) La notice historique figurant la fin de Non Standard Analysis est le principal
texte o Robinson rend compte de ces recherches.
(') Cf. in vol. 2 : The non standard X : <p* (x) : model. The technique of non standard
analysis in theoretical physics , Kelenen-Robinson, 270-274, et Non standard exchange
economies , Brown- Robinson, 355-369.
() Fundamentals of model theory, in Handbook of Mathematical Logic (Ams
terdam : North-Holland, 1977), 47-101.

La tradition de l'infini

161

Mais il faut reconnatre que, dans leur trs grande majorit, les
mathmaticiens en activit durant cette poque ont regard la
thorie de Robinson comme une curiosit, sans doute digne d'admir
ation, mais non susceptible de devenir un outil important de
l'analyse moderne. Comment expliquer ce peu d'enthousiasme ?
Dans le dialogue fictif qu'ils proposent en introduction leur
Pratique commente de la mthode non classique (u), R. Lutz et
M. Goze font dire celui des interlocuteurs qui incarne la rticence
l'gard de l'analyse non standard :
Mais votre mthode me parat bien complique. Une histoire de logi
cien, avec langages, modles, et toutes ces choses que peu de gens
connaissent. Il parat que le livre d'Abraham Robinson commence par
50 pages de logique. Tout cela pour justifier la mystique des infiniment
petits, que tout le monde a oublie depuis longtemps !
II n'y a aucun doute notre avis que le peu d'inclination des
mathmaticiens des annes 70 essayer la mthode s'explique en
partie par cette perception d'tranget et d'artifcialit. Lesdites
annes furent en effet celles du triomphe de la mathmatique
ensembliste parfois dite bourbachique , et la mthode procdait
par des voies effectivement non naturelles et trangres, au regard
de cette norme, justement dans la mesure o elles taient lies la
thorie des modles. Ce en dpit du fait que l'ensemblisme ne puisse
tre dfendu de manire consistante sans attendus fondationnels
apparents la thorie des modles. L'ambiance de ce bourbachisme dat voulait en effet qu'on oublit cet aspect, qu'on ngli
get les langages et la smantique formels pour ne garder l'esprit
que les ensembles formels : par consquent, disons-le aussi net
que possible, pour prvenir un malentendu frquent, c'est parce
que Robinson tait un formaliste consquent et dclar (12),
comme l'est aujourd'hui dans son style personnel Nelson, que
son uvre tait destine tre perue comme insolite par le regard
bourbachique , regard d'un formalisme partiel et sans doute
partial (18).
(u) (Strasbourg : irma, 1980) ; traduit depuis sous le titre Non Standard Analysis
(New York-Berlin : Springer, 1981) ; notre citation est la page 7 de l'dition irma.
(la) Ce point est bien mie en lumire dans Hourya Benie-Sinaceur, art. cit., in n. 2,
et ouvrage paratre sous le titre Corps et modles. Aspects de la construction de
l'algbre relle (1989).
(M) C'est donc dire que cette rsistance ou cette suspicion correspond un diffrend
du formalisme > avec lui-mme. On peut le rattacher deux manires d'assumer
RHS
6

162

Jean-Michel Salanskis

II n'est donc pas surprenant que plusieurs mathmaticiens et


logiciens aient cherch livrer la mthode non standard ses
utilisateurs potentiels sous une forme plus digeste et plus agui
chante,
c'est--dire, dans le contexte, en court-circuitant la thorie
des modles. Le principal succs obtenu en ce sens reste ce jour
l'article Internal Set Theory de E. Nelson, publi en 1977 (M),
et qui doit tre considr comme le point de dpart d'une deuxime
poque de l'analyse non standard. Dans cet article, Nelson
dfinit une extension conservative de la thorie des ensembles avec
axiome du choix, qui se caractrise par l'introduction d'un nouveau
prdicat si (pour standard ) et permet la formulation des raiso
nnements
la Robinson aussi bien que les intuitions infinitsimales
qui les guident ; l'important tant que les rgles supplmentaires
acqurir sont en trs petit nombre, leur nonc et la mise en
scne de leur emploi dans quelques cas exemplaires tiennent dans
les vingt premires pages de l'article.
A la fois paralllement, de faon indpendante, et la suite
de cet article, on assiste par ailleurs une sorte de dcantation,
qui permet aujourd'hui de se faire une ide plus prcise des applil' hritage du pre fondateur Hilbert : le bourbakisme serait ce courant qui ne veut
retenir de la pense formaliste de Hilbert que le thme de V axiomatique (la prsentation
axiomatique des rles formels des points, droites, plan de la gomtrie ayant cet
gard valeur paradigmatique), et pas celui de la mtamathmatique, avec les diverses
distinctions de registres auxquelles elle contraint ; la thorie des modles, au contraire,
est cette autre branche qui prtend dvelopper et approfondir toutes ces distinctions,
et pour commencer, celle entre syntaxe et smantique. En fait, pour un bourbakiste
endurci, ce n'est pas seulement la thorie des modles, mais toute prise en considration
mtamathmatique du ou dee langages dans lesquels s'crivent les axima tiques, soit
en fin de compte toute dmarche logique moderne, qui est non pertinente ou inint
ressante parce que la seule manire vraie et vivante de prendre axiomatique
est de la regarder comme la synthse rigoureuse d'un monde mathmatique dont on
est sr (si c'est l un platonisme, ou un physicalisme spontan du milieu mathmatique,
c'est ce qu'on pourrait examiner). Cette attitude, notre avis, n'est pas morte aujour
d'huidans la communaut mathmatique, alors mme que les condamnations des
abus de l'poque bourbachique sont frquentes dans presque toutes les bouches. Elle
explique dans une large mesure la perdurance de rsistances l'analyse non standard,
envers et contre le fait que cette dernire, dans sa version originaire robinsonienne
comme dans sa nouvelle formulation nelsonienne, se prsente le plus clairement du
monde comme une exploitation des possibilits de la pense formelle en continuit
avec l'usage formaliste tabli : notre article va mme plus loin en soutenant que la
mutation dans le sens propos par les thories du non-standard est essentiellement
et philosophiquement dpendante de la mutation plus profonde qu'est le passage au
statut formel du sens.
(u) Internal Set Theory, Bulletin of the American Mathematical Society, 83 :
6 (1977).

La tradition de l'infini

163

cations de la mthode. Dans l'article de Nelson, les domaines


o son utilisation est dite devoir tre fconde sont essentiellement
la thorie des probabilits et la mcanique quantique. La premire
direction a t suivie par Nelson lui-mme et par certains de ses
lves (1). Quant la seconde direction, elle renvoie notamment
l'tude de la perturbation des quations diffrentielles ; or, des
mathmaticiens strasbourgeois et mulhousiens, sous l'impulsion
de G. Reeb qui a pris fait et cause pour le non-standard depuis de
longues annes, ont de leur ct dvelopp des tudes originales
portant sur de tels problmes (ie) ; ces tudes sont ce jour, de
l'avis de Pierre Cartier, qui met son crdit au service de la popul
arisation
de la mthode, les ralisations les plus probantes de
l'analyse non standard (notamment au sens o l'on ne voit pas de
dmarche substitutive qui procurerait les mmes rsultats de
moindres frais, ou mme simplement des frais quivalents).
Jacques Harthong, de son ct, qui fait aussi partie des lves
de G. Reeb, et qui a galement en vue des applications de la mthode
la mcanique quantique, a publi un certain nombre de travaux
tendant prouver que le non-standard ouvre la voie une nouvelle
faon de discrtiser les problmes rputs continus sans perte
d'exactitude (17).
Dans la situation prsente, on a donc la fois un langage d'une
grande simplicit, permettant l'acclimatation rapide de nouveaux
chercheurs et la communication a priori aise des rsultats obtenus,
et une recherche vivante, qui commence savoir quels problmes
elle peut s'atteler et remporter des succs. C'est ce qui fait que
l'analyse non standard a quelque chance d'tre bientt franche
ment
sortie de la marginalit.
Il reste qu'au-del des rsistances l'analyse non standard
qui ne sont que des prjugs, au-del de ce qui relve seulement
des modes ou d'oukases pistmologiques, il se peut que le destin
(u) Selon Nelson, le plus remarquable rsultat obtenu se trouve dans l'article,
A self-avoiding random walk de G. F. Lawler (Duke Mathematical Journal, 47 (1980),
655-693).
(") Pour une bibliographie complte de ces tudes, se rfrer l'article de review
des mathmaticiens russes Zvonkin et Schubin, Non standard analysis and singular
perturbations of ordinary differential equations, trad. angl. in Russian Mathematical
Surveys, 39 : 2 (1984), 69-131.
(17) Voir par exemple Le Moir (Strasbourg : irma, 1980), Etudes sur la mcanique
quantique (Paris : Socit mathmatique de Prance, 1984), et Elments pour une
thorie du continu {Astrisque, 109-110 (1983), 235-244).

164

Jean-Michel Salanskis

de la mthode dpende de l'orientation gnrale de la recherche


mathmatique : il est possible qu'elle ne puisse prendre la place
importante que tous ses adeptes, commencer par son inventeur,
ont prvue pour elle qu' la condition d'un changement profond
au niveau des centres d'intrt et des enjeux de la mathmatique
contemporaine.
Si la formalisation de Nelson a mis quelque chose en vidence,
en effet, c'est l'autonomie relative des deux aspects de l'analyse
non standard : son langage, ses rgles, son intuition sous-jacente,
sa problmatique propre d'un ct, la preuve de sa consistance
avec la mathmatique classique de l'autre. Si, du point de vue du
premier aspect, l'analyse non standard est quelque chose d'essen
tiellement
original et nouveau, du point de vue du second aspect,
elle est logiquement dpendante de l'axiome du choix travers
les notions ultraproduit et ultrapuissance (ou ultralimite chez
Nelson). Un certain nombre de mathmaticiens, qui se sont pour
tant intresss la mthode non standard de faon non superfic
ielle, et qui ont mme parfois fond de grands espoirs sur elle,
sont aujourd'hui persuads que le vritable outil est l'ultraproduit,
et que l'analyse non standard correspond seulement une faon
de le mettre en uvre, cette faon n'tant probablement la meil
leure que dans des cas bien dlimits. Ce point de vue a t dfendu
devant nous par Alain Connes au cours d'une runion avec l'quipe
de recherches de Herv Barreau, qui consacre sa rflexion l'ana
lyse non standard et dont nous faisons partie. Il nous a en parti
culier confi que, dans la dmonstration du rsultat qui lui avait
rcemment valu la plus haute distinction mathmatique (18), il
avait finalement prfr envisager un ultraproduit de reprsentat
ions,
s'tant convaincu que le recours au langage non standard
ne lui rendrait pas les mmes services (19).
Il serait malsant de notre part de prtendre dnue de fo
ndement
cette position. Nous croyons seulement que sa validit
est relative un type de problmes : sans doute le type de ceux

(") La mdaille Fields.


(ie) L'inconvnient qui accompagne la prise en considration d'objets non standard
tant, selon Alain Connes toujours, le caractre essentiellement non explicite de ces
objets, qui peut se traduire par exemple par la non-mesurabilit de certaine ensembles
qui leur sont associs, plus gnralement par un dficit dans l'ordre des traitements
classiques disponibles partir desdits objets.

La Iradiiion de l 'infini

165

qu'on aborde avec prdilection dans la mathmatique bourbachique et post-bourbachique. Cette dernire est en effet domine
par le grand jeu de l'infini, c'est--dire qu'elle voue le meilleur de
toutes les nergies l'tude gnrale, apriorique des structures
infmitaires : elle est prioritairement une gomtrie extrmement
savante et extrmement puissante des structures infinitaires, la
clairvoyance intuitive et quasi physique des mathmaticiens tra
ditionnels
au sujet de la droite relle et des continua euclidiens
bi- et tridimensionnels s'tant aujourd'hui gnralise aux types
infiniment varis espaces qu'on est capable de dfinir et
de manipuler. Par rapport cette mathmatique, et ses ambit
ions (qui sont trs frquemment des ambitions de classification),
il est possible en effet que la mthode non standard, bien qu'elle
soit a priori parfaitement compatible et consistante avec le jeu
de rfrence, ne soit pas la nouvelle clef susceptible d'ouvrir
les portes autour desquelles on rde. C'est possible, bien que ce
ne soit pas certain, et qu'il n'y ait gure de moyen d'en dcider :
par exemple, comment savoir si les nombreuses utilisations de la
technique de l'ultraproduit dans la mathmatique contemporaine
sont des indices du privilge de cette notion ou bien de la possi
bilit d'approches non standard indites? Sauf dcider que ce
qui a t fait concide avec le meilleur choix possible dans la meil
leure stratgie, par dfinition et dans tous les cas.
Mais ce qui est ici plus intressant, et potentiellement plus
important, c'est qu'on peut conjecturer, et c'est ce que font Pierre
Cartier, Jacques Harthong et Georges Reeb, que la mthode non
standard serait surtout excellente en vue du traitement de problmes
d'un autre type, au-devant desquels se porterait un esprit math
matique
diffrent. Il s'agirait alors non plus du traitement go
mtrique
des totalits infinies prises comme donnes, mais de la
mise en uvre d'un raisonnement et d'un calcul Unitaires sur
des entits formellement finies situes au-del de la perception
structure du nombre ; Pierre Cartier appelle hyper finies (20) ces
collections dont la mthode non standard introduit le concept,
qui sont finies du point de vue du formalisme ( de l'intrieur ) et
inpuisables du point de vue d'un sujet arithmtique naf ( de

(*) Dans : Was eind und sollen die Zahlen ? (version 1984), in L'analyse non standard.
Recherches historiques et philosophiques (Strasbourg : ihma, 1986), 17-44.

166

Jean-Michel Salanskis

l'extrieur ). De telles mathmatiques auraient comme champ


d'application naturel toutes les thories d'abord combinatoires
et descriptives de donnes finies, exprimentales par exemple,
dont une idalisation hyperfinie est scientifiquement dsirable :
les domaines dj abords, comme ceux de la perturbation des
quations diffrentielles et de la thorie des probabilits relvent
en effet de ce champ ; mais on peut imaginer, toujours dans ce
champ, l'application de la mthode une informatique non
standard , comme le suggre Pierre Cartier dans l'article dj
cit, ou toutes sortes de problmes lis la physique, comme le
propose notamment Jacques Harthong, voire son utilisation en
vue d'une nouvelle approche, fonde sur la discrtisation hyperfinie , de problmes ordinairement classs du ct de la gomtrie
diffrentielle ou de la topologie algbrique.
Ce tour d'horizon que nous osons peine dnommer historique,
en raison de la brivet de la tranche temporelle prise en compte,
s'achve donc par l'vocation d'une situation singulire : il semb
lerait
qu'une thorie ne dans le courant dominant de la math
matique
formelle ensembliste, rcemment reformule comme exten
sionconservative de la thorie de rfrence de cette mathmatique
(zpc), ait toutefois quelque peine y trouver sa place, et peut-tre
pour des raisons essentielles, ayant trait au jeu de infini (21) qui
s'y joue d'une part, celui que la mthode non standard incite
jouer d'autre part. C'est de ces raisons et ce jeu que nous allons
essayer de traiter maintenant, en nous souvenant que l'origine
historique laquelle Robinson a rattach l'analyse non standard,
savoir le calcul infinitsimal de Leibniz, tait dj un jeu de
l'infini. Nous allons donc tenter de dcrire la tradition de l'infini
qui se manifeste dans l'mergence successive de ces jeux, notam
mentdans la mesure o le type de rapport l'infini qui prvaut
ds l'avnement du jeu formaliste renvoie au registre thique.

(u) C'est la seconde ou la troisime fois que nous employons cette locution ; nous
ne sommes certes pas le seul ni le premier y recourir ; se rfrer par exemple : Cons
tructive
mathematics as a philosophical problem de P. Lorenzen in Logics and Found
ations of Mathematics, dedicated to Prof. A. Heyting on hie 70th birthday (Groningen :
Woltere-Noordhoff, 1968).

La tradition de l'infini

167

II - LA PROBLMATIQUE DU CALCUL
ET LA PROBLMATIQUE DU SENS
Nous voudrions tout d'abord, comme c'est naturel, ressaisir
conceptuellement l'aporie du calcul infinitsimal telle qu'elle a
t exprime par les trs nombreux auteurs ayant pris part au
dbat qui n'a pas cess d'accompagner l'essor pourtant triomphal
de ce calcul. De Berkeley et Helvtius Hegel, en passant par les
mathmaticiens dont le nom jalonne la naissance de l'analyse
relle, et qui ont tous ou presque tous essay une parole de type
philosophique ou pistmologique sur cette pineuse affaire, il
nous semble que ce qui est en discussion se laisse toujours ramener
ces deux questions :
1 / L'expos des notions de base du calcul, ayant trait la
continuit, la limite, la drivabilit, est-il un non-sens ? (et si
l'on prtend le contraire, il faut expliciter le contenu de ces notions
de manire non contradictoire, c'est--dire chapper la menace
d'absurdit dont le concept de quantit infiniment petite parat
charg).
2 / Quoi qu'il en soit de la premire question, comment peut-on
justifier les procdures de calcul offertes par Leibniz, notamment
comment peut-on accrditer l'ide que les rsultats qu'elles four
nissent
sont exacts, alors qu'elles paraissent prescrire l'erreur sous
la forme d'omission de termes non nuls ?
La premire question est celle du sens, la seconde est celle du
calcul. Il ne fait aucun doute qu'elles sont parfois rencontres et
traites dans une certaine confusion par les diffrents auteurs, et
dans une certaine mesure juste titre, parce que l'lment gnra
teur
d'aporie dans les deux cas est la quantit infiniment petite .
Mais cette distinction est importante pour nous permettre de
comprendre aujourd'hui la diffrence entre les deux relves du
calcul infinitsimal des pionniers rendues possibles par l'analyse
moderne (formelle ensembliste) d'une part, par l'analyse non
standard d'autre part.
Si l'on veut exprimer les choses d'une manire extrmement
brutale, la relve propose par l'analyse contemporaine, dont le
noyau est acquis avec Weierstrass et sa reformulation au moyen
de squences du type V e 3 a des dfinitions fondamentales, mais

168

Jean-Michel Salanskis

dont la systmatisation et la gnralisation ont exig le dveloppe


ment
des outils de base de la mathmatique ensembliste que sont
l'algbre linaire et la topologie gnrale, consiste en le couple de
rponses suivant aux questions baptises 1 / et 2 / ci-dessus :
A la question 1 / il est rpondu qu'en effet l'expos infin
itsimal
est un non-sens, incompatible avec la structure archimdienne de R, elle-mme seule conceptualisation consquente du
continu.
A la question 2 / il est rpondu que les galits du calcul
diffrentiel sont absolument correctes pour peu qu'on attribue
aux notations dx, dy, . . . une dnotation non plus infinitsimale,
mais fonctionnelle.
Pour prciser ce dont il s'agit dans ce second point, rappelons
que l'criture
dy=2xdx

(I)

faisant suite
= *2

(II)

sera rhabilite sous la forme


(III)
X : > et Y : x2 dsignant deux fonctions de R dans R,
cependant que dYx et dXx sont leurs diffrentielles en x, c'est-dire nouveau des tres fonctionnels ; l'galit (III) est donc une
galit dans l'espace L(R) des endomorphismes rels, alors que (I)
tait originellement conue comme une relation entre quantits
mixtes , certaines apprciables, d'autres infiniment petites. Il est
noter d'ailleurs que les notations infinitsimales (dx, dy, dxx, . . .,
dXi, . . ., dx9, dyx, . . ., dy}, . . ., dyq, . . .) sont toujours utilises
par les mathmaticiens, dans des contextes techniques comme le
calcul des primitives ou l'intgration des quations diffrentielles,
ou mme en gomtrie diffrentielle lorsque les critures fonction
nelles
correctes seraient insupportables. Dans tous les cas, l'avan
tagede ces notations consiste dans la simplicit suprieure du
mcanisme d'application des thormes de differentiation compose
ou de differentiation d'une fonction rciproque qu'elles autorisent :
mais cet avantage possde, du point de vue de l'analyse moderne
toujours, sa contrepartie immdiate dans le fait que le calcul consi
drest moins sr et moins garanti contre les confusions (en raison

La tradition de infini

169

justement du fait que les applications concernes n'tant pas mises


plat, on risque toujours de sombrer dans une sorte de vertige
o l'on ne sait plus ce qui est variable et ce qui doit tre driv
par rapport quoi) (22).
L'ide la plus simple qu'on pourrait se faire du supplment
apport par l'analyse non standard cette relve serait d'y voir
la restitution du sens infinitsimal , perdu ds lors que la rponse
catgorique la question 1 / explicite ci-dessus tait admise par
tous. On peut alors imaginer dans la foule que la lgitimation
des calculs classiques, faisant l'objet de la question 2 /, puisse
tre accomplie sur un mode plus en accord avec les intuitions
des pionniers, et d'ailleurs avec les calculs et les discours toujours
en vigueur chez les physiciens.
Nous pensons pouvoir montrer qu'il n'en va pas ainsi. Ce qui
empche qu'il en soit ainsi, c'est que l'analyse non standard est
ne au sein d'une pense mathmatique diffrente de celle qui
abritait les premiers dveloppements de l'analyse relle : cette
diffrence peut tre dcrite comme celle qui spare une mathmat
ique
formaliste d'une mathmatique nave, bien que ces adjectifs
soient gnants par l'quivocit qui s'attache chacun d'eux. En
tout cas, pour rester prs de l'vocation des deux questions mat
resses
de l'aporie infinitsimale et des rponses apportes par
l'analyse dite moderne, cette diffrence se marque au moins par
le renversement du rapport hirarchique entre les deux questions :
si, dans la discussion des xvine et xixe sicles, la question 1 /
tait aborde en vue d'une rsolution de la question 2 /, dont
l'urgence tait suprieure pour les esprits de l'poque, il est clair
que, pour un adepte de la mathmatique formelle ensembliste
contemporaine, la question 1 / prime sur la question 2 /, le proto
colede constitution des objets et des proprits en jeu ayant t
universellement reconnu comme ce qui est le plus dcisif. Un
autre effet du basculement dans l're formaliste est le privilge
dvolu la notion de fonction (plus gnralement d'application
selon la terminologie la plus rpandue), qui s'est partout substitue
celle de variable, prdominante l'poque du dbat des pionniers :
(**) Notre exprience de colleur dans les classes prparatoires nous a mille fois
confirm ce double aspect de la notation infinitsimale : la fois, elle permet l'lve
de risquer plus vite et plus aisment des critures, et elle le rend incapable de trouver
la faute et de garantir un rsultat ds lors qu'il s'est perdu en route.

170

Jean-Michel Salanskis

ces deux aspects du basculement nous sont suggrs par le texte


de H. Barreau, Lazare Carnot dfenseur des infinitsimaux (M),
qui souligne la fois la prvalence du point de vue des quations
l'poque hroque et celle du point de vue des fonctions de nos
jours.
Or, l'analyse non standard ne revient pas, ne peut pas revenir
(du moins pas absolument ) sur ce basculement. C'est pourquoi
la modification qu'elle apporte est certes une modification au
niveau du sens principalement, mais non pas la restitution du
sens infinitsimal classique : plutt un nouveau dplacement du
sens formel de l'infini, comme nous comptons l'expliquer plus
loin. L'erreur de perspective qui consiste voir dans l'analyse
non standard la restitution du calcul infinitsimal, on l'aura
compris, procde de l'accent abusivement mis sur la notion de
calcul. Les notations de Leibniz ont une certaine lgitimit par
rapport une certaine catgorie de calculs, et elles sont de fait
conserves partout o elles sont utiles cet gard, en mathmat
iques
et en physique (cf. supra). Mais il n'est besoin d'aucune
analyse non standard pour cela, seulement de la connaissance
de quelques recettes de traitement symbolique en mathmatiques,
et, par surcrot, d'une bonne intuition du petit et du grand en
physique. L'incidence de l'analyse non standard se situe de toute
vidence un autre niveau. Cette erreur de perspective, si on la
pousse la limite, conduit regarder le passage de R *R comme
analogue aux autres constructions de la thorie des nombres
(passages de N Z, de Z Q, de R C) : c'est ce que font Henle
et Kleinberg dans leur excellent ouvrage introductif I'ans f24),
sans doute en partie pour plaire au public mathmaticien tel
qu'ils le voient l'poque o ils crivent. Mais cette analogie n'est
pas soutenable. Dj, sur le plan technique, les instruments de
construction ensembliste mis en jeu sont sans commune mesure
d'un ct et de l'autre, et la dimension linguistique profonde du
passage au non-standard n'a pas son quivalent dans les situations
classiques numres. Mais surtout, comme nous venons de le
dire, la corrlation effective avec la viabilit d'un calcul manque
dans le cas de l'analyse non standard. Conformment ce que nous
(M) In L'analyse non standard. Recherches historiques et philosophiques (Strasbourg :
Irma, 1986), 7-16.
(**) Infinitesimal Calculus (Cambridge : mit Press, 1979).

La tradition de l'infini

171

avions laiss entendre la fin de la premire section de cette tude,


c'est donc plutt du ct de la question de l'infini, et plus gn
ralement
de celle du statut de l'objectivit mathmatique, qu'il
faut chercher l'incidence de la mthode ou du langage non stan
dard. Par rapport la distinction que nous avons pose dans notre
reprise synthtique du dbat classique sur le discours infinitsimal,
c'est la problmatique du sens qui doit primer sur celle du calcul.
Mais sous quelle forme chercher le sens de l'objectivit mathmat
ique
dans le cas d'une mathmatique contemporaine ? Et com
ment prendre sa mesure ? C'est ces questions que nous allons
maintenant proposer des rponses qui cristallisent les choix tho
riques
qui sont les ntres.

III - LE SENS FORMEL COMME SENS THIQUEMENT DTERMIN


Le but de cette section, formul en termes de l'architecture
logique de cet article, est d'introduire une notion essentielle pour
notre propos : celle de sens-emploi ou sens formaliste, en fonction
de laquelle se dfinissent le but et la mthode de notre lecture des
thories ou discours mathmatiques. Nous approcherons gale
ment le concept d'infini thique ou transcendance, plutt quant
sa provenance et sa possibilit que quant son contenu, si
l'on peut dire : ce concept est appel tre le thme de discussion
principal de la quatrime section. Cependant, nous traiterions
mal notre lecteur en faisant comme s'il tait possible de l'embar
quer
pour ainsi dire par surprise dans ce genre de considrations,
au cours d'une rflexion tout absorbe par un objet spcifique.
Il est clair que le recours de telles notions prend sa signification
l'intrieur d'une problmatique de philosophie des mathmat
iques
nouvelle, que l'on peut baptiser par exemple problmat
ique
thiciste . La seule manire honnte de procder est donc
de prsenter les deux notions dont nous avons besoin dans le
cadre d'un expos, mme partiel, mme peu satisfaisant de cette
problmatique dans son ensemble. C'est ce que nous allons essayer
de faire.

172

Jean-Michel Sala ns is

1 / Temporalisalion du malhmatiser
A cette fin, nous partirons du problme de la temporalit propre
des idalits mathmatiques, problme que J.-T. Desanti a dgag,
au fil de l'interrogation laquelle il n'a pas cess de soumettre
ces dernires, comme le nud de toutes les difficults. On peut
renvoyer, pour une laboration explicite de ce problme et l'ind
ication de son importance, l'ouvrage La philosophie silencieuse (25)
en gnral, et tout particulirement l'article Disparitions, struc
tures et mobilit . Mais la question de cette temporalit propre
est aussi celle que le dernier Husserl avait commenc de prendre
en charge, notamment dans ce texte crucial qu'est Y Origine de la
gomtrie (2e). Pour notre part, nous la reprenons sous une forme
peut-tre dplace : au lieu de nous demander quel est le mystre
de la succession objective des idalits (ft-ce pour la renvoyer
des oprations subjectives), nous interrogeons, d'une faon qui
nous semble plus primitive, la temporalit du mathmatiser luimme, au ple subjectif si l'on veut, actif prfrerions-nous
dire. L'nonc de la question devient donc pour nous : qu'est-ce
qui, dans la relation du mathmaticien qui arrive avec une
mathmatique dj l, caractrise son mode d'enchanement sur
les discours antrieurs comme celui d'un mathmaticien plutt
que d'un artiste par exemple, ou d'un reprsentant de toute autre
confrrie doue d'un statut propre ? Prendre en charge cette
question revient encore pour nous chercher de quelle manire
le nouveau mathmaticien est tenu par la mathmatique
qui l'a prcd, quelle que soit la marge de libert qu'il faudra
bien lui reconnatre nanmoins, quant aux contenus qu'il est sus
ceptible
de proposer. Il nous semble possible d'apporter un l
ment
de rponse la question ainsi formule en nommant les
trois rubriques ou moments qui suivent, en lesquels se dcompose,
d'aprs ce que nous en apercevons avec une sorte d'vidence phnomnologico-pragmatique, le rapport du mathmaticien inchoatif
avec la mathmatique antcdente :
a I le rapport un intuitionn fondamental ;
b / le rapport des questions lgues ;
I le rapport un enseignement reu.
() Paris : Le Seuil, 1975.
(*) Paris : PUF, 1962.

La tradition de V infini

173

Qu'il soit bien clair, avant de commenter cette liste de manire


faire comprendre ce que vise chacun de ses items et l'agencement
qui les lie, que, pour tre opratoire, ladite liste doit pouvoir rendre
compte de l'attitude du nouveau mathmaticien l'gard de
l'univers mathmatique le prcdant depuis l'origine et non pas
seulement au xxe sicle ou aux Temps modernes.
On peut d'emble remarquer que chacun de ces moments se
rattache une catgorie illocutoire : l'intuitionn du moment
a-/ est le fondement des assertions premires (du moins cette fonc
tion lui a t attribue par toute une tradition philosophique et
pistmologique), le moment b / fait intervenir l'acte interrogatif,
et le moment \ nous renvoie la dimension prescriptive de l'ense
ignement
(dont la forme passive reu est l'indice ou la trace),
pas seulement sans doute dans son aspect illocutoire, mais aussi
dans son aspect perlocutoire (selon la distinction tablie par Austin).
Le reprage de ces valeurs anticipe vrai dire sur la suite de notre
analyse de ces moments. Les considrations particulires chacun
d'eux qui vont suivre devraient donc clairer ce qui vient d'tre
dit.
L'intuitionn fondamental, en principe, se rsume au nombre
et Y espace, bien que la difficult cerner le rfrent soit ici son
comble, surtout s'il faut tenir compte de toutes les poques, des
Grecs aussi bien que des formalistes contemporains. Cependant,
nous croyons pouvoir invoquer le consensus de la communaut
mathmatique pour dire tout d'abord que le nombre et l'espace
sont en effet un titre convenable pour la trs ancienne affaire
des mathmaticiens, et pour affirmer ensuite qu'aujourd'hui encore
il y a un intuitionn du nombre et de l'espace qui est en un sens
reu et partag, et qui joue un rle rgulateur par rapport aux
thories produites (cette seconde affirmation, visiblement, confirme
et complte la premire) ; quelle que soit par ailleurs la problmatisation extrmement profonde qui s'attache au concept de nombre
et celui d'espace, il nous parat galement indniable qu' cer
tains
gards c'est toujours du nombre et de l'espace des Grecs
que l'on s'occupe aujourd'hui, aprs plus de vingt sicles d'labo
ration mathmatique. L'intuitionn fondamental de la mathmat
ique,
c'est l sa caractristique principale, est abord la fois
comme familier et comme mystrieux, ce qui permet simultan
ment
de contrler les dispositifs thoriques produits pour en
rendre compte (en tant qu'il est familier) et de le thmatiser

174

Jean-Michel Salanskis

comme objet d'une recherche, comme demandant tre dvoil


plus essentiellement par de nouveaux discours (en tant qu'il est
mystrieux). Il est certain que le statut confr par le discours
kantien au nombre et l'espace, qui met en jeu pour leur prsen
tation philosophique le schmatisme transcendantal et l'intuition
a priori respectivement, exprime assez parfaitement cette double
modalit du familier et du mystrieux, comme nous avons voulu
le montrer ailleurs (27). Ajoutons que le nombre et l'espace, dans
ce statut, s'offrent une dtermination thortique, qui prend la
forme d'assertions predicatives, comme le souligne justement Kant
dans toute la premire Critique, soit qu'il voque les prdications
dont l'espace est a priori l'objet dans l'intuition pure (touchant
son ouverture infinie et sa dimension au sens moderne, par
exemple), soit qu'il voque, dans la mthodologie de la raison
pure, la faon dont on arrive des prdications synthtiques en
passant par la construction de concepts. Dans une approche moderne,
l'intuition du nombre ou de l'espace investira une axiomatique,
qui prtendra la traduire par un ensemble de thses . Tout ceci
reprend et prcise le lien de notre moment a / avec l'assertion, la
prdication, la connaissance en tant que comportement envers
un objet.
Les questions lgues sont d'une manire gnrale les thmes
de recherche que le mathmaticien trouve dj l, qu'il n'a pas
produire de toutes pices en faisant intervenir sa capacit per
sonnelle
d'merveillement. Dans la terminologie moderne, on parle
de conjectures ou problmes ouverts ; il s'agit donc de ques
tions dont la rsolution est attendue, parce qu'elles ont t poses
par un auteur clbre dans le contexte contemporain ; mais il y
a toujours eu, semble-t-il, de telles questions (songer la quadra
ture
du cercle ou au problme de la cyclode). Tant qu'on n'en
envisage pas d'autres, le moment b / apparat comme complte
ment
intramathmatique, les questions sont suscites et trans
mises par les mathmaticiens, et les noms propres qui les avalisent
viennent rappeler cette appartenance du questionnement l'aire
mathmatique, dont rsulte une sorte d'autarcie quant la fina
lisation
pour l'activit mathmatique. Mais il est clair que par
ailleurs sont nous des rapports de discipline discipline qui
(87) Dans notre thse de doctorat Le continu et le discret ; voir aussi ce que dit Jean
Petitot au sujet des mathmatiques dans Morphogenses du sens (Paris : pup, 1985).

La tradition de V infini

175

induisent une autre modalit du moment b / : cela fait partie de


la position de mathmaticien d'tre disponible pour entendre
dans le discours de la science exacte des questions , et de les
regarder comme relevant de sa responsabilit. On a donc un second
principe de finalisation, externe celui-l, auquel nous sommes
peut-tre redevables de l'existence du calcul diffrentiel, et qui,
aujourd'hui, commande les nombreux dveloppements mathmat
iques
articuls sur la mcanique quantique et l'informatique
thorique.
Le troisime moment de notre liste renvoie aux notions de
matre et d'cole, dj pertinentes l'poque grecque (28). Ce
moment fondamental est celui par lequel un sujet est en gnral
intronis la pure facult d'mettre des mathmatiques : c'est
le moment de la fourniture du cadre. L'enseignement reu contient
ainsi le langage spcifique de l'activit mathmatique, c'est-dire des lments aussi essentiels que les mthodes reconnues
comme efficaces (avant toutes choses, explicites) une poque
donne, ou qu'une carte de la contre de l'objectivit mathmat
ique
(en tant que cette dernire est verbalise, plutt qu'intuitionne). Plus encore, et plus originairement, ce moment de l'ense
ignement
situe le mathmaticien comme tel partir d'une relation
singulire tous ces lments, qui s'tablit dans le commerce avec
un ou plusieurs matres singuliers. Le style particulier sous les
auspices duquel l'ensemble du cadre a t transmis ne cesse jamais
de compter mathmatiquement, et pas seulement comme coloration
marginale de la mmoire : d'une certaine faon, c'est en tant que
les contenus ont t assimils dans ce style qu'ils sont mmoriss,
et toute une manire personnelle de l'invention peut rsulter de
conditions singulires d'assimilation, non pas au sens o le nouveau
mathmaticien rpterait mcaniquement les dmarches et les
tics de ses matres, bien entendu, tnais au sens d'une laboration
complexe du style de production mathmatique partir du style
de l'enseignement o l'on a baign (ainsi, nous avons entendu
Claude Ghevalley, notre matre, dire que les uvres de sa gn
ration (la bourbakiste ) avaient t fortement motives par le
rejet critique des manuels de l'poque et de leurs auteurs ; et il
(M) Pour un survol o il est fait mention de plusieurs coles et de plusieurs discours
de disciples, se rfrer Popper, Conjectures et rfutations (Paris : Payot, 1985), 119-138
et 206-250.

176

Jean-Michel Salanskis

nous plaignait, non sans raisons, de disposer d'aussi bons matres


et d'aussi bons traits !).
La diffrence entre la situation avant et aprs le formalisme,
notre avis, peut tre dcrite en termes de la manire dont les
trois moments sont supposs s'ordonner pour se compntrer. Ce
qui se modifie en effet, d'une poque l'autre, ce sont les rapports
de dpendance entre ces moments ; nous entendons par l, selon
la terminologie utilise par K. Mulligan et B. Smith dans Parts
and Moments (29), qui eux-mmes reprennent et approfondissent
les notions mises en avant par Husserl dans la troisime recherche
logique, ce type de rapport entre l'entit et l'entit A qui consiste
en ce que ne peut se prsenter sans que A ne se prsente : la
prsentation de A est ncessaire celle de B. Dans le cas o un
tel rapport de dpendance est unilatral (o la prsentation de
n'est pas de son ct ncessaire celle de A), nous parlons d'une
relation de fondement et disons que est fond sur A. Comme on
le voit, le type de hirarchie ainsi dgag est logique, mais avec
une rfrence aux modalits ontiques dans la logique mise en
jeu. Nous nous intressons quant nous, non pas d'abord aux
relations de ce type dont on pourrait montrer (au niveau d'une
psychologie) qu'elles sont objectivement attestes, mais, comme
nous le disions plus haut, celles qui sont supposes avoir
cours, c'est--dire la faon dont on se reprsente couramment
la hirarchie de ces moments dans le milieu mathmatique. Cela
dit, c'est le propre du monde mathmatique d'tre en partie dirig
par ces reprsentations, et il en rsulte ventuellement (et mme
trs probablement : nous y reviendrons) une certaine vrit de la
structure. Dans la conception prformaliste donc, le moment a /
est premier, le sujet mathmatisant est d'abord face face
avec l'intuitionn fondamental, avec le nombre et l'espace ; il
hrite des questions lgues lorsqu'il s'oriente d'une faon ou
d'une autre vers cet intuitionn, reprenant son compte une inter
rogation
au sujet de celui-ci, et cela, il ne le peut que pour autant
que le moment a / est prsuppos, peut-tre mme l'orientation
de son questionnement prolonge-t-elle la qualit particulire de
son intuition ; enfin, l'enseignement reu sera mobilis principal
ement
un niveau instrumental, celui des mthodes qu'il recle
(8e) (Munich : Philosophia Verlag, 1982) ; voir notamment l'article introductif :
Pieces of a Theory, par . Smith et K. Mulligan (p. 15-91).

La tradition de l'infini

177

(ou bien, dans un registre plus noble, les ides qu'on peut y puiser),
une telle mobilisation, nouveau, n'ayant de sens que si une ques
tion au moins est pose, la nature du langage et des connaissances
invoques dpendant, dans la mesure o leur invocation est per
tinente,
de l'orientation questionnante acquise avec le moment b /.
Dans la conception formaliste, on lit le scnario idal de l'acti
vit mathmatique dans l'autre sens. L'enseignement reu est
premier, directement en tant qu'il transmet le cadre de rfrence
linguistique : dans ce cadre sont rencontres les questions lgues,
qui n'exerceraient aucun questionnement avant ou indpe
ndamment
de ce contexte du discours transmis ; le moment b /
est donc fond sur le moment /. Quant la confrontation nave
avec l'intuitionn, il n'y en a plus, du moins pas sur le mode articul,
tranch qui pourrait favoriser l'mergence d'une question. Bien
plutt, la relation avec cet intuitionn fondamental est certains
gards pense comme le troisime et le dernier de nos moments,
l'intuition tant vritablement une intuition qui voit seulement
aprs un premier tour dmonstratif, un effort d'laboration des
questions lgues selon l'enseignement reu ; comme si le fait de
parler, d'crire au sens si particulier de l'criture formelle tait
le seul vnement susceptible de dessiller les yeux, d'entamer l'opa
citoriginaire de l'intuitionn (la mtaphore psychanalytique, et
plus antrieurement l'allusion au mythe d'dipe et l'interroga
tion
de Tirsias par ce dernier, bien qu'trangres l'environne
ment
conceptuel de cet article, ne viennent pas ici par hasard ou
malencontreusement : elles situent assez justement, bien que par
tiellement,
ce dont il s'agit). On se reprsente donc l'intuition du
moment a f comme quelque chose qui ne peut se prsenter que si
les moments / et b / se prsentent eux-mmes ou, si l'on prfre,
oprent . Il apparat donc que la mutation formaliste fait subir
au modle de la relation du discours mathmatique avec ce qui
le prcde un complet renversement : au lieu que le moment /
se fonde sur le moment b / qui lui-mme se fonde sur le moment a /,
c'est le moment j qui fait fonction de socle, et les moments a /
et b I se rattachent lui comme leur fondement, le moment a /
perdant toute autonomie au point de se fonder sur / travers b j.
Il est bien clair que l'lment dcisif de ce renversement consiste
identifier ce qui prcde le discours du mathmaticien, ce qui
le prcde prioritairement en quelque sorte, non plus comme
son objet intuitionn, mais comme la leon et le langage reus.

178

Jean-Michel Salanskis

2 j Le registre thique
De telles remarques ne sont certainement pas neuves. Ou
plutt, dans leurs grandes lignes, elles avaient dj t faites, dans
des termes varis, par beaucoup d'auteurs, mais le plus souvent
dans le cadre d'une interprtation de ce renversement comme annul
ation du privilge du contenu au profit de la forme : et de fait, la
terminologie plaide en faveur de cette lecture, la mutation for
maliste
ne sera rien avec autant de vraisemblance qu'un triomphe
de la forme. Nous proposons quant nous de considrer ce renver
sement avec un autre regard, en faisant intervenir le registre
thique. L'intrt d'une telle approche, notre avis, ne peut tre
prouv que dans l'aprs-coup, du moins dans l'horizon de l'histoire
des sciences et de epistemologie que nous faisons ntre ici (il
existe aussi des mobiles a priori pour envisager l'activit logicoformelle sous cet angle, mais ils ne peuvent tre saisis que dans
une dmarche totalement diffrente, et pour tout dire franchement
spculative !). On jugera donc de la valeur de notre grille d'aprs
la caractrisation du sens formaliste de l'objectivit mathmat
ique
que nous allons proposer et d'aprs l'analyse de la modifi
cation dans le sens apporte par l'analyse non standard qui suivra.
Pour commencer, nous donnons quelques repres au sujet de
ce que nous appelons le registre thique, puisque toute notre stra
tgie interprtative, dans ce qu'elle a peut-tre de nouveau, repose
sur l'appel ce registre. En particulier, nous avons l'intention de
relire l'opposition entre les hirarchisations de nos trois moments,
attribues l'instant aux consensus prformalistes et formalistes
respectivement, en termes de nos concepts thiques .
Le plus grave malentendu consisterait croire que la phrase
X relve du registre thique est synomyne de X participe du
bien : pour nous, la question du bien et du mal est ici totalement
suspendue (ce qui n'exclut pas qu'on puisse la rimpliquer, mais
ceci est une autre affaire), nous parlons de registre thique en un
sens tel que le mal ne se produit pas moins dans ce registre que
le bien ; nous visons par ce syntagme une dimension autre que la
dimension thorique, et qui vient apporter son label un ensemble
de perspectives et d'enjeux, en fonction desquels la ralit peut
tre examine certes, mais aussi, et peut-tre avant tout, vcue.
Si Ton veut, le registre thique est celui de la libert du pratique

La tradition de V infini

179

pur au sens kantien, mais il faut redouter tout rabattement de ce


registre sur des interprtations spcifiques et dates, quelle que
soit leur importance pour nous. Pour cette raison, il sera peut-tre
prudent de donner deux repres qui situeront suffisamment ledit
registre thique pour la suite de cet article :
1 / Ce registre est celui au sein duquel on accde au concept
d'une maxime absolument juste, c'est--dire non fonde dans l'tre,
en aucune manire justifie par ce que sont le cosmos, la coutume
ou l'me humaine, en rsum par ce que Wittgenstein dans sa
Confrence sur l'thique (80) appelle un modle prdtermin .
2 / Ce registre est encore celui au sein duquel ce n'est pas
l'objet, mais autrui qui prvaut. Le sujet n'y est pas pris comme en
rapport avec des choses dont il tche de se servir ou qu'il prtend
connatre, comme dans les registres pragmatiques et thoriques
respectivement, mais avec l'autre homme ; et, de ce rapport, ne
peuvent gure surgir qu'une demande, une limitation, un comman
dementdont le sujet sera le destinataire.
En complment cette amorce de prsentation du thme phi
losophique
du registre thique, sur lequel nous fondons notre
approche originale des mathmatiques, notamment contemporaines,
faisons deux observations.
Premirement, le concept d'une maxime non fonde dans l'tre
est un concept paradoxal, comme le souligne d'ailleurs Wittgenstein
dans le texte mentionn plus haut, en raison du caractre absolu
mentenglobant, pour qui la suit sans rsistance comme elle signifie,
de la pense de l'Etre. C'est pourquoi, il n'est pas possible de
s'attacher rigoureusement ce concept sans dgager un concept
particulier de l'Infini, l'Infini tant en l'occurrence le nom de ce
paradoxe, paradoxe d'un ce qui est suppos absolument obli
geant et totalement dconnect de l'tre tout la fois : ce serait
Dieu dans un discours thologique, mais cette dsignation n'est
pas satisfaisante si l'on voit, comme c'est le cas dans toute une
tradition, Dieu comme l'Etre suprme, elle ne s'accorde pas avec
cet trange et difficile concept de l'Infini thique sur lequel nous
reviendrons plus loin, et qui fait partie, indissolublement, du
registre thique.
Deuximement, nous connaissons une sorte de moyen terme
(M) In Leons et conversations (Paris : Gallimard, 1971), 141-155.

180

Jean- Michel Salanskis

entre l'objet et autrui, V inlersubjectivit. Notre langue substantive


fixe l'aide de ce nom tout ce qui relve des sujets se faisant face
comme ego et comme autrui, dans une catgorie qui possde
l'allure et la neutralit de l'objet. Pourtant, l'intersubjectivit
appartient au registre thique, indubitablement ; c'est par elle
que nous rencontrons des normes et des idalits que nous n'expl
iquons pas en termes physico-ontologiques, par elle que l'horizon
du devoir-tre comme en excs sur l'tre nous est le plus famili
rement prsent. Et d'ailleurs, lorsque nous mentionnons Tintersubjectivit dans une explication philosophique, ce n'est pas pour
livrer un objet la description et la connaissance. Chez Kant
ainsi, la forme de l'intersubjectivit rationnelle est d'une certaine
faon constitutive du sens de l'impratif catgorique comme infini.
Chez Husserl, l'intersubjectivit transcendantale est de plus en
plus dsigne comme le lieu de la constitution de toute object
ivit, lieu qui renvoie au monde de la personne o s'inscrivent
par ailleurs les significations thiques.
Selon l'exemple de ce dernier philosophe, lorsqu'on essaie de
faire valoir le registre thique en parlant de la science, c'est plutt
sur l'intersubjectivit et la libert que l'on tombe que sur autrui,
l'Infini et l'obligation, pour numrer les quelques termes fond
amentaux
de la constellation thique que nous venons de passer
en revue. Pour une part, il est lgitime qu'il en aille ainsi, parce
qu' l'vidence, il demeure une distance infranchissable entre
ce dont il peut s'agir dans la science et ce dont il s'agit dans l'urgence
du secours autrui, dans l'urgence thique au sens banal et quo
tidien
du mot ; dgage de cette urgence singulire, prisonnire
de l'ontologie sous peine de ne plus pouvoir se donner comme
connaissance, la science ne pourrait donc jamais avoir rapport
ni l'absolu de l'au-del de l'tre impliqu par l'infini thique,
ni la singularit du contexte de la prvalence autrui propre
ment dit (mais seulement la prvalence de l'intersubjectivit
comme source de lgitimation). Pour une autre part nanmoins,
notre sens, cette limitation de la pertinence du registre thique
dcoule de notre faon dj abstraite et limite de comprendre
l'thique en gnral, le nous tant en la matire occidental et
moderne : nous effaons galement l'infini thique et autrui au
niveau de la moralit quotidienne, en tchant de la rduire
la dtermination libre et rationnelle de la volont, ventuell
ement
dans une rfrence implicite au kantisme, ou plutt et sur-

La tradition de l'infini

181

tout sa traduction dans les murs juridico-thiques de nos


socits. On peut annoncer en tout cas qu'il est question, dans
ce texte, de faire jouer les considrations thiques propos des
mathmatiques plus loin qu'on a coutume de le faire (dans une
large mesure, c'est le discours mathmatique contemporain qui
nous le permet : il n'est pas vident que la mme opration puisse
tre accomplie sur n'importe quel discours de science).
Nous revenons maintenant la subversion formaliste de la
hirarchie des moments a /, b / et / : si l'on considre ces trois
moments du point de vue de leur appartenance au registre thique,
il apparat que celle-ci va croissant selon l'ordre alphabtique. Le
moment a / est celui d'une intuition, d'une contemplation d'une
nature particulire (peut-tre apriorique), mais en tout cas il
s'inscrit dans le registre thorique de la relation l'objet. Le
moment 6 / comporte dj la relation l'autre homme, s'il est
vrai que les questions lgues renvoient aux personnes source
du questionnement (dont le nom propre leur reste d'ailleurs parfois
attach : cela mme si, bien entendu, la rflexion mathmatique
sur le thorme de Fermat n'est pas usuellement charge d'une
relation existentielle avec la personne Fermat, et si la dimension
de rapport une personne, plus encore de rponse une demande
manant d'une personne, est quasi absente de la faon usuelle de
recevoir la question lgue ). Dans le cas o les questions reues
ne le sont pas de matire intramathmatique, mais procdent
de la demande , ou du moins de ce qu'on construit comme la
demande des disciplines scientifiques voisines, le supplment thique
corrlatif est galement perceptible : il consiste alors en ce que la
gymnastique complexe et sublime du mathmaticien se met au
service d'une notion d'utilit qui possde une dimension sociale
(mme si la technique et l'industrie ne sont pas concernes :
l'essentiel est l'ide que le discours mathmatique doit un retour
l'environnement, ft-il simplement scientifique). En gnral
dans ce moment b /, le mathmaticien est certes sollicit, mais il
reste en mme temps protg de qui le sollicite, sa tche est d'la
borer dans le solipsisme, largi sa communaut probablement,
un traitement de la question, sans tre confront avec l'exigence
d'autrui telle qu'elle mane de l'insistance nue de la manifestation
empirique de ce dernier (en particulier, sans que de manire
directe la source de demande intervienne nouveau pour faire
valoir ce qui tait demand). Mais le moment /, quant lui, se

182

Jean-Michel Salanskis

droule depuis toujours dans le face--face du matre et de l'lve


(ou des lves). La relation le long de laquelle le langage de rf
rence
pour toute activit logico-mathmatique est assimil n'a
jamais t, ne peut sans doute pas tre purement pragmatique
et instrumentale ; ce n'est pas seulement un savoir qui est transmis
comme un objet, c'est un sujet qui est initi une rgle. Mieux,
cette initiation n'a pas lieu comme un processus neutre, imper
sonnel, comme si l 'intersubjectivit mathmatique s'adressait dire
ctement,
du haut de son idalit, ceux qui elle aurait dcid (?)
de confier les formes et les contenus traditionnellement acquis.
C'est en fait dans une relation absolument singulire que se loge
ce que nous appelons enseignement des mathmatiques : il s'y
dveloppe, outre un commerce d'affects comme cela est bien connu,
toute une moralit dtache des enjeux ordinaires de la moralit,
mais o cependant la plupart des prceptes moraux en vigueur
parmi l'humanit raisonnable se retrouve dans une version dcale ;
et l'on sait bien, si l'on a enseign ou si l'on n'a pas oubli sa vie
d'lve, que cette moralit est techniquement essentielle l'acqui
sition de la connaissance, tout spcialement dans le domaine
mathmatique. Le fond et la prsupposition de ce rapport sont
que le matre se prsente l'lve comme un autrui envers qui il
est redevable au-del de ce qu'il saurait dire. On peut vrifier trs
facilement ce point, on l'a mme vrifi au cours des annes 1970
lorsqu'on a tent, en se laissant inspirer par des idaux rvolu
tionnaires
alors partags par beaucoup, de faire de l'enseignement
sans ce prsuppos. L'exprience a montr non pas que c'tait un
chec, mais que c'tait une absurdit : si vous retirez le prsuppos
assujettissement (81), vous n'avez plus rien, il ne reste qu'une
comdie complexe et puisante pour les parties en lice, et la trans
mission
du savoir n'a plus lieu qu'au hasard des inclinations
concordantes (hasard dont le poids probabiliste est infime). Singu
lirement,
et l'appui de notre propos, le cours de mathmatiques
a prodigieusement rsist toute cette vague, alors mme qu'elle
dferlait sur les autres disciplines, tant il est vrai que le style dit
magistral , dterminant la sorte de relation matre-lve sin
gulire
et infinie que nous avons voque, est sans doute inspa
rable des mathmatiques.
(n) Faut-il prciser que nous ne noue faisons pas, en employant ce mot, l'aptre
de la hirarchie et de l'autorit ?

La tradition de V infini

183

La gradation que nous venons de dceler manifeste comme nous


venons de le dire une mise distance progressive de l'objet, qui
est fascinant dans le moment a /, support de questionnement
dans le moment b /, et non mentionn, non ncessairement prsent
dans le moment / : mme les enseignements les plus empiriques
ont tendance vacuer leurs objets, comme on le leur reproche
ordinairement en les taxant de coups de la vie ou coups du
concret . Cet aspect de la gradation tmoigne d'une monte vers
le plus d'appartenance au registre thique en termes de la carac
tristique
numrote plus haut 1 / de ce registre, l'indpendance
l'gard du registre ontique. Mais simultanment et corrlativ
ement
la gradation manifeste une accentuation de l'emprise pres
criptive
sur le sujet : si dans le moment a / l'objet intuitif peut
tre conu comme ne demandant rien celui qui l'intuitionne, la
modalit de la question dans le moment 6 / relve dj de la demande
sous une forme, il est vrai, trs librale , alors que le moment /
contient le magistre, c'est--dire un commandement permanent,
intense et non dissimul s'adressant l'lve. Donc la caractris
tique,
numrote 2 / par nous, du registre thique, avec la dtermi
nationque nous en avions esquisse, soit la prvalence d'autruien-tant-que-source-de-demande sur l'objet, s'affirme de plus en
plus le long de la gradation. En rsum, le couple de ces aspects
de la gradation constitue le contenu thique de la distinction
mutuelle des trois moments en tant qu'actes de langage, que nous
avions d'abord releve.
Par consquent, la mutation formaliste correspond une refon
dation sur le moment le plus concern par le registre thique d'un
systme qui reposait auparavant sur le moment le plus tranger
ce registre. Ceci nous permet d'avancer l'hypothse qui est la
ntre : que la rvolution formaliste n'est pas autre chose qu'une
bifurcation du discours mathmatique vers le registre thique,
le passage une mathmatique thique (si l'on veut bien ne pas
entendre par l une mathmatique vertueuse, en se souvenant
de notre mise en garde quelques paragraphes plus haut). Disant
cela, nous accomplissons une sorte de saut argumentatif : nous
avions seulement prtendu tout d'abord qu' l'poque du forma
lisme on voyait l'enchanement du discours mathmatique avec
lui-mme comme fond sur le moment /, et rpondant en gnral
une structure qui privilgie les moments les plus lis au registre
thique. Ce que nous venons de dire prsuppose visiblement qu'il

184

Jean-Michel Salanskis

ne s'agit pas seulement d'idologie et de reprsentation, mais qu'il


en est rellement ainsi ; il n'y a naturellement pas de consecution
logique d'une assertion l'autre. Mais, comme nous l'avions d'ail
leurs laiss entendre dj, la nature du formalisme est telle qu'il
y a une consecution pratique, et que chacun peut la voir oprer :
en effet le formalisme n'est pas seulement une philosophie des
mathmatiques dont nous aurions dgag, avec notre hirarchie
de moments, une des thses, elle est aussi et plus essentiellement
une norme qui se propose pour l'activit mathmatique ; de ce
fait, la manire dont le formalisme voit l'mergence du nouveau
discours mathmatique tend tre la manire dont il merge
effectivement. A quoi nous ajouterons, pour quitter le plan du
principe, que la hirarchie des trois moments, selon notre exp
rience,
a lieu et se vit bel et bien aujourd'hui selon le modle
qu'en donne plus ou moins implicitement le formalisme. Cette
valeur normative de la vision formaliste exprime videmment,
un autre niveau, l'importance acquise par le registre thique
vis--vis des mathmatiques dater de la rvolution formaliste :
il n'est pas indiffrent que l'cole formaliste soit cette cole qui
a pens que l'essence des mathmatiques tait chose dcider par
les mathmaticiens, et que cette pense ait t suivie de ralisation
(mme si l'on peut estimer qu'elle n'a pas redfini les mathmat
iques
jusqu'au point o elle le croyait).

Z / Le formalisme et le langage ; le sens emploi


Dans la prsentation courante de la mutation formaliste, on
accorde gnralement, et juste titre, beaucoup d'importance
la venue au premier plan du langage. Nous pensons que cet aspect
des choses est en fait mieux compris dans la perspective thiciste
que nous proposons. En effet, ce qui importe dans l'affaire est le
passage de l'usage naturel l'usage formel du langage, et ce pas
sage lui-mme, comme on le sait, consiste dans la neutralisation
de la fonction rfrentielle d'une part, dans le centrage sur la
dimension strictement structurale d'autre part. Or, ce qu'on entend
par ce second point, c'est que les signes linguistiques seront un
iquement
pris comme mode d'accs des entits du type variable,
constante, c'est--dire des idalits au-dessus des lignes rptitives
connues comme disponibles (rptition de l'inscription de la lettre x,

La tradition de l'infini

185

par exemple). Il est demand aux signes de dsigner des idalits (32)
de l'espce de celles qui le constituent comme signe linguistique :
si l'on accepte ce sujet la leon de la science structurale contemp
oraine du langage, une variable est une entit de mme rgime
et de mme statut qu'un phonme, ou que tout constituant nomm
par une thorie structurale de l'espce de celle de Hjelmslev (83).
Mais ce type de statut est celui d'une quiddit n'ayant pas d'autre
critre ni mme d'autre lieu d'identit que l'accord des locuteurs
le long de leurs actes de parole ou d'criture (le long des variantes
hjelmsleviennes) (M). L'identit objectale laquelle se rfre le
discours formel est dj le rsultat de l'observance par les divers
nonciateurs d'une communaut linguistique de rgles d'acceptab
ilit
implicites, sa constance est dpendante du fait que a
marche , si bien qu'elle apparat en ce sens comme un corrlat
(ou un effet, ce mot tant entendu en un sens incorporel, non phys
ique)
de l'intersubjectivit, soit une chose du registre thique.
Par ailleurs, le formalisme rpte un niveau suprieur cette
structure fondamentale du langage, en dterminant de manire
non ontique i85), la signification des prdicats bien form, valide,
voire vrai et faux pour autant qu'il s'agit de vrit formelle : tous
ces concepts sont dfinis en termes de rgles d'emploi ayant trait
en dernire instance au matriel littral ; un nonc est connu
comme formellement valide ou vrai dans une thorie si l'on en
possde une drivation conforme certaines rgles, un nonc
est connu comme bien form si l'on dispose d'une production gram(M) Au sens o Husserl utilise ce mot au 2 de Logique formelle et transcendantale
(Paris : PUF, 1957 ; 3* d., 1984), 29-32.
(**) Voir aussi ce sujet notre thse ; notre rfrence chez Hjelmslev est bien
entendu Prolgomnes une thorie du langage (Paris : Larousse, 1966).
(**) En accord avec notre critre 1 / du registre thique.
(**) On peut r-ontologiser ces dfinitions en dplaant lgrement le deflniendum :
dire, par exemple, qu'un nonc valide est un nonc derivable selon les rgles. On a
ainsi chang de modalisation, troquant la dontique ( laquelle appartient la dter
mination
du permis attribue la drivation propose de l'nonc qu'il s'agit de
connatre comme valide) contre l'ontique (incluse dans l'adjectif derivable). Mme si
cette formulation alternative convient la dmarche substantivante de l'entendement,
elle ne peut masquer le caractre premier, pour ce qui concerne le sens de la validit
logico-mathmatique, de la modalisation dontique, de la rfrence la rgle comme
ce qui doit tre respect dans une performance effective : c'est cet aspect, en effet, qui
prvaut dans l'apprentissage et la pratique de la dmonstration, qui sont le cur de
la chose formelle. Notons d'ailleurs que, d'aprs le fameux second thorme de GOdel,
la drivabilit n'est pas procduralement traductible, ce qui tend indiquer que ce
prdicat est assez peu charg ontologiquement en fin de compte.

186

Jean-Michel Salanskis

maticale de cet nonc manifestant la conformit de l'assemblage


qu'il est avec d'autres rgles. Au-del encore, les objets
mathmatiques survenant dans la construction formelle sont carac
triss en termes de rgles (un groupe, ainsi, est un ensemble muni
d'une opration o l'on peut procder certaines oprations scrip
turales,
simplifier par exemple). Donc toutes les identits vhicules
par le discours formel, et pas seulement celles sur lesquelles il se
fonde (celles des lettres et symboles du langage), sont ancres dans
la double dimension de la rptition intersubjectivement accomplieaperue et de la rgle, c'est--dire la prescription une fois pour
toutes admise et consigne dans le langage afin d'tre indfiniment
ractive dans une adresse d'un sujet un autre (un enseignement
de la rgle). Lorsque les philosophes et logiciens anglais K. Mulligan
et B. Smith, dans un de leurs articles (8e) qualifient de formel lout
concept dont la signification s'puise dans la rgle d'emploi, ils
mettent donc le doigt notre avis sur l'appartenance du forma
lisme au registre thique, qui passe par un usage du langage tourn
vers l'essence de ce dernier selon le point de vue contemporain :
son caractre structural. Naturellement, tant qu'on regarde seul
ement ce niveau le passage aux mathmatiques formalistes, on
peut tre tent de ne voir le registre thique intervenir que par
le truchement de la catgorie ambigu, selon ce que nous avons
dit plus haut, de l'intersubjectivit : celle-ci serait une simple
clef explicative pour le statut de l'idalit du langage et du symb
ole. Mais si l'on a par ailleurs la vision thiciste de la temporalit
de l'idalit que nous avons esquisse, alors on comprendra nces
sairement
l'enracinement intersubjectif des notions de langue for
melle
et de dduction en un sens plus fort, on envisagera Tintersubjectivit garantissant ces notions comme elle-mme seconde
par rapport ces situations d'adresse de la rgle dans le face-face dont nous faisions tat l'instant (situations dont procde
la spatialit de l 'intersubjectivit formaliste), et par rapport
ce mode d'enchanement du discours mathmatique avec lui-mme,
caractris par sa hirarchie de moments, que nous avons dcrit
(de la dynamique donatrice en dernier lieu de l'objet au sein de
l'cole procde la temporalit de l'intersubjectivit formaliste ;
mais, bien videmment, c'est la mme communaut qui vaut
(M) Framework for formal ontology, Grazer Philosophische Sludien, n 6 (1978),
39-62.

La tradition de V infini

187

dans un cas comme espace de lgitimation, dans l'autre cas comme


vie accdant un langage, des questions, des objets lgitimes, et
elle vaut de ces deux manires par les mmes interlocutions sco
laires
ou scientifiques en lesquelles elle se rsout).
Nous en arrivons maintenant notre objectif avou : prsenter
ce que nous appelons sens-emploi , et qui nous semble la sorte
de sens convenant la sorte d'objectivit connue de la mathmat
ique
l'poque formelle. Prcisons d'abord que nous partons,
disons, d'une conception frgenne du sens, que nous privilgions
pour sa clart et sa tolrance l'gard de nombreuses interprtations
(puisqu'il ne s'agit pas ici, bien sr, de nous engager d'emble
dans une thorie philosophique du sens qui aurait tellement cons
truit son objet que celui-ci risquerait d'tre tranger ce que
nous avons en vue aux fins de notre discussion des mutations
successives dans le sens survenues dans le domaine mathmatique) :
le sens est donc la modalit dans laquelle l'objet est dsign par
l'expression linguistique. La tolrance de cette dfinition rsulte
manifestement des manires diffrentes dont on peut concevoir
la modalit dont il est question (comment existe-t-elle, comment
la repre-t-on ? on peut voir dans la perception de cette indter
mination
le mobile qui a conduit la philosophie dite analytique
l'interprtation pour autant que nous soyons informs, domi
nante de ce sens comme entit fonctionnelle, interprtation
qu'on trouve exemplairement chez Montague (87). Telle quelle,
cette dfinition est fort bien adapte notre problme ; de mme
que toile du soir et toile du matin dnotent (88) la mme toile avec
deux sens diffrents, de mme :
L*-*2
lim x 2J
K

et

L -h
i

rpour tout h S 0 J

C7) Cf. Formal Philosophy (New Haven and London : Yale University Press, 1974),
notamment les articles English as a formal language et Universal grammar .
(M) Nous suivons ici la traduction donne par Claude Imbert {Ecrits logiques et
philosophiques de Gottlob Frege (Paris : Le Seuil, 1971), spcialement Sens et dno
tation >, 102-126) de l'allemand bedeuten, ceci bien que le franais dsigner soit plus
naturel d'une part, et bien que d'autre part le terme dnotation reoive en cons
quence un sens diffrent de celui qui lui revient dans l'emploi classique, comme nous
en informe Claude Imbert elle-mme dans l'introduction de l'ouvrage mentionn.
Cet emploi classique , nous dit-elle, est le fruit d'un amalgame entre la critique
des logiciens de Port-Royal et celle de John Stuart Mill (op. cit., p. 15), avant d'expli
quer
les motifs de sa traduction. Pour nous, l'emploi de dnoter la place de < dsi-

188

Jean-Michel Salanskis

dnotent 4 et lui confrent le statut de nombre driv de la fonc


tion 2 avec deux sens diffrents, du moins on peut le supposer.
Notre thse est que la pluralit des modalits de prsentation,
dans le contexte prformaliste, tait suppose relative un clairage
ambiant ou un angle de vision, la seule variation concevable par
rapport la fixit substantielle de l'objet se situant dans ce registre
de l'interrelation optique ; le concept corrlatif de sens mrite le
nom de sens-lumire, lumire tant tacitement compris comme
lumire de la prsentation. Il est certain que le privilge accord
l'objet gomtrique se marie bien avec ce concept de sens. Mais,
justement, l'mergence du formalisme moderne est contemporaine
de la perte de confiance en l'intuitionn fondamental gomtrique,
en la spatialit euclidienne. Ce n'est pas seulement la dcouverte
des divers modles de gomtrie non euclidienne qui compte
ici, c'est aussi la mise en vidence progressive de la possibilit de
substituer un accord intersubjectif fond sur l'objet et l'vidence
partage de sa prsentation (c'est--dire l'homognit des effets
de son sens-lumire) un accord intersubjectif fond sur l'observance
d'une srie de rgles (sur une axiomatique), et ce sans perte appa
rente (en sauvant tous les rsultats classiques). Puisque, en raison
du caractre non dterminant ou ambigu de la saisie intuitive de
l'objectivit gomtrique, le cadre axiomatique de substitution
est appel tre la nouvelle rfrence de la pense mathmatique,
il est invitable de reconnatre dans l'usage rgul par l'axiomatique la principale efectivit du sens : on arrive donc la notion
de sens-emploi, dont Wittgenstein a dgag le concept dans les
Investigations philosophiques et les Remarques sur les fondements des
mathmatiques (39) ; les modes de prsentation des objets ne sont
plus des qualits de lumire ft-ce en mettant derrire ce mot
un concept idal du voir et de la lumire mais l'manation des
groupes de rgles dterminant des emplois divers de l'expression
parmi un stock d'expressions solidaires, la relation un rfrent
(le dnot) tant commande par ces emplois et les rgles qui
gner est simplement une faon discrte de rappeler cette rfrence frgenne en su
ivant le code fix par cette traduction, et adopt par quelques autres qui ont mdit
ou discut la pense de Frege au cours des quinze dernires annes. Nous esprons
que cette terminologie ne gnera pas ceux de nos lecteurs pour lesquels la signification
de dnoter lie l'emploi classique prvaut spontanment.
(8e) Investigations philosophiques (Oxford : Blackwell, 1978) ; Remarques sur les
fondements des mathmatiques (Paris : Gallimard, 1983).

La tradition de l'infini

189

assignent leur contour. Le mme mouvement d'abandon du senslumire se laisse dceler par ailleurs, dans la mme priode histo
rique, l'gard du continu, sous l'impulsion de Cantor et Dedekind.
Ce dernier, en particulier dans Was sind und sollen die Zahlen (*),
soutient que le continu n'est pas clair comme intuitionn, que
c'est seulement avec une formalisation comme la sienne que son
identit se trouve tablie. C'est bien au niveau du sens que les
choses se jouent : rien n'interdit de persister poser l'intuitionn
fondamental comme quelque chose d'antrieur au discours, comme
le point d'origine transcendant de notre problme du continu ;
mais on cesse de penser que dans cette prsentation originaire du
continu (qui est aussi son voilement, pour parler comme Heidegger,
chacun commenant de savoir cette poque l'opacit de la vue
intuitive premire de la droite relle, quant la cardinalit et la
topologie par exemple) se trouve aussi livr son sens, ou bien mme
plus libralement que ce sens part de l'intuitionn (en concdant
qu'il demande interprtation) (41). Le sens du continu part de la
rgle intersubjectivement admise. Cette faon de prendre le sens
le fait basculer du ct du registre thique, simultanment dans le
champ de la relation l'autre homme et dans celui de la rgle
observe communautairement ; il est encore ici question de l'intersubjectivit, mais dans une figure moins facilement apprhendable
comme neutre et objective que tout l'heure, quand il s'agissait
des canons linguistiques de l'activit formelle : c'est que la rgle
et l'emploi qui forment le sens de l'objectivit mathmatique ne
sont pas directement inclus, ni donc lisibles, dans les textes consti
tutifs, ou mme dans les instructions explicites qu'ils reclent et
qui les accompagnent (bien qu'on parte ncessairement de ces
donnes) ; l'emploi qui fonde le sens est celui qui fonctionne comme
droit effectif dans la communaut mathmatique, le sens-emploi
(*) Les nombres : que sont-ils et quoi servent-ils ? (Paris : Ornicar Analytice, 1978),
70-71.
(**) Ce qui ne veut pas dire qu'on abandonne l'ide d'une dtermination de la rgle
admise par l'intuitionn en tant que tel. Mais cette dtermination est au-del du
sens, ce qui veut dire concrtement qu'on ne discutera pas directement de la confor
mitd'un systme d'axiomes avec une intuition comme si le second terme tait un
terme de comparaison matris, critriellement utilisable, mais on attendra de voir
les consquences du systme d'axiome pour prouver l'adquation de la signification
dgage avec ce que demande silencieusement l'intuitionn (ce qui fait critre tant
la subjectivit des mathmaticiens, notamment leur tendance jouer ou non le jeu
propos).

190

Jean-Michel Salanskis

wittgensteinien est sous ce rapport un concept qui appelle une


hermneutique empiriste , o il s'agit de se mettre l'coute de
ce qui fait rgle et contrle de fait l'accs aux objets, de se mettre
donc l'coute des textes, des instructions qu'ils transmettent et
de la faon dont elles sont entendues et appliques. Nous allons
nous efforcer de dcrire selon cette mthode les sens formels (c'est-dire donc les sens-emploi) du fini et de l'infini dans la mathmat
ique
formaliste classique de ce sicle tout d'abord, dans son piphnomne non standardiste en second lieu.
Une dernire remarque avant d'aborder cette tentative de
description : ce changement qualitatif du sens mathmatique
est bien videmment solidaire du renversement dans la hirarchie
de moments analys tout d'abord. C'est que le sens dans une
rgion de l'activit pensante est tributaire en gnral du mode
d'enchanement constituant la temporalit propre de cette activit :
ds lors que l'enchanement du mathmatiser avec lui-mme se
laisse reprsenter partir de l'cole, des instructions excutoires
et des formes linguistiques transmises, alors la modalit de prsen
tation des objets faisant face au mathmaticien ne peut qu'tre
elle-mme renvoye cette transmission de rgles et de formes,
ou plus largement ses effets incorporellement stocks dans une
tradition.

IV - SENS FORMELS DU FINI ET DE L'INFINI


1 / Sens formels classiques
Le caractre central pour tout le dispositif de la mathmatique
formelle-ensembliste contemporaine du concept d'infini a t remar
quablement
mis en vidence par le discours de ceux qui, comme
Brouwer, ne se satisfaisaient pas de la version de l'infini propose
par les pres fondateurs de cette mathmatique. Un des arguments
classiques de la critique constructiviste, on le sait, consiste s'en
prendre la dfinition des ensembles finis par la proprit de
n'tre pas quipotents l'une de leurs parties propres : on fait
observer que cette dfinition caractrise le fini par rapport
l'infini, alors que la raison voudrait qu'on partt de ce qui est le
mieux connu (le fini) afin de dterminer ce qui l'est moins (l'infini).

La tradition de l'infini

191

Cet argument est consquent dans son ordre, mais ce qu'il souligne
est justement le sens attach l'infini par le formalisme ensembliste : ce dernier est en premier lieu sensible la proprit para
doxale
(contredisant les a priori concernant le tout et la partie)
que possde positivement l'infini tel qu'il entend l'introduire ; vue
sous cet angle ladite dfinition met en vidence, sur le plan qualit
atif, l'htrognit du fini et de l'infini. En choisissant l'adjectif
transfini pour qualifier les cardinaux infinis, sur lesquels il ensei
gnait la possibilit d'un calcul analogue mais non isomorphe
celui de l'arithmtique finie, Cantor a bien marqu cette approche
positive de l'infini comme un au-del trange, non immdiatement
justiciable de nos prdications naves. Plus profondment, les
dmonstrations concernant la hirarchie des cardinaux, et tout
particulirement la non-existence d'une surjection de X sur P(X),
la position du problme dit de l'hypothse du continu, forcent
envisager l'infini comme puissance de dbordement ou d'arr
achement
toute cardinalit donne (ds lors qu'on lui a ouvert la
porte en acceptant N bien entendu) : cette puissance engendre une
hirarchie problmatique du transfini, et s'exerce sans borne, jus
qu'aux
horizons de cardinalit normes que la thorie permet de
dfinir, et au-del. D'une part l'infini avec son sens de transcen
dance
est essentiellement hors d'atteinte de la synthse humaine
(Cantor a bien dit qu'il lui suffisait que Dieu le vt dans sa totalit
en repos ; le symbole H n'intervient pas ici par hasard), d'autre
part il y a une logique de cette transcendance, qui est aussi autotranscendance ritre, dont la lgitimit, ne pouvant tre celle
d'une possession intuitive ou empirique du transfini, sera nces
sairement
formelle (le passage de Cantor Zermelo-Fraenkel tant
cet gard dj inscrit dans la dmarche de Cantor). Aux dter
minations
de l'htrognit et de la transcendance, s'ajoute donc
celle de l'opacit, que ne cesse pas de rappeler l'existence mme
du formalisme ; ces diverses dterminations composent le noyau
du sens formel de l'infini, qui rside la fois dans les options dfinitionnelles des discours qui le posent, dans les quelques thormes
dont tout utilisateur sait bien qu'ils sont les lments importants
et rgulateurs de l'infini ensembliste, et dans le simple fait que la
dfaillance de l'intuition comme vision premire force cet infini,
notamment dans sa prolifration hirarchique, rester totalement
immanent la faon d'en user avec lui (formellement). Nous
sommes donc bien dans le registre du sens-emploi.

192

Jean-Michel Salanskis

Un rapprochement est possible ce niveau avec ce que nous


appelons la suite d'Emmanuel Levinas infini thique, bien que
ce concept vienne d'un tout autre horizon (42). Nous avions d'ail
leurs signal, dans notre expos succinct de la problmatique
thique telle que nous la comprenions, qu'elle comportait nces
sairement
la rfrence une sorte d'infini , sans gure entamer
le mystre de son contenu. Emmanuel Levinas, quant lui, se
rfre pour ce qui concerne la philosophie aux mditations mta
physiques
de Descartes, et dgage la notion d'un infini qui n'est
tel qu'en tant qu'il dnonce tout effort d'englobement tent dans
sa direction par le sujet, d'un infini qui se laisse caractriser
comme instance excluante, sparation, transcendance, qui se situe
dans l'absolument autre et se refuse toute thmatisation. Cet
infini est objet du dsir mtaphysique, l'gard duquel a
cours la relation thique, relation bien peu reliante puisqu'elle
n'assure d'aucune prise, d'aucune circulation objective, d'aucun
change ; mais elle est en mme temps pense comme non-indiff
rence,
c'est--dire que le terme paradoxal parti dans l'altrit
absolue qu'est l'infini exerce une demande l'endroit du sujet,
le requiert avec une autorit sans limites bien que soutenue par
aucune force, l'arraisonne, le commande, en fait son otage (et
ce en le vouant au visage d'autrui, pour donner une brve ide de
cette pense, dans le dtail de laquelle il n'est pas question d'entrer).
Dans ce qui prcde, nous avons bien vu comment le discours
cantorien dterminait l'infini comme transcendant, htrogne,
opaque, toutes qualits ngatives qui sont congruentes avec la
description levinasienne de l'infini thique, que nous venons de
livrer de faon extrmement condense. Avec et aprs Cantor
aussi, le sens de l'infini, c'est d'abord d'interdire toute saisie de
soi, c'est la modalit absolue de l'altrit. Mais ce qui est plus
surprenant, c'est que la mathmatique formelle de l'infini se
comporte galement comme si l'infini contractait un rapport de
non-indiffrence avec les sujets mathmatisant, et se manifestait
eux par l'intermdiaire de commandements qu'ils se donnent
(**) Nous donnons trois rfrences d'E. Levinas o l'on pourra trouver ce qui cons
titue l'arrire-plan des brves indications qui suivent, et plus simplement les dvelop
pements qui livrent leur sens d'une manire plus satisfaisante : Totalit et infini
(La Haye-Boston-Londres : M. Nijhoff, 1961); Dieu et la philosophie, in De Dieu qui
vient Vide (Paris : Vrin, 1982), 94-127 ; (art. Infini , in Encyclopaedia universalis,
vol. 9 (Paris, 1984); 1118-1121.

La tradition de infini

193

en vue de tenir un discours o il a sa place. L'explicitation par


les mathmaticiens de l'poque de la crise de la thorie des
ensembles du schma de comprhension (Aussonderung Axiom
= axiome de sparation) fournit notre avis un exemple de cette
relation thique des mathmaticiens leur infini.
Comme on le sait, en effet, l'antinomie de Russell tait d'abord
apparue Cantor sous la forme d'un paradoxe de la transcendance :
l'ensemble P(T) ne pouvait tre strictement plus riche que T si
T tait l'ensemble de tous les ensembles. La formalisation de
Zermelo-Fraenkel vite ce type de paradoxe en limitant le droit
la formation d'ensembles, prcisment au moyen du schma de
comprhension (ou du schma de remplacement, dans d'autres
formulations) : or, la considration de l'ensemble de tous les
ensembles et de son ensemble des parties rsultait de la collec
tivisation
sauvage , de cette collectivisation spontane qui par
ailleurs permet d'engendrer partir de l'objet 0 tous les ensembles
mathmatiquement intressants. D'o l'ide, souvent avance, que
la codification de Zermelo-Fraenkel a pour signification principale
la proscription des trop grands ensembles, qu'elle nous enseigne
comment ne pas abuser de la machine construire non constructivement. On voit le lien avec ce que nous disions plus haut : tout
se passe comme si le commandement de Aussonderung Axiom,
formul comme une permission mais dont le contenu interdictif
reste prsent tous les esprits, tait ce que l'infini, depuis son
retrait essentiel, exige de nous comme prix payer pour que nous
persistions parler de lui sans le voir et le saisir, formellement.
Si le sans-visage de l'absolument autre se prte tout de mme un
discours qui le dtermine (ou qui fait comme s'il le dterminait),
c'est pour autant que nous nous comportons son endroit comme
les destinataires d'une exigence, laquelle exigence ne peut s'inscrire
que formellement, en raison mme de la transcendance de l'infini.
Il semblerait donc qu'il y ait une trace, au niveau de cette limi
tation
du geste de dsignation collectivisante, qui fait partie du
sens-emploi de l'infini (au point qu'aucun professionnel ne
puisse l'ignorer, ce qui est loin d'tre le cas pour tous les items de
la connaissance fondationnelle ), de la non-indiffrence essentie
llement
attache l'infini thique. Il y aurait donc ici un double niveau
d'appartenance du discours mathmatique au registre thique :
celui de la modalit du sens-emploi quel que soit l'objet vis, et celui
de la thmatique de l'infini se dgageant du sens-emploi de l'infini.

194

Jean-Michel Salanskis

II ne faudrait pas croire, cela dit, que le fini, quant lui, soit
rest dans l'aventure de cette mutation comme le socle inbranlable
de la pense mathmatique, invariablement reu avec le mme
sens videntiel. Pendant la mme priode o se sont dveloppes
la mathmatique infinitaire et la codification sur laquelle elle
fonde son discours, s'est opr un changement de perspective
essentiel sur le fini : alors qu' l'poque du sens-lumire le fini
est naturellement caractris comme fini actuel se prsentant dans
son actualit, et ce titre comme fini toujours la porte d'une
saisie, la pense formaliste, et ce en raison mme des exigences de
la thorie de la dmonstration qui d'aprs l'enseignement de
Hilbert doit ncessairement accompagner le discours formel inf
initaire,
apprhende de plus en plus le fini comme renvoyant la
calculabilit effective, e'est--dire un certain horizon potentiel,
celui des suites d'oprations dont on peut anticiper la clture, dans
un temps vrai dire idal mais dtermin par l'intuition recursive.
Ce thme de la calculabilit a fourni la matire d'un grand nombre
de travaux, visant en produire un concept exact par l'interm
diaire
de l'laboration d'un langage exprimant/accomplissant le
calcul : on peut citer ici les noms de Church, Turing, Post, et des
cadres de programmation du calcul comme le lambda-calcul, les
fonctions rcursives, les machines de Turing ou les machines de
Post. Robinson a salu l'importance de ce travail dans son article
Progress in philosophy of mathematics :
The emergence of a precise notion of computability represents
perhaps one of the most impressive intellectual achievements of our
time. (*)
De notre point de vue, ce travail est nouveau la manifestation
du passage au sens-emploi, met en jeu le registre thique en un
sens que nous avons dj dcrit : le caractre finiment calculable
est retir l'vidence dont on aurait pu le croire envelopp pour
cause de finitude, il devient l'objet d'un travail dductif qui passe
tout coup par la dfinition d'un langage de programmation, donc
de rgles opratoires appliques et comprises de manire uniforme
par les sujets (**), on peut mme aller jusqu' dire que le problme,
(*) Selected Papers, p. 556.
(**) Le lien de ce concept de rgle opratoire avec une interaction thique dans une
communaut a t fortement soulign par Wittgenstein dans Investigations philoso-

La tradition de V infini

195

essentiel pour tout ce travail, de la concordance des notions de


calculabilit dgages, qui au fur et mesure qu'on l'tablit vient
conforter la thse de Church, ouvertement situe par ce dernier
dans le registre de la croyance, est en rapport direct avec le pro
blme
de la pluralit des esprits et des discours, avec toute la
charge thique de ce dernier (**). Mais ce qui prime pour nous,
c'est le fait que l'interprtation du fini comme l'effectif renvoie
le sens du fini la dimension de l'emploi, mise plat de faon
exemplaire dans les langages o naissent , en se laissant crire,
les procdures.
Hors ce champ, le fini possde un statut objectif dans l'univers
virtuel auquel se rfrent les noncs de la mathmatique ensembliste : c'est le concept d'ensemble fini. Mais alors le fini ne tranche
pas rellement sur l'infini, maint thorme et l'usage discursif
inform par ces thormes dvoilent la notion in Unitaire qui habite
et dtermine le fini pris en ce sens (4e). Nous verrons d'ailleurs
que l'analyse non standard joue trs fortement sur cette double
signification du fini, l'poque du sens formel. La dualit effectivit/
fini formel correspond deux registres d'emploi, celui de l'criture
des procdures, et celui du discours ensembliste gnral. Il y a
une prise de conscience gnrale au sujet de cette dualit dans la
mathmatique contemporaine, qui dpasse le cadre de l'analyse
non standard, et qu'on peut sans doute imputer au dveloppement
de l'informatique.

2 / Sens non standard


L'examen des preuves non standard des thormes classiques
donnes par Robinson rvle que, souvent, elles se distinguent
des preuves classiques prcisment en ceci que certains aspects
phiques et Remarques sur les fondements des mathmatiques ; S. A. Kripke a brillamment
clairci l'enseignement wittgensteinien dans son essai Wittgenstein : on Rules and
Private Language (Oxford : Blackwell, 1982).
{**) Trs profondment aperue par Brouwer dans : Consciousness philosophy and
mathematics, in Proceedings of the 10th Intern. Congress of Philosophy, vol. I, fasc. II
(1949).
() Citons un exemple banal : l'ordre d'un lment d'un groupe est le gnrateur
positif de l'idal noyau du morphisme canonique n as*, et cette dtermination infinitaire est, pour un certain usage mathmatique, plus essentielle que la notion finitaire
de plus petit exposant .

196

Jean-Michel Salanskis

ayant trait au fini, l'infini et leurs rapports sont pour ainsi


dire passs dans l'objet dans le discours non standard, alors
qu'ils n'avaient qu'une prsence mtamathmatique, lie un
rle rflexif et rgulateur, dans le discours classique. Donnons-en
deux exemples :
En topologie gnrale, on sait bien qu'un compact est
un espace topologique ne permettant pas de fuite l'infini. Ce
savoir guide ainsi de toute vidence la dmonstration du fait que
l'quation diffrentielle associe un champ de vecteurs sur une
varit compacte admet des solutions maximales dfinies sur
R entier (47). Dans le point de vue non standard, un compact peut
tre dfini par la proprit que tout point est presque standard,
ce qui correspond exactement la notion-guide de non-fuite
l'infini.
Les prsentations classiques de l'intgrale de Riemann
essaient gnralement de rester proches de l'ide naturelle de
l'exhaustion dont tout est venu : on dcoupe l'intervalle de dfi
nition
de la fonction, on calcule la surface d'une aire multirectangulaire et on passe la limite. Mais les contraintes lies au concept
de convergence interdisent de conserver ce calcul d'aires l'infini ,
si bien que l'ide pourtant rgulatrice d'une sommation associe
un dcoupage infinitsimal reste une ide. Dans le point de vue
standard, l'intgrale pourra tre dfinie (lorsqu'elle existe) par
une telle sommation (par exemple par la formule

pour N entier infiniment grand).


Cette sorte de passage doit tre regarde comme acquisition
de sens-emploi : ce qui n'avait de statut que comme accompagne
ment
idel, en un sens kantien de l'ide qui la fonde sur un objet
(47) L'ide de cette preuve est que, si l'intervalle maximal admet une borne sup
rieure finie par exemple, et si {tn)H 6 N est une suite de points tendant vers strictement
croissante et si 9 est une solution sur ]0c[ suppose maximale, alors la suite (<p(in))gN
admet une sous-suite convergente, et on peut prolonger la solution sur ]0 c[ par une
solution locale valant en la limite d'une telle sous-suite. Ce n'est pas l'opration
technique d'extraction d'une sous-suite convergente qui nous intresse ici, mais le
fait qu'elle actualise dmonstrativement la vue intuitive ou mtamathmatique selon
laquelle, dans la varit compacte considre, les solutions ne trouvent aucun motif
topologique de s'essouffler vers un seuil inaccessible.

La tradition de l'infini

197

impossible attester, possde dsormais un statut intrathorique


mesur par les rgles fixant l'identit de la nouvelle thorie ;
disons que du sens idel est devenu du sens-emploi. Ce type de
mutation est constant dans la mathmatique formelle et constitue
un aspect important de la prgnance, voque dans la section
prcdente, du sens-emploi. Si, conformment notre mthode,
et dans le but de comprendre quelle novation dans le sens du
fini et de l'infini participent les passages considrs, nous tchons
d'couter les nouvelles rgles ayant trait au fini, l'infini et
leurs rapports proposes par le non-standard, et de les couter
selon l'importance effective qu'elles prennent dans l'usage dmonst
ratif
des auteurs, nous sommes conduits dgager deux lments
essentiels.
Le premier lment est l'mergence du concept du formellement
et seulement formellement fini. C'est le fini d'un entier infiniment
grand, par exemple le N invoqu ci-dessus pour dfinir une subdi
vision rgulire de pas infiniment petit du segment [a b]. Le concept
de ce fini est vritablement ce dont la paternit doit tre attribue
Skolem : concevoir des entiers infiniment grands mais finis pour
ce qui regarde le traitement (comme tout nombre entier doit l'tre),
est peu de chose prs concevoir un modle non standard de
l'arithmtique. Ceci revient encore entriner la distinction de
principe entre le fini au sens de la calculabilit effective, au sens
de la thorie de la rcursivit, de l'informatique, ou au sens de
Brouwer (le fini intuitionniste) (**), et le fini dtermin par le dis
cours
formel, en termes de ses proprits caractrisantes au sein
du dploiement infinitaire des ensembles infinis aussi bien que
finis. Ce que Robinson a ajout Skolem cet gard est l'exploi
tationde ce fini en analyse, exploitation qui a elle-mme deux
aspects : d'une part, on prolonge le calcul finitaire au-del de ses
bornes usuelles (ce qui permet, par exemple, d'crire la somme de
Riemann de pas infiniment petit ci-dessus), d'autre part, en vertu
du lemme de Robinson (49) ou principe de permanence (M),
(**) Nous avons choisi, dans les limites de cet article, d'escamoter le lien de notre
sujet avec la pense de Brouwer ; dans un autre texte (Le potentiel et le virtuel, in
L'Analyse non standard..., op. cil., in n. 20) nous avons essay au contraire de rendre
compte de ce lien.
(*) Selon une terminologie courante.
(M) Selon une terminologie que nous avons trouve chez M. Diener {Analyse non
standard et reprsentation du rel (Paris : cnrs, 1985), 11-71).

198

Jean-Michel Salanskis

l'opration mme du passage la limite devient gnralisation


d'noncs indexs par des entiers a priori standard de telles
valeurs formellement finies. G. Reeb a coutume de dire que l'or
iginalit
du dispositif non standard dont nous parlons ici consiste en
l'intercalement, entre l'infini inefectu de l'numration (0, 1, 2...)
et l'infini totalis du N de la mathmatique usuelle, du formellement
fini : de fait si N est un entier formellement fini, l'ensemble [ON]
est strictement inclus dans N et contient strictement la collection
des entiers finis au sens de la calculabilit effective.
Ce que le rapport avec la pense de Skolem souligne, c'est que
ce concept du formellement fini tait d'une certaine manire dj
acquis depuis longtemps ; mais, selon notre point de vue du sensemploi, il est bien clair que la double utilisation de ce concept
dans le contexte de l'analyse, que nous venons de dcrire, en
modifie le sens pour la communaut mathmatique. Principale
ment,
c'est le sens du fini qui subit la modification : la mathmat
ique
non standard force le sujet mathmatisant une apprhens
ion
du fini comme contenu formel, ayant son propre mode de
transcendance l'gard du fini de la calculabilit, dsormais dis
soci,
et impliquant un mode formellement rgl de passage
la limite (l o auparavant l'ide mme de limite semblait dplace).
Le formellement fini, c'est la transcendance l'gard du fini dans
le fini ( l'gard du finix dans le fini,), c'est donc une redistribution
des sens de l'infini et du fini, qui transporte rsolument les dter
minations
du sens formel de l'infini, dgages par nous plus haut
(et qui en font selon nous un infini apparent l'infini thique),
dans le fini.
Nous avions annonc un deuxime lment de cette mutation
dans le sens, auquel nous en venons maintenant. Ce deuxime
lment, la diffrence du premier, n'est pleinement rendu manif
este que par I'ist de Nelson, et demeure masqu dans la dmarche
intrieure la perspective ensembliste classique adopte par
Robinson.
Comme nous l'avions dit plus haut, Nelson, dans son article
de 1977 (51), propose une nouvelle thorie des ensembles, com
portant
en sus de l'galit et du prdicat binaire e un prdicat
unaire not st : st(x) se dira l'objet x est standard . Trois schmas
(tt) Voir n. 14.

La tradition de l'infini

199

d'axiome sont ajouts la thorie zfc (Zermelo-Fraenkel avec


axiome du choix) qui demeure donc entirement valide :
le schma de transfert :
(T)

V'% . . . V4([V'<* A(Mi, . -)] => [V* (*, . ..,])

o A(x, lx , . . . , lk) est une formule interne (ne faisant pas intervenir
le prdicat st) dont x,tt1 . . . , tk sont toutes les variables libres ;
le schma d'idalisation :
(I)

[V **z3xVyez B(x, y)] o[lx V" y B(x, y)]

o (, i/) est une formule interne dont x et y sont deux variables


libres ;
et le schma de standardisation :
(S)

V'xij/V'z^ei/oizeai & )]

o C{z) est une formule quelconque dont z est une variable libre.
[Il est sous-entendu que Ve< 3" V" to sont des abrviations
pour V st(u) => . . . , 3 st(u) & ...,V [st{u) & (u fini)] =>...,
(m fini) tant son tour une abrviation.]
Chacun de ces schmas d'axiome exprime une proprit dont
on veut que le prdicat st jouisse afin que la nouvelle thorie des
ensembles soit d'emble adquate l'intuition infinitsimale
explore par Robinson :
Le schma (T) assure qu'une proprit exprime sans recours
au concept de standardit sera vraie pour tout objet si elle l'est
pour tout objet standard, c'est--dire que, d'une certaine manire,
les objets standard reprsentent dj tout l'univers.
Le schma (I) assure que toute relation binaire concurrente
au sens de Robinson, c'est--dire telle qu'un ensemble fini est
toujours domin au sens de ladite relation par au moins un lment,
permet d'introduire un objet idal dominant, toujours au sens
de la relation, tout lment standard ; si on l'applique la rela
tion B(#, y) : (x et y sont des ordinaux finis et x e y) ou (x n'est
pas un ordinal fini) , il permet de poser l'existence d'un entier
plus grand que tout entier standard, c'est--dire, en anticipant,
infiniment grand.
Le schma (S) assure de la possibilit de pseudo-collectiviser les formules mme externes ( = faisant intervenir le prdicat $t)
dans tout ensemble de rfrence : bien qu'il n'existe pas, pour une

200

Jean-Michel Salanskis

telle formule C, en gnral un sous-ensemble d'un ensemble x donn


dont les lments sont exactement ceux de x qui satisfont C, il
existe un ensemble dont les lments standard sont exactement
les standards de x satisfaisant G.
Mais ces bauches de commentaire, visant rendre intuitifs
les trois schmas d'axiome, sont insuffisantes : la vraie teneur du
dispositif nelsonien se rvle lorsqu'on fait oprer conjointement
ces schmas afin de driver les premiers thormes fondamen
taux
d'iST. Cette situation est d'ailleurs caractristique du sensemploi : il n'est pas l tout de suite avec l'objet comme le senslumire, mais il faut l'attendre, au mieux il demande tre dgag
par une pratique pertinente. (Bien videmment, on peut postuler
que le sens-emploi prexiste l'nonc des rgles d'iST, dans
Tans robinsonnienne, d'une part, dans la tte de Nelson, d'autre
part : c'est en partie vrai pour la premire assertion, mais seul
ement en partie, et, quant la seconde, elle a bien entendu sa vra
isemblance,
il est clair que l'auteur de la codification ist a d'une
manire ou d'une autre en vue l'effet de sa thorie, mais il n'est
pas sr que l'on puisse affirmer avec certitude que la totalit de
cet effet prexiste mentalement son dveloppement conformment
des rgles essayes ; quoi qu'il en soit, dans l'aprs-coup,
personne ne sait comment communiquer le sens-emploi indpe
ndamment
de ce dveloppement, par pur don d'intuition .)
Trois thormes, d'ailleurs cits trs peu de chose prs dans
ces termes mmes par Nelson, manifestent donc l'lment nova
teur dont nous nous occupons :
tout objet dfini de manire univoque par une formule de zfc
est standard ;
il existe un ensemble standard fini qui contient tous les objets
standard de l'univers ;
tout ensemble infini admet un lment non standard.
Les objets standard sont donc ceux que le discours peut expli
citer selon la norme zfc, ceux dont la construction est totalement
articulable avec les moyens (il est vrai non constructifs au sens
de la critique constructiviste de la mathmatique ensembliste) de
ce langage de rfrence : donc 0, 1, 2... comme von Neumann nous
appris, mais aussi N, R, et tous les objets auxquels on a donn
un nom propre en mathmatiques classiques. De plus, la stan-

La tradition de l'infini

201

dardit a quelque chose voir avec le fini, tous les objets stan
dard possibles et imaginables (en fait dicibles ) peuvent tre
plongs dans un ensemble fini ; la prise en considration d'objets
standard, par elle-mme, ne nous fait jamais sortir du fini, mais
attention il s'agit ici du formellement fini. Par exemple, la suite
inpuisable des entiers effectifs 0, 1, 2..., est une suite d'objets
standard, chaque entier intuitif possde sa formule caractri
sante
dans zfc, comme les logiciens le savent bien ; il y a par suite
un ensemble fini pour contenir cette suite, pourtant intuitiv
ement
infinie ; c'est dire que cet ensemble sera seulement formel
lement fini. Les objets standard sont donc ceux dont la prise en
compte ne nous fait pas vraiment sortir du fini mme si leur
accumulation se situe dj au-del du fini au sens de la calculabilit
effective ou de l'intuition recursive : mme dans ce cas, on restera
dans la logique du fini stipule par le formalisme.
En revanche, tout ensemble formellement infini de la thorie zfc
contient des objets non standard, c'est--dire en quelque sorte
des objets clandestins, non univoquement caractrisables, non vr
itablement
connus par le discours de rfrence (52), mais qui sont
l du seul fait que la profusion formellement infinie, chappant
la logique du fini, est postule. G. Reeb aime les nommer
intrus , parce que le formalisme de zfc n'avait pas t prvu
pour qu'ils fussent l, en principe on avait l'esprit une ralisa
tion
standard de toute la thorie, o il ne devait y avoir d'autres
entiers que les entiers standard. Mais la thorie n'est pas catgo
rique, et la puissance qu'elle se donne avec l'axiome du choix
implique la possibilit des modles non standard en gnral et
la consistance relative d'isT (mieux, la conservativit de cette
extension de zfc) en particulier.
On peut mme comprendre un peu plus profondment ce que
veut dire ce troisime thorme en passant par le lexicon, sorte de
logiciel fourni par Nelson en prime avec la thorie ist : nous
voulons parler de l'algorithme de traduction des formules externes
dfini au paragraphe 2 (p. 1170-1175) de l'article original de Nelson.
{**) Citons l'appui R. Lutz et M. Goze, dans l'ouvrage Pratique commente de la
mthode non classique (Strasbourg : irma, 1980), publi en anglais par la suite sous le
titre Non-standard analysis : a practical guide with application, Lecture Notes in
Mathematics, 881 (1981) : D'habitude lorsque l'on dsire parler d'un objet, on pose
une dfinition. La seule nouveaut "non classique" est d'introduire des objets non
dfinis, assortis de restrictions convenables (p. 7).

202

Jean-Michel Saanskis

Cet algorithme admet comme entre une formule o figure le


prdicat si, et comme sortie une formule o il ne figure pas, donc
une formule ordinaire de zfc, qui possde la proprit remarquable
d'tre quivalente la formule d'origine pour les valeurs standard
des variables libres (avec une petite complication technique) :
dans beaucoup de cas simples, cette quivalence est mme stricte
et permet en fait de disposer d'une formule usuelle qui dit la mme
chose que la formule externe, qui en est synonyme au sens o elle
lui est substituable dans toute preuve par exemple, et ce bien
qu'elle ne voie pas le monde objectif virtuel auquel elle se
rfre de la mme manire (en raison mme de l'existence d'une
distinction, d'une catgorisation de plus dans le discours de I'ist,
celle qui est apporte par le prdicat si). Si nous prenons par
exemple la formule qui correspond notre troisime thorme
de base circonscrivant le sens-emploi du fini et de l'infini selon
1st, soit
V x x infini =>3i/y ex &-i st(y)
l'application de l'algorithme de Nelson montre qu'elle est absolu
mentquivalente (dans ist) la formule classique
VxVy {x infini) & (y fini) => -> {x )
c'est--dire une formule qui dit trivialement que l'infini dborde
a priori sur le fini, ne se laisse pas englober par lui, le transcende.
Il apparat donc que l'existence d'lments non standard reflte
l'intrieur des totalits infinies que le discours formalis postcantorien accepte avec le statut de comme-si ralit V infinit mme
de ces totalits, entendues au sens de la transcendance que leur
confre la mathmatique formelle. Les lments inassignables ,
perdus au-del de la saisie finitaire sinon finie du discours de zfc
sont donc des tmoins de l'au-del du fini accept par ailleurs
en raison de l'axiome de l'infini ; dire d'une totalit qu'elle trans
cende le fini en tant que totalit admise avec le statut de totalit
et dire qu'en elle mergent des lments inassignables, c'est en
fait exprimer de deux faons la mme essence in finitaire. Le bas
culement
entre les deux manires de dire se situe au niveau de la
distinction totalit /lment : alors que selon zfc et dans le dis
cours
classique, l'infini en tant que transcendance ne se conoit
que comme totalit (que comme venant englober de l'extrieur

La tradition de l'infini

203

le fini, dit P. Cartier (58)), il se manifeste dsormais galement au


niveau lmentaire, par les lments non standard qu'il fait surgir.
Ici nous retrouvons une proprit technique omniprsente du nonstandard, que Nelson a mise en vidence de manire procdurale :
la simplification qu'il apporte en termes de types russelliens,
au niveau de la profondeur de quantification.
Nous sommes maintenant en mesure de conclure cette section
en dgageant l'effet d'approfondissement dans la tradition de
l'infini que le non-standard procure ; cet effet se dclare au niveau
du sens-emploi du fini et de l'infini. On sera peut-tre tent de
rendre compte synthtiquement des deux aspects que nous venons
de passer en revue, en effet, en parlant d'une sorte de rapproche
ment
de l'infini qui viendrait se manifester sous des formes plus
familires la faveur du non-standard : soit il investit le fini
pour donner lieu la figure du formellement fini, et donc perd
cette occasion l'tranget que lui confre dans le discours clas
sique le mode de traitement spcifique seul adquat son essence
formelle, soit il se laisse reflter par des lments non standard,
et perd cette occasion le statut d'englobant extrieur, d'horizon
totalisant qui lui revient dans la thorie classique, et le rend abso
lument
distant du sujet comme l'univers peut l'tre.
Mais il faut se mfier de cette premire valuation, qui pourr
aitdonner penser que le sens de transcendance de l'infini, que
nous avions dgag dans la section prcdente, se voit corrig
par le point de vue non standard. Nous croyons plutt que ce sens
est radicalise par ist (et plus encore peut-tre, mais nous ne dve
lopperons
pas ce point, par les thories qui sont en train de lui faire
suite).
Ce sens de transcendance, nous l'avions en fait prsent au
moyen de deux autres mots, htrognit et opacit. Ces mots,
comme celui de transcendance, valent ce qu'ils valent, mais cette
valeur est toujours limite, en regard d'un concept absolu de la
transcendance, qui serait celui de l'imprdicable, si ce dernier
concept, en tant que porteur de prdication, n'tait insoutenable.
Le concept d'opacit a le mrite d'insister sur la non-visibilit
qui doit s'attacher tout concept srieux de l'infini comme trans
cendance
; celui d'htrognit souligne que le rput infini ne
doit pas partager l'inhrence une substance avec autre chose.
() Voir n. 20.

204

Jean-Michel Salanskis

Le concept de transcendance, quant lui, exprime dans le registre


spatial la puissance de rejet de toute saisie, toute approche, qui doit
galement s'intgrer au concept de l'infini thique dont nous par
lons. Ces dterminations sont toutes de type ngatif, elles stipulent
les proprits pensables dans notre champ, et vraisemblables pour
tout objet, que l'infini ne doit pas possder : elles constituent une
sorte de thologie ngative de l'infini.
L'histoire du discours mathmatique nous parat tmoigner
de ce que le concept de l'infini est de plus en plus attir par ce
modle de la transcendance , c'est--dire que l'infinit de l'infini
est de plus en plus hors champ, il ne reste que son commandement ;
l'esprit est de plus en plus athe, positiviste, mais il assume encore
dans le silence du commandement l'au-del non comprhensible
de l'infini, non pas parce qu'il y croit, mais par honntet ou par
fidlit.
Ce mouvement est dj celui qui fait passer de la croyance
nave en le monde gomtrique, du platonisme spontan qui a
toujours t l'attitude naturelle des mathmaticiens, la discipline
formelle des ensembles : nous l'avons analys comme tel dans la
section prcdente. Mais le dispositif de zfc accrdite encore ce
platonisme sous une forme dcale, en tant qu'il encourage le
commerce avec un rfrent virtuel, une ralit fictive : et,
dans ce cadre, la validation de l'infini comme donn quasi gomt
rique se maintient. Chacun sait en effet que les totalits infinies
de Cantor conserves dans zfc sont propices une intuition gn
ralise
de l'espace comme infini prsent, faisant face la pense
formelle ; c'est d'ailleurs tout simplement ce qui fait le plaisir
et la saveur du grand jeu de l'infini formaliste, et qui assure par
ailleurs la continuit clandestine des modes de raisonnement et
des sensations des mathmaticiens antrieurs. De mme, la caractrisation du fini comme cas particulier du dploiement des
ensembles (par la proprit de non-quipotence avec une partie
propre par exemple) s'inscrit videmment dans la perspective
d'une homognit du fini et de l'infini, qu'exprime justement le
concept d'ensemble.
Il nous semble que le non-standard redresse quelque peu les
choses dans le sens d'une meilleure approximation du pur concept
de transcendance :
D'une part, l'infini est appel fonctionner moins souvent
comme totalit englobante, et se manifester plus souvent dans

La tradition de l'infini

205

la dlgation de l'lment non standard, c'est--dire prcisment


l'lment inassignable (M), dont le concept est dans le registre
de la transcendance.
D'autre part, le formellement fini ralise Unassignable de
l'infini thique dans le fini, mais au prix d'une tranget de
principe pleinement accorde au fini : le fini ne joue pas alors le
rle d'un concept naturel et transparent contenant la fois l'infini
et le fini comme cas (rle qui est celui du concept d'ensemble dans
le discours classique), mais celui d'une catgorie dj formelle et
comme telle partiellement trangre, sous laquelle se laisse aussi
subsumer ce qui est en excs sur le fini efectuable.
La morale de notre commentaire est que le meilleur statut pour
l'infini en tant que transcendant n'est pas ncessairement celui
de ple de culmination dans la construction hirarchique d'un
univers, ou mme de puissance assurant l'expansion d'une telle
construction, qui conserve toujours un certain caractre tholo
gique, mais celui du fantastique : de l'inassimilable qui surgit
dans le quotidien . Le non-standard tend proposer un tel statut
pour l'infini, en l'instanciant par exemple sur l'entier inexplicitable
parmi le champ rgl des entiers ordinaires ; en ce sens, il souligne
le sens de transcendance de l'infini, et rapproche son concept de
celui de l'infini thique (M). Un autre critre indiquant la radicalisation ou l'approfondissement du sens de transcendance de l'infini
est la surenchre sur l'interdit corrlatif de son admission dans le
champ du discours. Si zfc nous astreint Y Aussonderung Axiom
pour persister parler de l'infini, c'est--dire ne collectiviser
les proprits que dans un ensemble, ist ne nous permet pas mme
de collectiviser certaines proprits (les externes) dans un ensemble :
nous devrons nous contenter de la pseudo-collectivisation dfinie
par le schma de standardisation. Le nouveau sens-emploi de
(M) II faut absolument citer ici l'article de A. Robert, Une approche nave de
l'analyse non standard {Dialectlca, 38 : 4 (1984)) qui va compltement dans le sens
d'associer au nouveau langage la notion informelle de l'inaeeignable.
(") Nous ne rsistons pas la tentation de citer en cho ce que nous disons
Predicative Arithmetic, l'tonnant ouvrage de E. Nelson paru depuis que nous avons
achev cette tude (Princeton : Princeton University Press, 1986) : Perhaps infinity
is not far off in space or time or thought ; perhaps it is while engaged in an ordinary
activity writing a page, getting a child ready for school, talking with someone,
teaching a class, making love that we are immersed in infinity (p. 50).
On remarquera que tous les exemples ont trait la relation avec autrui (du moins,
si l'on n'a pas une trange conception matrialiste de l'activit < crire une page ).

206

Jean-Michel Salanskis

l'infini, qui accentue l'absence et le sans-visage de ce dernier, se


traduit donc galement par de nouvelles rgles, par une limitation
supplmentaire de la spontanit ontologique du sujet : il est hau
tement
innaturel, et mme gnant, dsagrable si l'on veut forcer
les choses, de ne pas pouvoir collectiviser (sauf une fois que la
rgle est pleinement intriorise, ce qui finit toujours par arriver,
mais ceci est une autre histoire : celle de l'harmonie prtablie qui
assure les mathmaticiens d'un confort toujours retrouv dans leur
aquarium).

v - conclusion
Nous voudrions revenir en conclusion sur le problme de la
vocation de la mthode non standard, que nous soulevions la
fin de notre prsentation historique. Nous avions dit alors que
l'on pouvait concevoir l'utilisation de la mthode de deux manires
diffrentes : ou bien dans un domaine essentiellement li la phys
ique, en tant que technique d'idalisation adapte la complexit
et aux grands nombres, l'preuve desquels de toute manire se
soumet le discours scientifique (idalisation probabiliste des statis
tiques,
solutions thoriques des quations diffrentielles, info
rmatique
non standard), l'ide tant alors que les idalisations
offertes par la mthode seraient meilleures que celles procures
par la gomtrie de l'infini (qui donnent pourtant dj de
grandes satisfactions), en tant que plus proches de ce qui est
idalis ; ou bien dans le domaine de la grande gomtrie de
l'infini elle-mme, institue par Cantor, Hilbert, Zermelo, et
d'autres, et ce en raison de la substituabilit sous certaines condi
tions du langage et des intuitions non standard leurs analogues
classiques, avec simplification du discours.
Notre tude de la tradition de l'infini et notre tentative de
montrer que le non-standard approfondit le sens formel du fini
et de l'infini, en radicalisant le sens de transcendance de ce dernier,
auraient tendance nous faire penser que la mthode est capable, et
de manire non contradictoire, de relever les deux dfis que nous
avons distingus l'instant. L'enseignement de la phase prc
dente est en effet que la perte de visibilit de l'infini dcrte par
le formalisme n'a pas signifi la mort ou l'essoufflement de la go-

La tradition de Vin fini

207

mtrie, mais au contraire sa relance prodigieuse dans le contexte


espaces ne relevant pas de l'intuition sensible. Que le nonstandard aggrave le sans-visage de l'infini, souligne son caractre
fantastique , aura donc peut-tre des effets semblables, et l'on
peut imaginer que la considration gomtrique s'enrichisse d'une
nouvelle intuition non standard accompagnant la traduction en
termes de discrtisation hyperfnie des grands problmes qui
occupent aujourd'hui les mathmaticiens. En mme temps et
peut-tre en liaison avec ce futur putatif, la mthode devrait manif
ester de plus en plus son efficacit dans le premier domaine, pour
lequel son adquation semble aujourd'hui quasi incontestable,
comme elle a commenc de le faire. Il est certain que cette volu
tionpourrait tre favorise par le fait que de toute faon, sous
l'influence de facteurs irrversibles comme le dveloppement
culturel et social de l'informatique, le discours mathmatique de
toute espce se tourne de plus en plus vers le discret (*).
CNRS, Strasbourg.

J.-M. Salanskis.

(*) Nous tenons remercier tout spcialement Herv Barreau et Georges Reeb,
sans la complicit, les conseils et les prises de position desquels ce travail n'aurait
pas t possible.