Article

Constructivisme et structuralisme dans les fondements des mathmatiques Yvon Gauthier

Philosophiques, vol. 1, n 1, 1974, p. 83-105.

Pour citer cet article, utiliser l'information suivante :

URI: http://id.erudit.org/iderudit/203004ar DOI: 10.7202/203004ar Note : les rgles d'criture des rfrences bibliographiques peuvent varier selon les diffrents domaines du savoir.

Ce document est protg par la loi sur le droit d'auteur. L'utilisation des services d'rudit (y compris la reproduction) est assujettie sa politique d'utilisation que vous pouvez consulter l'URI http://www.erudit.org/apropos/utilisation.html

rudit est un consortium interuniversitaire sans but lucratif compos de l'Universit de Montral, l'Universit Laval et l'Universit du Qubec
Montral. Il a pour mission la promotion et la valorisation de la recherche. rudit offre des services d'dition numrique de documents scientifiques depuis 1998. Pour communiquer avec les responsables d'rudit : erudit@umontreal.ca

Document tlcharg le 1 August 2013 05:28

CONSTRUCTIVISME ET STRUCTURALISME DANS LES FONDEMENTS DES MATHEMATIQUES * par Yvon Gauthier Mon expos porte sur les fondements des mathmatiques : je veux, dans une premire partie, dfinir ce que j'entends par fondements des mathmatiques ; dans une deuxime partie, j'analyserai quelques problmes fondationnels prcis dans les perspectives structuraliste et constructiviste que j'aurai pralablement dgages de la problmatique des fondements. Ma conclusion indiquera quelques voies pour les recherches futures en fondements des mathmatiques. 1. Je pense qu'il est peut-tre utile tout d'abord de clarifier le statut de la problmatique des fondements : l'expression fondements des mathmatiques est employe souvent dans des sens diffrents, si ce n'est divergents. J'limine tout de suite le sens d'lments fondamentaux , de mise en ordre ou d'organisation systmatique d'un langage donn, d'un matriau mathmatique prcis ; par exemple, l'ouvrage de Dieudonn Foundations of modem analysis ou celui d'Eilenberg et Steenrod Foundations of algebraic topology, ne traitent pas des fondements au sens que je dfinis l'instant ; les fondements des mathmatiques constituent une analyse critique de la pratique mathmatique et de sa validit, c'est--dire que les fondements prennent pour objet la pratique mathmatique, les principes, les concepts fondamentaux des mathmatiques. Les fondements des mathmatiques sont une entreprise la fois mathmatique, logique et philosophique ; c'est une discipline de synthse qui utilise ces
* Le structuralisme dont je parle ici n'est pas celui des philosophes. Voir mon article La notion thorique de structure, Dialectica 23 (1969).

84

PHILOSOPHIQUES

divers aspects logiques, mathmatiques, et philosophiques ou pistmologiques dans un but thorique prcis : la formulation d'une thorie de la pratique mathmatique\ Notons que les fondements des mathmatiques ne sont pas la philosophie des mathmatiques, discipline plus ou moins anachronique dans son acception habituelle qui cherche proposer du dehors une thorie ou des thories concernant la nature des tres mathmatiques et qui tente de dcrire, avec plus ou moins de bonheur, la porte et les limites de la pense mathmatique. Notons aussi que les fondements ne concident pas avec la logique mathmatique, avec laquelle on les confond souvent dans la littrature courante : si les rsultats logico-mathmatiques peuvent avoir une signification importante pour les fondements, ils sont souvent la suite de la pratique mathmatique, plutt que son analyse critique. Je dirai plus loin comment distinguer plus finement entre les fondements et la logique mathmatique. Cette dfinition prliminaire des fondements des mathmatiques doit beaucoup Georg Kreisel. C'est lui, le premier, qui a dot les fondements des mathmatiques d'une spcificit assez grande pour en faire une discipline part. Historiquement les fondements ont t rduits ou bien une certaine conception philosophique des mathmatiques ou bien un certain programme de reconstruction des mathmatiques, partir de la logique, par exemple, chez Frege et Russell. Sans doute, celui qui avait l'origine la conception la plus prcise et la plus radicale est Hilbert. On sait qu'il s'agissait pour lui d'assurer les mathmatiques ; il parle d'une Sicherung , d'une certification sur des bases combinatoires finies d'objets concrets. On sait aussi que ce programme mtamathmatique a t contredit par les rsultats d'incompltude de Gdel. 2 L'intuitionnisme de
1. Notons ici que nous donnons un sens prcis Kreislien l'expression fondements des mathmatiques . Pour une perspective diffrente, yoir l'article de Leon HENKIN, Mathematical Foundations for Mathematics dans American Mathematical Monthly, vol. 78, no. 5, pp. 463-487. Il est clair que nous rejetons l'appellation fondements pour l'ensemble des recherches logiques ou mathmatiques qui portent sur des thories mathmatiques fondamentales, mais qui n'ont pas de fonction fondationnelle comme telle. Voir l-dessus G. KREISEL, Hilbert's Programme , Dialecca, 12 ( 1 9 5 8 ) .

2.

CONSTRUCTIVISME ET STRUCTURALISME . . .

85

Brouwer en admettant les objets abstraits, comme les fonctions et les fonctionnelles ici je fais allusion l'interprtation de Gdel Ueber eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes qui admet des fonctionnelles de type fini avec les seuls procds de construction, de substitution et de recursion > va plus loin. Le formalisme largi (o l'on accepte des mthodes constrictives qui ne sont pas finitaires) et l'intuitionnisme ne sont pas incompatibles la limite ; ce sont des thories fondationnelles convergentes dans la mesure o la thorie des dmonstrations dbouche sur une thorie des constructions mentales, ce qu'est essentiellement l'intuitionnisme. 2. Mais avant de nous engager tilus loin dans la discussion, il faut prciser le rle de l'entreprise fondationnelle. Les fondements, pour tre une analyse critique des principes et des concepts de la pratique mathmatique, cherchent asseoir l'ensemble des mathmatiques sur des bases irrductibles, un langage primitif. L'idal hilbertien de la certification ou de la solidification rapparat ici, mais il est coupl un systme conceptuel o les notions primitives sont mises jour. Cette volont rduarice, et non pas rductiviste , des fondements ne signifie pas qu'il faille rduire les mathmatiques leur plus simple expression, mais plutt qu'il faut mettre l'preuve les notions fondamentales, par exemple, en tchant d'tendre les mathmatiques existantes dans des directions o les concepts et les principes de construction mathmatique sont mis en relief comme, par exemple, dans la thorie des catgories et dans la thorie des topoi o ressort nettement le caractre gomtrique ou algbraico-gomtrique des constructions 3 . J'appelle structurels les principes de construction fonds sur l'usage actuel et les extensions possibles d'un langage mathmatique donn sans critiquer ce mme langage et ses mthodes ; sont donc constructifs ou constructivistes les principes de construc3. Voir G. KREISEL, Perspectives in the Philosophy of Pure Mathematics , paratre. Voir aussi G. Kreisel Observations on popular discussions of foundations in Axiomatic Set Theory, American Mathematical Society, (Rhode Island, 1971) , pp. 189-197, o Kreisel s'en prend particulirement P J . Cohen et A. Robinson.

86

PHILOSOPHIQUES

tion qui sont fonds sur une analyse critique du langage utilis ; l'exemple le plus clair ici, la reconstruction intuitionniste de l'analyse classique. Je reviendrai l-dessus plus loin. Extension, validation, justification ou certification des principes, des mthodes et des concepts mathmatiques constituent, par consquent, le but mme des fondements. Les fondements des mathmatiques, pour prciser la dfinition que j'ai dj propose, sont une thorie gnrale des principes et des concepts mathmatiques que l'analyse critique dgage de la pratique mathmatique. Une telle thorie, il va sans dire, n'en est qu'aux premires bauches ; il faut se garder d'une premire mprise qui consisterait penser que l'analyse de la pratique mathmatique doive utiliser les mmes notions que la pratique. La thorie de la pratique mathmatique peut s'loigner radicalement parfois de la pratique, parfois mme les carts de la thorie et de la pratique sont si grands que la thorie en devient plus ou moins inutile, par exemple, la thorie des types des Principia Mathematica qui, pour contenir trop de notions ad hoc, perd tout contact avec la ralit de la pratique, alors que la thorie contemporaine de Zermelo, appele maintenant structure cumulative des rangs , pour la thorie axiomatique des ensembles, plus sobre conceptuellement, a t adopte par les praticiens. La situation est comparable la mcanique quantique o l'interprtation indterministe de Copenhague apparat moins arbitraire que l'interprtation dterministe de Broglie ou de Bohm, par exemple. Les fondements des mathmatiques, dans le sens dfini plus haut, ont selon moi deux versants : un versant structurel ou extensionnel, o le langage ou les langages de la pratique sont employs et largis afin de clarifier les notions fondamentales et d'en tirer le plus de fruits possibles sur le plan formel, i.e. la logique au sens technique ; l'autre versant, je l'appelle conceptuel on intensionnel ; c'est l'analyse conceptuelle au sens propre o la pratique mathmatique est analyse critiquement 4 . Ici les notions ou les concepts, les principes et les mthodes sont radicalises, l'analyse tend les rduire leur plus petit noyau in4. L'analyse critique suppo:e que l'on ne se limite pas l'utilisation langage mathmatique (ou logique) . d'un

CONSTRUCTIVISME ET STRUCTURALISME . . .

87

tentionnel pour faire merger les raisons, les justifications thoriques ou thortiques, si l'on veut mettre l'accent sur la teneur en thorie des fondements des mathmatiques. Mieux, il faudrait dire fondements mtathortiques, puisque les fondements conceptuels prennent pour objet les thories mathmatiques qu'labore la pratique mathmatique. Les attitudes fondationnelles dans cette description se rsument pour moi ce que j'appelle le structuralisme, qui regroupe des options diverses comme le ralisme, le formalisme au sens d'A. Robinson, le nominalisme, et d'autre part le constructivisme dans toutes ses varits, parmi lesquelles l'intuitionnisme occupe une place centrale. Remarquons que le constructivisme ne recouvre pas ncessairement l'ensemble des fondements conceptuels, mais les fondements conceptuels semblent dboucher naturellement sur le constructivisme, alors que les fondements structurels invitent une interprtation structuraliste. J'emploie structuralisme ici d'abord dans le sens de la thorie bourbakiste des structures, mais surtout dans le sens de Bernays qui dfinit les mathmatiques comme phnomnologie thortique ou thorique des structures 5 . 3. Cette systmatisation ou tte unification des recherches fondationnelles n'aurait qu'une valeur esthtique, si elle ne contribuait prciser notre analyse des mathmatiques et de la logique mathmatique contemporaines. La problmatique fondationnelle, en mettant l'accent sur les aspects distinctifs, les variantes fondationnelles, les composantes essentielles des concepts ou des notions, peut permettre de mieux comprendre les mathmatiques et par l mme d'orienter la recherche dans des directions plus susceptibles de porter des fruits. Si la thorie des ensembles est gnralement considre comme la thorie fondamentale des mathmatiques, cela ne signifie aucunement qu'elle n'a pas besoin de fondements, au sens d'analyse critique des notions fondamentales. Les constructions
5. BERNAYS, P. Comments on Wittgenstein s Remarks on the Foundations of Mathematics , in Philosophy of Mathematics, ed. by Benacerraf and Putnam, Prentice Hall (Englewood Cliff, 1964) , p. 528.

88

PHILOSOPHIQUES

de la thorie axiomatique des ensembles fournissent un bon exemple d'laboration structurelle ou extensionnelle. Prenons l'axiomatisation de Zermelo, dite structure cumulative des rangs ou des types, qu'on dfinit de la faon suivante : V0 = <f> (pour l'ensemble vide) <p

V a + i = V0, U P (Ya) pour tous les ordinaux Remarquons que cette hirarchie mne vers ce que Cantor appelait eine absolut unendliche oder inkonsistente Vielheit . Mais en considrant un ordinal-limite :

v a = u V3
on peut obtenir un segment suffisant pour la thorie des ensembles ou la thorie de la catgorie de toutes les catgories de Lawere en prenant Ca ta comme l'indique MacLane 6 . La structure hirarchique a t utilise surtout dans la thorie des modles de la thorie des ensembles pour obtenir les rsultats de consistance relative et d'indpendance. Godel emploie cette structure ramifie pour ses ensembles constructibles et Cohen loge ses ensembles gnriques entre V a (pour C L e modle minimal M ) et V8 pour /3 > a (dans le modle gnrique N ). Cependant, la thorie pleine des ensembles est une thorie du second ordre, alors que le rsultat de Cohen n'est valable que pour le premier ordre et on peut montrer que le premier ordre est driv du second. Le schma de comprhension du premier ordre Va VX1 . . . Vxn Bx Vy (y 6 x <-> [yea A A (y, xi . . . , x n ) ] )

constitue une restriction de l'axiome du second ordre Va V X 3X Vy [ y

e

x <-> ( y e a A X ( y ) ) ]

6.

S. MACLANE, Categorical Algebra and Set-Theoretic foundations in Axiomatic Set Theory, ouvr. cit., p. 235.

CONSTRUCTIVISME ET STRUCTURALISME...

89

ou X est une variable du second ordre (c'est--dire que X exprime la proprit d'tre un sous-ensemble). Dans ce sens, il est naturel de penser que l'hypothse du continu est dcidable au second ordre (ZFhCH)V sous la forme (ZFh
2

-CH)

X C V01+1 - X < V v I = Vl+1

pour V comme collection des ensembles finis et X comme sous-ensemble de l'ensemble des rels. La position structuraliste est reprsente ici par Gdel qui, dans son article What is Cantor's Continuum Hypothesis affirme que ... set-theoretical concepts and theorems describe some welldetermined reality in which Cantor's conjecture must be either true or false . Soutenir donc que l'hypothse du continu est dcidable au second ordre n'est autre chose que prciser le point de vue de Gdel 7 . Mais la valit de la hirarchie cumulative - les rangs suprieurs i n'est pas pour autant assure. En effet, si on peut facilement accorder l'vidence intuitive de la notion d'ensemble de, set of , appele notion itrative d'ensemble pour les ensembles finis, la chose est moins sre pour les ensembles infinis. La proprit d'tre un sous-ensemble arbitraire ou un prdicat arbitraire est-elle constructible, au sens propre ? Le constructivisme n'accepte pas le donn d'une structure cumulative sur les ensembles infinis ; il faut plutt penser en termes de procs itratif infini ou plutt effini, c'est--dire en dehors du fini, au-del du champ du fini. Selon moi, cest du ct du quantificateur universel qu'il faut regarder vers son imprdicativit, comme disaient les premiers constructivistes. On se souvient de la dfinition de la notion d'ensemble que l'on trouve chez Cantor un ensemble est une
7. Ceci rpond une objection souleve par A. MOSTOWSKI, Recent Results in Set Theory (Discussion) in Problems in the Philosophy of Mathematics, North-Holland (Amsterdam : 1967), p. 107.

90

PHILOSOPHIQUES

synthse ou un rassemblement ( Zusammenfassung ) d'objets distincts dtermins de notre intuition ou de notre pense (les lments de l'ensemble) en un tout ( Zu einem Ganzen ) &. C'est ici que tous , le quantificateur universel devient un tout, une totalit. Ce passage de tous tout a une longue histoire philosophique. Le monde ou l'univers comme tout comprend toutes choses. Mais le monde, le tout, le to pan des Grecs, est-il autre chose qu'une unit idale, qu'un concept sans rfrent ? L'ide de tout implique celle de contenant : le tout, par exemple, 2V contient tous les entiers, 2'i- tous les rels, 2 V toutes les fonctions sur les rels, ainsi de suite. Le contenant, le tout, mme lorsqu'on le suppose infini, est cependant reprsent comme fini, puisqu'il est lui-mme contenu dans d'autres contenants de la hirarchie. Comment se reprsente un contenant contenu si ce n'est comme fini ? Cette ide du contenant universel une longue tradition de la sphre de Parmnide l'univers sphrique d'Einstein. Le continu arithmtique signifie une constructibilit indfinie alors que le continu ensembliste signifie un tout achev, une totalit infinie contenue dans un ensemble. L'ensemble infini est donc considr comme la totalit des lments dans l'ensemble. Cette critique du quantificateur universel et des ensembles infinis que je viens d'esquisser s'applique particulirement bien aux axiomes forts d'infinit, par exemple les axiomes d'inaccessibilit et de mesurabilit 9 On sait qu'un cardinal est inaccessible lorsque 1) pour B plus petit que A, A (transfini) , A n'est pas la somme d'un nombre B de cardinaux plus petits que A et 2) . A est plus grand que l'ensemble des sous-ensembles de B : 1) A > c o 2) Vx C A, Card, (x) < A -> U n (x) < A 3) V B, B < A - 2B < A
8. 9. CANTOR, G, Gesammelte Abhanlungen, hrsg. von E. Zermelo, Georg Olms (Hildesheim : 1966) , p. 282. Pour la dfinition de ces notions, voir J.R. SHOENFIELD, Mathematical Logic, Addison-Wesley (Reading, Mass. : 1967) .

CONSTRUCTIVISME ET STRUCTURALISME . . .

91

Pour un cardinal mesurable, on a un idal sur un ensemble transfini qui partitionne les sous-ensembles de l'ensemble transfini en petits et grands sous-ensembles. Pour A ensemble transfini, ou a un sous-ensemble B de l'ensemble des parties ou des sous-ensembles P (A) tel que a) pour tout sous-ensemble C de B tel que C < A, U C eB b) pour tout sous-ensemble C de A, C)UB=A
C E B V A - C B

d) A g B
Remarquons que l'axiome de mesurabilit fait appel une dfinition du troisime ordre, puisque l'idal est dfini sur la totalit des sous-ensembles d'un ensemble transfini. Ici la reprsentation du contenant est claire : deux sous-contenants d'un contenant principal dtermin. De plus, on suppose que le cardinal du contenant principal est transfini. J'appelle principe ou procs transarithmtique 1 0 , la procdure qui consiste dfinir, contenir le procs arithmtique dans les limites d'un procs cumulatif pour ensuite l'appliquer sur l'accumulation des contenants infinis, qui eux-mmes sont constitus par la ngation du procs arithmtique. 4. Je veux donner un dernier exemple d'analyse critique pour la thorie axiomatique des ensembles, le scheme de rflexion. Je prends la formulation de Krivine : on a une relation fonaionnelle y = W0, dont le domaine est l'ensemble des ordinaux O n croissante, i.e. a < (3 > W0, C W^8 et continue (si a est un ordinal limite, W0, = U W-8) considrons W comme la collection qui est l'union des ensembles W0,, W 0 0 : la [On Ca) A X e W J
10. Voir Yvon GAUTHIER, Logique mathmatique et philosophie des mathmatiques , Dialogue, vol. X (1971, no. 2, pp. 243-275, en part, pp. 272-273) .

92

PHILOSOPHIQUES

Si E (xi, . . ., x n ) est un nonc sans paramtres, nous avons ce qui suit

V a 3/3 > a VX1 . . . VXk [ X 1 e W ^ A . . . A x k e W ^

- , (E w (X1 , . . . , x k ) ~ Ew* (X1, . . . , x k ) ) ] Ce qui signifie que l'nonc Ew^ est quivalent l'nonc Ew pour la simple raison qu'il appartient la hirarchie des ordinaux (comme ordinal limite). Ainsi l'univers ou le contenant universel se rflchit-il dans un de ses sous-contenants ; si nous nous reprsentons le contenant universel comme un cercle ou une sphre et la structure cumulative des rangs comme une pyramide renverse, on peut rflchir de la faon suivante sur les rflexions : la hauteur ou le niveau dans la structure cumulative correspond son rang ordinal et la largeur du niveau correspond son cardinal n . On a la structure cumulative des rangs V0 = 0 V a + 1 = V0, U P C O pour tout ordinal V a = U V^ pour tout ordinal limite
(3 < a

et nous nous reprsentons l'univers de la faon suivante :

V
\

-J

V,

/ vtt+l

V0 = 0 pour V = 'Vp(voir appendice). Mais cet univers ne reprsente qu'une ordination, i.e. chaque ensemble et chacun de leurs lments ne sont ordonns qu'une fois. Si nous plongeons cette structure cumulative dans un univers plein, c'est--dire dans une sphre de cardinalit R 7 , on obtient alors une ordination
11. JX. KRIVINE, Thorie axiomatique des ensembles, P.U.F. (PARIS : 1969) , pp. 64-72.

CONSTRUCTIVISME ET STRUCTURALISME . . .

93

transfinie des ensembles et de leurs lments, chaque point de la circonfrence de la sphre ou du cercle constituant la base d'une structure cumulative ou son ensemble vide <f>. Chaque ensemble comprenant l'ensemble des sous-ensembles qui le prcde dans la hirarchie, on a Va+\ = P (V) e t V M+ i = P O O Mais cette hirarchie doit elle-mme tre hirarchise transfiniment dans un univers pleirn, i.e. dans une sphre de cardinalit ^ 1 Cette ordination transfinie qui donne 2'y, et que nous notons R (w), nous l'appelons rflexion coordinate universelle : en effet, dans cette construction, chaque lment, par ordination transfinie, rflchit tous les autres lments en mme temps que l'univers tout entier ; chaque lment est un miroir facettes de cardinal 2'i, De cette faon, l'hypothse du continu est viole ou falsifie, puisque le cardinal du continu est ici 2'2 u tout autre cardinal transfini ^' Soulignons que notre notion d'ordination est diffrente de la notion d'ordre ou de bon ordre c'est, en fait, une multiplicit de puissance 2'yde bons ordres sur tous les lments de l'univers. Remarquons aussi que notre construction ne donne pas, comme on pourrait le penser, l'ensemble des fonctions sur le continu (qui donnerait ^2- ou un autre cardinal plus grand) simplement parce que le continu est constitu par l'ensemble des rflexions R (^). La justification d'une telle construction par rapport la structure cumulative, c'est que la struaure cumulative reprsente une construction finie incomplte (procdant par tapes) . Aprs coup, on peut y voir une lointaine analogie avec le principe philosophique de Leibniz, selon lequel les monades refltent l'univers entier et toutes les autres monades ou encore le principe du tout en tout d'Anaxagore. 5. Je veux passer maintenant de l'univers plein l'univers rarfi de la thorie intuitioniste du sujet crateur. L'ide du sujet crateur a t introduite en 1948 par Brouwer pour justifier ses contre-exemples de la forme : V aeR V^ |8 e R (-1
a

= 0 > #)

(o ^ est la relation de concidence et # la relation de sparation pour les nombres rels) et a connu depuis quelques annes

94

PHILOSOPHIQUES

un renouveau important dans les travaux de Kreisel, Myhill et Troelstra sur l'intuitionnisme 1 2 . Le concept central de l'intuitionnisme est celui de procs, selon moi. Tous les autres concepts drivent de celui-l : dploiements (spreads), espces, squences ou sries irrgulires (lawless) , squences de choix, squences constructives et sujet crateur ou constructeur. La notion de procs mathmatique implique pour moi celle de sujet dans la mesure o tout procs conscient renvoie un agent. Par exemple, pour revenir au principe de rflexion ; la thorie des dmonstrations comporte aussi des principes de rflexion ; cependant ces derniers ne rflchissent pas l'univers dans un de ses sous-univers, mais plutt la convertibilit, pour le sujet pensant, de la prouvabilit en validit; ainsi VP [Prouv s ( p , ' V ' ) <p) o <p est u n t e r m e d o n t la valeur est le n o m b r e de G d e l p o u r <p. C'est sans doute l l'une des raisons qui font dire Kreisel que la thorie des dmonstrations comme thorie des notions et des constructions n'existe pas encore, et aussi que la thorie des fonctions rcursives s'arrte l o commence la thorie des dmonstrations 1 3 . Mais du moins voit-on que le principe de rflexion dont il s'agit ici a peu en commun avec le principe de rflexion dans l'univers ensembliste. Les mathmatiques tant une activit constructive de l'esprit, il faut un constructeur ou un structurateur pour les structures mathmatiques. Mais il ne faut pas croire que cela signifie l'introduction de la psychologie en mathmatiques. Tout ce dont nous avons besoin, c'est d'une lgitimation pour le procs mathmatique, qui ne requiert qu'un sujet impersonnel, transcendantal, comme dit Husserl (ou encore un agent purement linguistique) .

12.

Voir J. MYHILL 3 Formai Systems of Intuitionistic Analysis I in Logic, Methodology and Philosophy of Science 111, ed. by van Rootselaar and Staal, North-Holland (Amsterdam: 1968), pp. 161-162. Voir aussi, pour un rsum des problmes de l'intuitionnisme et de sa formalisation, J. Myhill The formalization of intuitionism in La philosophie contemporaine, vol. I. ed. R. Klibansky, (Firenze, 1968) , pp. 324-341. 13. G. KREISEL, Some reasons for generalizing recursion theory in Logic Colloquium '69, ed by Gandy and Yates, North-Holland (Amsterdam : 1971) , p. 162.

CONSTRUCTIVISME ET STRUCTURALISME . . .

95

Les axiomes pour le sujet constructeur ont t introduits par Kreisel et repris par Troelstra 14 . (2 hM A) v -1 (2 hM A) A - A 2 ( "I -I V M ( S I-M A ) )
V S V
M

( S U A ) ^ A

(V

et A pour 3 et V)

ce qui signifie que le sujet constructeur a une preuve de A l'tape M ou il n'en a pas et il existe une preuve de A, elle ne peut pas tre inaccessible et il suffit qu'un sujet crateur ait une preuve de A une tape donne pour qu'existe une preuve de A. Avant d'aborder notre critique de ces axiomes, voyons ce qu'on peut en tirer. En premier lieu, le scheme de Kripke V x [ (A x (x x = 0) <-> -1 A A ( V x (x x = 1 = 0) -+ A) ] ou dans sa forme forte V x ( V x (x x * 0) A)

qui signifie qu'il suffit qu'existe une squence ralisable (une squence tant un procs qui associe tout nombre naturel ou objet mathmatique appartenant une espce donne, ou ayant une certaine proprit) pour x, un nombre naturel, pour qu'on ait une preuve de A. (h N A) -> x n =1 =0

(-1 hN A) - > x n

Une squence dfinie de cette faon est appele empirique ; une squence est mathmatique, lorsqu'il n'est pas ncessaire de la dfinir par tapes, par exemple, une fonction recursive primitive. Il y a plusieurs problmes lis cette axiomatisation du sujet crateur, tels ceux de la continuit et de la succession chronolo14. A.S. TROELSTRA, The theory of Choice Sequences in Logic, Methodology and Philosophy of Science 111, ouvr. cit., p. 212.

96

PHILOSOPHIQUES

gique des tapes. Ces problmes sont centrs autour de la notion de squence de choix. 6. Toute centrale qu'elle soit, la notion de squence de choix a fait l'objet de dfinitions diverses. J'en propose une ici et je lui donne un nouveau nom : squence polymorphe ou polygntique. Une squence de choix est en effet une squence engendre par des choix sucessifs de valeurs et des limitations qui leurs sont imposes. On commence par choisir les valeurs, X0, Xi 5 ... pour une squence de choix a, puis on dcide un certain moment de limiter les choix futurs de valeurs en imposant que /3 = T0a0 o a est une nouvelle gense de choix de valeurs et T0 une opration continue (une fonctionnelle) sur la squence a : en d'autres mots, sur un segment initial de valeurs de a, on peut ajouter l'information a = e/&, poursuivre le choix de valeur sur 0 et ainsi de suite indfiniment. Kreisel et Troelstra dans Formal systems for some branches of intuitionistic analysis (Annals of Mathematical Logic, vol. 1, no. 5) parlent, pour leur part, d'un principe de donnes analytiques formul de la faon suivante :
A Qa) - > V e [a e e A A /3 A ( e / j S ) ]

pour a et (3 comme squences de choix, A une proprit et e un ensemble analytique (sur l'espace de Baire de toutes les squences de choix) . On voit que ce qui est requis ainsi, c'est que le sujet constructeur assiste aussi loin que possible la gense de ses propres constructions mathmatiques. Dans ce qui suit, je veux tenter de rpondre brivement une question pose par Kreisel et Troelstra (un problme ouvert de l'intuitionnisme) 1 5 . Comment relier les tapes (stages) de la thorie des squences de choix et squences irrgulires aux tapes de la thorie du sujet crateur ? J'ai tent ailleurs de formuler une thorie axiomatique des fondements l'aide de quatre notions fondamentales, celles de stase, de procs, de fini et d'effini
15. Voir A.S. TROELSTRA, Principles of lntuitionism, Lecture Notes in Mathematics, Springer (Berlin Heidelberg New-York : 1969) , p. 107.

CONSTRUCTIVISME E T STRUCTURALISME . . .

97

(sans rapport avec la notion de mtafini en thorie de la mtarcursion) 1 6 . Je veux encore une fois tre bref. J'appelle domaine dominable l'activit constructive en gnral et domaine domin le domaine des constructions finies. Le domaine domin est celui de l'arithmtique finie, des lois logiques lmentaires (intuitionnistes) . Le domaine dominable est celui des itrations effinies, i.e. hors du fini, donc par exemple, les fonctions rcursives primitives, les squences de choix, e.g., la suite des nombres naturels qui est effinie pour moi la diffrence des intuitionnistes qui acceptent l'ensemble des nombres naturels comme un donn. Les structures nouvelles que l'on admet, plutt que d'tre dfinies par un procs cumulatif, sont engendres par un processus d'expansion du domaine. Le point de vue ici, n'est plus celui de l'arithmtique ordinale, mais celui de la gomtrie projective finie. Le procs expansif ne comporte pas de niveaux, mais des degrs (au sens gomtrique d'ouverture d'un angle) ou des priodes qu'on peut exprimer axiomatiquement de la faon suivante : ( s h Dfa) A) v -1 ( s hD(a) A)
A -> A Z ( - ! H Vu(a) ( 2 -Dto) A ) )

V s V D(a) ( s hD(a, A ) <-> A Les degrs a, a", a" reprsentent ainsi un procs expansif qui vise un horizon constructif effini : l'horizon n'est jamais accessible, mais est toujours prsent. J'axiomatise la notion d'horizon H de la faon suivante : (A 2 A A hD A C H )
A

-1 (A 2 A A f-D A D H )

J'vite ainsi toute thorie hirarchique ou stratificationnelle de types, de rangs ou de niveaux. L'horizon est indfiniment ou effiniment expansible, mais il indique les limites de la visualisation 1 7 . L'ordre des tapes est remplac par une progression
16. 17. Dans un ouvrage sur les fondements des mathmatiques paratre bientt. Le modle du champ visuel donn ici doit tre complt par un modle du champ linguistique, o la performance du sujet parlant doit tre corn-

98

PHILOSOPHIQUES

vers l'horizon constructif qui dtermine aussi les genses successives des squences de choix et aussi bien les monogenses des fonctions rcursives primitives par expansions priodiques. Je pense ici que l'ide de procs gnrateur d'expansions et de priodes ou degrs sur un horizon rend fidlement l'interprtation constructiviste exige par Kreisel et Troelstra. 7. Je voudrais dire quelques mots, avant de passer aux conclusions sur l'interprtation structurelle du constructivisme. Je pense surtout l'interprtation de Vesley, qui dans son travail A palatable substitute for Kripke's schema a propos le scheme suivant 18 : Dense ( n A ( a ) , v) & Va ( n A (a) D
3/3 B ( a , /3) ) D Va 3/3 ( ~1 A ( a ) D B ( a , /3))

qui signifie qu' toute squence de choix a dans l'espce dense ngative A correspond une squence de choix B sur l'espce universelle u. Ici, l'interprtation structurelle ou objectiviste est fonde sur le principe des extensions continues des fonctions continues de l'analyse classique. Mais c'est sans doute l droger la nature des mathmatiques intuitionnistes qui cherchent reconstruire les mathmatiques classiques en utilisant des mthodes constructivistes. Il n'est pas surprenant alors que Joan Rand Moschovakis, dans un article rcent dans le Journal of Symbolic Logic Can there be no non-recursive functions? 1 9 , ait pu dmontrer la conprise en fonction de sa comptence, i.e. sa connaissance du champ linguistique. Pour nous il n'y a pas de pense sans langage, ou plutt, le langage est la pense. Il faudrait donc dterminer quelles sont les oprations linguistiques qui correspondent aux oprations mathmatiques, en d'autres mots, quels sont les rapports de la syntaxe mathmatique et de la syntaxe des langues naturelles. C'est cette conjonction de la visualisation et de la verbalisation qui constitue pour nous l'assise dernire du sujet pensant. Mais c'est toute une thorie philosophique qu'il faudrait laborer ici. 18. R.E. VESLEY A palatable substitute for Kripke's schema in lnstuitionism and Proof Theory, ed. by Myhill, Kino, Vesley, North-Holland Amsterdam : 1970, pp. 197-207. 19. J.R. MOSCHOVAKIS, Can there be no nonrecursive functions ? in The Journal of Symbolic Logic, vol. 36, number 2, pp. 309-315.

CONSTRUCTIVISME E T STRUCTURALISME . . .

99

sistance de la thse de Church qui, comme on le sait, affirme que toute fonction effectivement computable est recursive gnrale avec le systme intuitionniste de Kleene pour l'analyse expos dans son ouvrage crit en collaboration avec Vesley The Foundations of lntuitionistic Mathematics 2 0 . D'autre part, Dana Scott a donn une interprtation structurelle topologique prenant pour modle le treillis des sousensembles ouverts d'un espace topologique donn pour laquelle le scheme de Kripke est consistant 21 . Or, on sait que le scheme de Kripke contredit la thse de Church, puisque les fonctions constructives au sens intuitionniste dbordent le domaine des fonctions effectivement computables 22 . Cet exemple montre peut-tre la valeur toute relative des rsultats formels de consistance relative et d'indpendance pour l'intuitionnisme aussi bien que pour la thorie des ensembles. Mais il montre aussi que l'approche structurelle en logique mathmatique et dans les fondements des mathmatiques, pour tre riche et fconde, ne suffit sans doute pas pour rsoudre les problmes ouverts ou pour dcouvrir des axiomes neufs justifiables, rclams par Godel en particulier. La rigueur informelle, dont parle Kreisel, consiste peut-tre prendre ses distances par rapport l'approche structurelle (qui, elle-mme, comprend l'approche formelle technique) afin de laisser libre champ l'intuition et l'analyse conceptuelle. Mais l encore, c'est une dialectique de la complmentarit qui joue et je pense que cette dialectique est essentielle la recherche fondationnelle en logique et en mathmatiques.
S.C. KLEENE and R.E. VESLEY, The Foundations of lntuitionistic Mathematics, North-Holland, Amsterdam, 1965. 21. D. SCOTT Extending the topological interpretation to intuitionistic analysis in Logic and Foundations of Mathematics, ded. to Prof. A Heyting on his 70th birthday, Wolter-Nordhof, Groningen : 1968, pp. 194-210 et Extending the topological interpretation to intuitionistic analysis II in lntuitionism and Proof Theory, ouvr. cit., pp. 235-255 ; voir aussi la discussion de Kreisel Chruch's thesis : a kind of reducibility axiom for constructive mathematics dans le mme volume, pp. 121-150, en part, pp. 128 et 137. 22. Voir l'important article de KREISEL, Lawless sequences of natural numbers in Logic and Foundations of Mathematics, ouvr. cit., pp. 222-248, o la notion de fonction constructive est prise comme notion primitive non-quivalente la notion de fonction recursive. 20.

100

PHILOSOPHIQUES

8. Il est temps de conclure. Je voudrais d'abord dire quelques mots concernant la thorie des catgories. Ce que j'en ai dit ne couvre que les travaux de MacLane et de Lawvere avant la thorie des topoi. Feferman23 a montr comment on pouvait formaliser la thorie des catgories l'aide du scheme de rflexion dans la thorie des ensembles et MacLane a admis la possibilit de formuler la mme thorie sur la structure cumulative des rangs. Ce que je sais de la thorie des topoi m'incline croire que c'est essentiellement une thorie structurelle, gomtrico-algbrique, engendre par le couple gomtrie algbrique (thorie des faisceaux) et algbre homologique (thorie des catgories) . Il semble bien cependant que ce point de vue, comme le point de vue logico-algbrique, qui connat une croissance structurelle acclre dans sa varit cylindrique, ne sera pas moins fcond pour la recherche fondationnelle. Si l'on considre que les recherches fondationnelles et la logique mathmatique ont t domines par les courants de l'arithmtisation (lie la thorie des dmonstrations) , de l'algbrasation (correspondant la thorie des modles) , la tendance gomtrisante pourrait bien se faire une place. Mais si la gomtrie a touiours eu une vocation fondationnelle constructiviste, elle a sans doute reni partiellement son caractre constructiviste en s'algbrasant. Mais il n'y a l aucune condamnation. L'intrt mathmatique d'une thorie est parfois inversement proportionnel son intrt fondationnel. Cela ne veut pas dire qu'il faille identifier fondationnel nonmathmatique ou encore philosophique. Loin de l. Comme je l'ai indiqu au dbut, les fondements des mathmatiques ne sont jamais rductibles la philosophie des mathmatiques, mme si certaines considrations philosophiques peuvent ou doivent entrer en ligne de compte. Un autre aspect que je n'ai pas touch et qui est sans doute important pour la problmatique fondationnelle, c'est le problme des relations entre la physique et les mathmatiques. J'ai abord ce problme dans un article rcent o j'ai soutenu l'ide
23. S. FEFERMAN, Set-theoretical foundations for category theory. With an appendix by Georg Kreisel in Reports of the Midwest Category Seminar 111, ed by S. MacLane. Lecture Notes in Mathematics, Springer (Berlin Heidelberg New-York : 1969) , pp. 201-247.

CONSTRUCTIVISME ET STRUCTURALISME . . .

101

que la physique et les mathmatiques avaient ultimement le mme objet : la construction du continu ou, ce qui est la mme chose, du discontinu 24 . Hermann Wey'l, von Neumann, parmi d'autres, soutenaient que seules les mathmatiques applicables la physique (et par extension aux autres sciences) pouvaient tre lgitimes, c'est--dire possdaient un intrt fondationnel. Mais il est sans doute impossible de faire la dmarcation entre les mathmatiques qui sont applicables et celles qui ne le sont pas. L'exemple des fondements de la mcanique quantique est instructif cet gard. Une grande varit de structures logiques et logico-algbriques sont tudies dans ce qu'on est convenu d'appeler la logique quantique logiques multivalentes, treillis, e t c . . . mme la thorie des ensembles n'a plus la puret (si l'on peut encore utiliser ce mot) d'une thorie inutile pour la physique. Quoique que je me qualifie moi-mme de constructiviste, mon propos n'a pas t d'exposer les mrites du constructivisme aux dpens de ce que j'ai propos d'appeler le structuralisme, plutt que non-constructivisme. J'ai essay au contraire de montrer les mrites respectifs des deux approches. Il est inutile, selon moi, de tenter de rduire l'importance des recherches purement formelles, comme il est vain de rejeter les recherches fondationnelles qui seraient ou trop philosophiques ou n'auraient qu'une valeur heuristique. Je pense qu'on ne peut pas imposer de bornes a priori l'invention ou l'imagination mathmatique, pas plus qu'on ne peut tracer la ligne de partage entre philosophie et mathmatiques. Mais je l'ai dit au dbut, la division du travail dans ce domaine n'a plus beaucoup de sens et le travail fondationnaliste, le fait qui le peut. On pourrait aussi objecter que les mathmatiques n'ont pas besoin d'autres fondements qu'elles-mmes, ce qui reviendrait dire que les mathmatiques occupent tout l'horizon thortique, ce qu'il faudrait d'abord montrer, ou, l'inverse, qu'elles n'ont aucune vise thortique, ce qu'il faudrait aussi montrer. Le sujet
24. Voir Y. GAUTHIER, The use of the axiomatic method in Quantum Physics in Philosophy of Science, vol. 38, number 3 (Sept. 1971), pp. 429-437 et Le constructivisme et la structure des thories physiques paratre.

102

PHILOSOPHIQUES

mme des fondements des mathmatiques en fait une entreprise thorique ambivalente, si ce n'est ambigu. Sa fonction de synthse et d'unification la force runir des rsultats parfois disparates, joindre des mthodes opposes, lier des intentions divergentes. Mais il se peut que les recherches fondationnelles en mathmatiques soient un symptme d'une nouvelle ouverture d'esprit, d'une nouvelle perspective sur le savoir qui n'est plus confin dans des disciplines troites. Les recherches fondationnelles, en mathmatiques comme dans les autres branches du savoir, sont peut-tre les nouvelles avenues de l'interdisciplinarit. Il ne fait pas de doute que la logique, par exemple, a une vocation interdisciplinaire. Quoi qu'il en soit, le chercheur fondationnaliste, le fondationnaliste, pour employer un nologisme, pistmologue qu'il faudrait appeler pistmologicien, a une double figure ; il est la fois girouette et anmomtre : girouette parce qu'il est battu par les vents de la connaissance, anmomtre parce qu'il mesure la vitesse de progression du savoir au confluent des disciplines. Et le fondationnaliste ou l'pistmologicien n'a pas de visage pour avoir ces deux masques.

FONDEMENTS DES MATHEMATIQUES

CONCEPTUELS
1. Analyse conceptuelle ( ou critique ) , Rigueur informelle. 2. Thorie des ensembles (la notion de structure cumulative des rangs) et fondements de la thorie des ensembles (la notion d'ensemble et ses axiomes ) . 3. Concepts constructivi:tcs (concepts combinatoires, et fondements de la thorie des fonctions rcursives et mtarcurisives, fonctionnelles rcursives, computabilit et calculabilir) . Concepts intuitionnistes. 4. Concepts mtamathmatiques ( thorie des dmonstrations comme thorie de la rflexion ) . 5. Philosophie des mathmatiques et philosophie mathmatique. Fondements mtathortiques ( Constructivisme) Fondements thortiques (Structuralisme)

RECHERCHES FONDATIONNELLES
Les fondements structurels utilisent les struaures logiques et mathmatiques comme moyens de dvelopper langages et thories logiques et mathmatiques. Les fondements conceptuels analysent les principes et les concepts correspondants afin de trouver une justification (une certification) pour les thories logiques et mathmatiques et aussi de les rduire une thorie fondamentale unificatrice. Les approches diverses en fondements des mathmatiques peuvent ainsi tre rduites la dichotomie fondamentale constructivisme structuralisme. Thorie des ensembles Transfinis

STRUCTURELS
Logique Mathmatique Thorie Catgories & Thorie des Topoi Thorie des Dmonstrations

Thorie des Modles

Thorie de la Recursion et Meta Recursion Structures Algbriques^ et ensemblistes, topologiques et Arithmtiques. Degrs Hirarchiques. Thorie descriptive des ensembles Analytiques et projectifs.

Structures Algbriques et Topologiques (A. boolenne) Logique Algbrique (Polyadique Treillis, Thorie des ensembles (cardinaux) Langages infinitaires.

Sous-systmes de l'Analyse Classique Structures Arithmtiques (Ordinaux) . Dfinitions inductives Progressions autonomes Hirarchie Ordinale Formules infinies et Systmes Formels O
Cv4

104

PHILOSOPHIQUES

APPENDICE L'ide, ce n'est encore qu'une ide, qu'un univers ensembliste pleinement rflchi au sens de la structure cumulative des rangs et du scheme axiomatique de rflexion viole l'hypothse du continu, peut-tre approche ou approxirne de faon diffrente (en vitant la procdure intuitive, trop intuitive peut-tre, d'immersion dans une sphre de la cardinalit du continu) . Chaque rang de la structure cumulative contient tous les ensembles des rangs prcdents, nous appelons ce procs rflexion ascendante en analogie avec la dialectique ascendante de Platon synagog ou le thorme de Lwenheim-Skolem upward, puisque tout ensemble de rang infrieur est rflchi tous les rangs suprieurs. L'autre procs de rflexion, par lequel l'univers se rflchit dans un rang donn correspondant un ordinal-limite, je l'appelle rflexion descendante , encore une fois en analogie avec la dialectique descendante de Platon diairsis ou le thorme de Lowenheim-Skolem downward . Le continu combine ces deux rflexions ; d'un ct, tout segment de droite est une droite, de l'autre, tout segment a la cardinalit de la droite elle-mme. La hirarchie est donc doublement reflexive. On peut reprsenter de la faon suivante cette rflexion symtrique.

v.,
V
' ex -I- l

V0 Le segment V13 de la hirarchie reflte l'univers V, mais l'ensemble dtermin par l'ordinal B rflchit autant de copies possibles

CONSTRUCTIVISME ET STRUCTURALISME . . .

105

de lui-mme dans la hirarchie transfinie des ensembles et chaque ensemble rflchit ou se rflchit aussi transfiniment ; si on limite le segment V w , alors les rflexions R(w) donnent ^'co Axiomatiquement, nous avons un modle V (le modle del ) pour la thorie des ensembles de Zermelo-Fraenkel. V n'est pas dnombrable, c'est un modle pour un langage du second ordre avec cardinalit 2 V Nous exprimons le principe de rflexion coordinale ou symtrique universelle de la faon suivante : Va3O..0 > a 3 7 > 0 A tt , /3, 7 e V VX [ { XeV/3 -> 0 ( X ) <-> <PV /3 ( X ) ) } - - { V X 3 Y R ( X , Y) -> Va 3b Vy ( Y 6 b ^ 3 X ( X e a A R (X, Y) ) ) -> V X 3 R^ (/3) { ( X^ e R^ (/3) A (P (/3) C X*) } Cet axiome combine l'axiome de remplacement et le principe de rflexion : l'ensemble des rflexions forme un ensemble not R(w) pour lments. Finalement, ces spculations mtathortiques n'ont pour but que de renouer avec celles de Cantor qui ont donn naissance la thorie des ensembles. Mais de notre point de vue constructiviste, elles s'accompagnent d'un clin d'oeil sceptique.

Universit de Montral

* Notre modle del n'a rien voir avec les modles boolens de Vopenka et Hajek (thorie des semi-ensembles). Nous avons dfini rcemment des modles fluctuants pour notre thorie du continu, mais dans une perspective plus rsolument construcviste ( paratre dans un ouvrage qui doit tre publi bientt Fondements des Mathmatiques. Introduction une philosophie constructiviste).