http://www.sylvette-denefle.fr Sylvette Denfe, "Intuitionnisme et philosophie des sciences", Systmes symboliques, science et philosophie, d. du CNRS, P !is, "#$%, p.

%"&#'

IN()I(I*NNIS+, -*../ND/IS ,( P-I.*S*P-I, D,S +/(-+/(I0),S

.1intuitionnisme holl nd is, 2cole m th2m tique o!i3in le, qui se distin3ue p ! un const!uctivisme e4i3e nt, ppo!te s !2ponse u4 p!oblmes 2pist2molo3iques impo!t nts et !2sout de 5 6on int2!ess nte les questions de philosophie des m th2m tiques. /u4 inte!!o3 tions su! l possibilit2, l ce!titude et l1e57c cit2 m th2m tiques, l1intuitionnisme !2pond p ! l1e4pos2 coh2!ent d1une technique ppuy2e su! une philosophie qui l suppo!te. ./ CRI(I0), IN()I(I*NNIS(, ,n e55et, l m th2m tique qui est seule ce!t ine, possible et e57c ce est celle qui p sse l c!itique intuitionniste, c!itique qui est elle&m8me l t! duction p! tique des positions philosophiques de l12cole holl nd ise. ",n s2p ! nt compltement les m th2m tiques du l n3 3e m th2m tique, en p !ticulie! des ph2nomnes du l n3 3e qui sont d2c!its p ! l lo3ique th2o!ique, et en !econn iss nt que l m th2m tique intuitionniste est essentiellement une ctivit2 de l1esp!it ho!s du l n3 3e y nt son o!i3ine d ns l pe!ception d1un mouvement du temps" qui constitue l1intuition de b se des m th2m tiques 9:R &;'& p. "<=&<">, :!ou?e! pose les 5ondements de l c!itique intuitionniste. .1id2e qui sous&tend cette c!itique est qu1en m th2m tiques l1esp!it est cti5, que l m th2m tique est d1 bo!d une ctivit2 de l pens2e, une ction hum ine. C1est une const!uction ment le et le but de l1intuitionnisme est d1en e4plo!e! @usqu1 u bout les possibilit2s. .1o!i3ine de cette ctivit2 est d ns l du lit2 p!oven nt de l1intuition tempo!elle. Pou! :!ou?e!, en e55et, l conscience est, d ns les p!o5ondeu!s de l18t!e, le si3e d1un lent mouvement de b l ncement du !epos A l sens tion, s ns inte!vention d1 ucune volont2. Ce b l ncement est un mouvement du temps en ce qu1il 5 it p sse! l conscience d1une sens tion p!2sente A une ut!e sens tion, tout en conse!v nt l p!emi!e comme sens tion p ss2e. Ces deu4 sens tions, p!2sente et p ss2e, se distin3uent elles&m8mes de l12t t de !epos. ,t lo!sque tout contenu est 2limin2 de ces sens tions, ne demeu!e qu1un subst! t vide qui est l1intuition de l du lit2. C1est donc d ns l conscience que p!end n iss nce, A t! ve!s l notion du

temps postul2e d ns not!e esp!it, l1intuition de l du lit2, de l1unit2 et, p ! !2it2! tion, des entie!s et du continu lin2 i!e. Cette intuition est n2cess i!e pou! donne! un contenu A toute const!uction m th2m tique qui, s ns elle, ne se! it qu1une 5o!me ve!b le vide. .1 ctivit2 m th2m tique est le p!oduit di!ect de not!e ctivit2 ment le. . m th2m tique est le !efet de not!e pens2e et ne peut donc en ucune m ni!e 8t!e consid2!2e comme un outil qu1un 5o!m lisme d2qu t pe!mett! it d1 m2lio!e!. /insi, les intuitionnistes consid!ent un te4te m th2m tique comme tout ut!e te4te, pou! son contenu et non pou! s 5o!me. . l n3ue qui e4p!ime l m th2m tique n1est p s moins mbi3uB que l l n3ue quotidienne. .e 5 it qu1elle soit 5o!melle n12limine p s les di57cult2s de l1inte!p!2t tion des si3nes et on ne peut @ m is 57!me! qu1une l n3ue 5o!melle !end compte de l const!uction m th2m tique ment le qu1elle ess ie d1e4p!ime!. ,n 5 it, elle n1est qu1un moyen p! tique pou! m2mo!ise! l pens2e m th2m tique et l communique! A ut!ui. D1 illeu!s, une 4iom tique ne !ecouv!e @ m is tot lement l th2o!ie qu1elle !efte puisque de nouve u4 !2sult ts ou de nouvelles d2monst! tions mnent des ch n3ements, des !2 @ustements de l1 4iom tique. (!oelst! !2sume le point de vue intuitionniste t!s cl i!ement en 2c!iv nt "le l n3 3e des m th2m tiques est un ess i 9n2cess i!ement tou@ou!s in d2qu t> pou! d2c!i!e les const!uctions ment les. P !le! des m th2m tiques intuitionnistes est donc une 5 6on de su332!e! des const!uctions n lo3ues cheC les ut!es." 9(R &D#& p.<>. -eytin3 9&;<&> !end compte de ce 5 it en mont! nt que, lo!sque nous vons le sentiment d1 pplique! une loi lo3ique, nous sommes t!omp2s p ! des p !ticul !it2s du l n3 3e qui n1est p s d2qu t A l1e4p!ession des const!uctions ment les. /insi, p ! e4emple, l mise en 2vidence d1une cont! diction semble 5 i!e ppel di!ectement u p!incipe lo3ique de cont! diction. + is ce n1est, en 5 it, que l1 57!m tion qu1une ce!t ine const!uction ment le n1est p s possible sous ce!t ines conditions. C1est donc l1e4p!ession d1un p!ocessus ment l et non l1 pplic tion d1un p!incipe e4t2!ieu!. . lo3ique n1est qu1une e4p!ession de !3les de const!uctions ment les p !ticuli!es, c1est une 32n2! lis tion, une bst! ction.

./ .*EI0), IN()I(I*NNIS(, /p!s une telle p!ise de position, on peut se dem nde! d ns quelle mesu!e p!2cis2ment les p!incipes de l lo3ique cl ssique se!ont !emis en c use p ! l12cole holl nd ise. :!ou?e! 9:R &;'& p.<">, !2pond A cette inte!!o3 tion en indiqu nt que nous pouvons t!ouve! une const!uction m th2m tique ment le sous les p!incipes lo3iques si seuls le p!incipe de cont! diction et le syllo3isme ent!ent en lice F m is qu1 ucune const!uction ment le n1est !ef2t2e si le tie!s e4clu est utilis2 pou! pose! de nouvelles v2!it2s m th2m tiques, e4ception 5 ite de ce!t ins c s.

.e p!incipe du tie!s e4clu 9il e4iste un 2l2ment D y nt l p!op!i2t2 P ou tout 2l2ment de D l p!op!i2t2 non&P si nous consid2!ons un ensemble D 7ni> est pplic ble s ns p!oblme c !, il est 2vident qu1on peut en consid2!e! ch que 2l2ment, du moins en p!incipe et si l p!op!i2t2 est d2cid ble d2te!mine! si on t!ouve un 2l2ment de D y nt l p!op!i2t2 P ou si tous ont l p!op!i2t2 non&P. Ce p!oc2d2 est bsolument const!ucti5 et :!ou?e! ne 5e! ucun !ep!oche A cette pplic tion du tie!s e4clu. + is le p!oblme devient tout A 5 it di552!ent si D est un ensemble in7ni. .e p!oc2d2 utilis2 pou! un ensemble 7ni est in pplic ble et seul un p!oc2d2 d2tou!n2 pou!! it nous veni! en ide. .e p!incipe du tie!s e4clu ne peut donc s1 pplique! d ns ce c s. *!, si le p!incipe du tie!s e4clu est !25ut2 il s1ensuit que des p!incipes qui en sont des co!oll i!es, !ecev!ont l m8me c!itique, not mment le p!incipe de l test bilit2 57!m nt que tout 2nonc2 peut 8t!e d2mont!2 non&cont! dictoi!e ou cont! dictoi!e et le p!incipe de l !2cip!ocit2 de l compl2ment !it2 selon lequel l !ectitude d1une p!op!i2t2 suit de l1impossibilit2 de l n23 tion de cette p!op!i2t2. Si l1on s1inte!!o3e su! l n2cessit2 d1une telle int! nsi3e nce, nous devons nous ! ppele! que pou! les intuitionnistes le p!incipe du tie!s e4clu n1est consid2!2 comme p!io!i qu1 busivement, qu1il est impo!t nt de ne pose! que des !2sult ts 5ond2s soi3neusement et !ef2t nt not!e ctivit2 m th2m tique ment le et qu1il n1est donc d1 ucun 3 in 5ond ment l de pose! des !2sult ts dont l b se n1est p s st ble, m8me si elle n1est p s cont! dictoi!e. Pou! :!ou?e! qui !eche!che incontest blement un 5ondement s ns 5 ille A l m th2m tique, il ne se!t A !ien d1e4t! pole! su! les conn iss nces c ! l1 ssise scienti7que n1y 3 3ne en !ien. *n ! ppelle! A ce p!opos s comp ! ison c2lb!e G "une th2o!ie inco!!ecte, m8me si elle ne peut 8t!e inv lid2e p ! ucune cont! diction qui l !25ute! it, n1en est p s moins inco!!ecte tout comme un c!iminel ne !este p s moins c!iminel m8me si ucune cou! de @ustice ne le cond mne." 9:R &'H& p.HHD>. ,n 5 it, ce qui distin3ue essentiellement l lo3ique intuitionniste de toute ut!e lo3ique, c1est l pl ce qui lui est cco!d2e. ,n e55et, les intuitionnistes n lysent le dom ine de v lidit2 de l lo3ique d1une 5 6on tout A 5 it di552!ente de celle des m th2m ticiens cl ssiques. .1unive!s lit2 !econnue A l lo3ique n1est A leu!s yeu4 qu1une e4t! pol tion indue du dom ine 7ni A l m th2m tique, c1est&A&di!e A l1in7ni. Pou! :!ou?e! et son 2cole, les ph2nomnes n tu!els sont m It!is bles si nous les pensons comme des systmes disc!ets 7nis 9en ccept nt de l isse! demeu!e! une p !t d1inconnu> qui sont li2s p ! des lois sp2ci7ques de conc t2n tion tempo!elle. ,t les lois de l lo3ique cl ssique sont p!2cis2ment pplic bles A ces systmes 7nis. *!, ces lois, m l3!2 leu! non& d2qu tion A tout le donn2 empi!ique et en p !ticulie! l non&v2!i7c tion de toutes les in52!ences qu1elles p!oduisent 9 ntinomies> ne sont p s mises A l12p!euve de l v2!i7c tion selon un p!incipe tout A 5 it p!io!i. N2 nmoins elles sont consid2!2es comme e4 ctes p!ob blement du 5 it qu1elles sont plus souvent ppliqu2es A l vie

quotidienne que d ns le dom ine p!2cis des m th2m tiques. .eu! c ! ct!e d1unive!s lit2 p!io!i s12t blit de telle so!te que l1on oublie leu! o!i3ine de !el tions de systmes 7nis !end nt p !tiellement compte des ph2nomnes et qu1on les pplique s ns !emise en c use A un dom ine in7ni uquel elles ne sont p s d pt2es. .e monde de l pe!ception nous conv inc de l solidit2 des p!incipes lo3iques et on oublie que de ce monde, nous n1 vons qu1une conn iss nce p !tielle et 7nie A l quelle l lo3ique s1 d pte m is qui est 2loi3n2e de const!uctions m th2m tiques que nous pouvons 2l bo!e! et qui d2p ssent consid2! blement le c d!e des sciences n tu!elles. Jusqu1A l1 pp !ition de cont! dictions A l1int2!ieu! de l m th2m tique, l lo3ique m intenu son st tut d1 p!io!i m is cette pp !ition doit pe!mett!e de p!end!e conscience de l1o!i3ine du m l qui est d ns l1 pplic tion A l1in7ni de lois du 7ni. .1unive!s lit2 lo3ique d2coule d1une ce!t ine conception du l n3 3e. ,n e55et, le l n3 3e est e57cient d ns un 3!oupe et compo!te donc des v2!it2s que l1on peut e4p2!imente!. .es lois lo3iques sont l1e4p!ession des moyens utiles qui pe!mettent de d2dui!e une v2!it2 d1une ut!e et qui ont 2t2 p!imitivement e4p2!iment2s. .e compo!tement des su@ets du 3!oupe est donc 55ect2 p ! l lo3ique qui pp ! It ds lo!s comme po!teuse de v2!it2s. + is, et c1est lA l t! nsition 5 t le du point de vue intuitionniste, l lo3ique ne compo!t it p s de v2!it2s v nt que ces v2!it2s n1 ient 2t2 e4p2!iment2es. . lo3ique est le !2sidu de suites c us les utiles, elles !ecouv!e un ce!t in nomb!e d1e4p2!iences e57cientes m is, de ce 5 it, on ne peut conclu!e qu1elle est v lide pou! toutes les e4p2!iences possibles. Cette c!oy nce en l1e4istence de v2!it2s non&e4p2!iment2es est le 5ondement de l conception cl ssique de l lo3ique. Pou! les intuitionnistes, u cont! i!e, il n1y p s de lo3ique unive!selle c ! il n1y p s de v2!it2s p!io!i. . c!oy nce en de telles v2!it2s qui est tout A 5 it !e@et2e des sciences de l n tu!e et de l vie quotidienne, s1est d2velopp2e d ns les m th2m tiques qui ont un dom ine d1e4p2!iment tion t!s limit2 et si 2loi3n2 A leu! o!i3ine qu1il n1ent!e p! tiquement p s en li3ne de compte. *!, @usqu1A l 7n du KKme sicle, ucune !emise en c use de l v lidit2 de l lo3ique en m th2m tiques ne se p!oduisit. Selon :!ou?e!, ce 5 it !elve de l1histoi!e des civilis tions m is il n1 ccepte p s de d2veloppe! l m th2m tique, en t nt qu1il l veut e4p!ession de l1 ctivit2 5ond ment le du su@et, su! cette b se l2 toi!e. Cette !emise en question du !Lle de l lo3ique ne si3ni7e pou!t nt p s son 2limin tion puisque les intuitionnistes !econn issent un ce!t in m2c nisme ment l du d2!oulement des sse!tions m th2m tiques qui s1e4p!ime A t! ve!s l lo3ique intuitionniste. + is, A l di552!ence de l lo3ique cl ssique, l lo3ique intuitionniste ne p!2tend ni A un !Lle ontolo3ique, ni A un !Lle e4h usti5, ni A un !Lle d1 p!io!i. ,lle ne !efte que les d2veloppements e57cients des const!uctions m th2m tiques et elle est une e4p!ession second i!e de ce!t ins sch2m s m th2m tiques ment u4.

./ +/(-+/(I0), IN()I(I*NNIS(,

/p!s cette ph se c!itique, l1intuitionnisme 2l bo!e l nouvelle m th2m tique. Il !econn It l possibilit2 de c!2e! de nouvelles entit2s, "p!emi!ement sous l 5o!me de suites p!oc2d nt in7niment dont les te!mes sont choisis plus ou moins lib!ement A p !ti! d1entit2s m th2m tiques nt2!ieu!ement cquises, de telle so!te que l libe!t2 qu1on v it peut&8t!e u p!emie! choi4 peut 8t!e i!!2voc blement soumise, A ch que choi4, A des !est!ictions p!o3!essives t ndis que toutes ces !est!ictions insi que les choi4 eu4&m8mes, peuvent A ch que 2t pe 8t!e 5 its en 5onction des e4p2!iences m th2m tiques 2ventuelles du su@et c!2 teu! d ns l1 veni! F deu4imement sous l 5o!me d1espces m th2m tiques, c1est&A&di!e de p!op!i2t2s possibles d1entit2s m th2m tiques nt2!ieu!ement cquises. .es espces sont des ensembles dont nous conn issons une p!op!i2t2 c ! ct2!is nt les 2l2ments. + is les intuitionnistes distin3uent deu4 so!tes d1ensembles G les espces, et les ensembles que l1on peut d27ni! en donn nt une loi qui d2te!mine ch cun de ses 2l2ments. )n tel ensemble se! ppel2 p ! :!ou?e! un d2ploiement. )ne espce est d27nie t!s nettement p ! :!ou?e! comme "une p!op!i2t2 que les entit2s m th2m tiques peuvent poss2de!" 9:R &;'& p."<'> et les memb!es d1une espce sont les entit2s m th2m tiques d27nies v nt l1espce et qui s tis5e!ont l p!op!i2t2. )n d2ploiement est un couple de lois dont l p!emi!e, l loi de d2ploiement, d2te!mine ce!t ines suites de nomb!es n tu!els comme dmissibles pou! le d2ploiement, et l seconde, l loi compl2ment i!e, ssocie A ch que suite d2te!min2e p ! l loi de d2ploiement un ob@et m th2m tique. M l1 ide de ces notions nouvelles, les intuitionnistes ont ent!ep!is l !econst!uction des m th2m tiques, c1est&A&di!e de l p !tie 5ond2e de cette science. .1e4i3ence de const!uctivit2 2limine ce!t ines possibilit2s de d2monst! tions cl ssiques, en p !ticulie! pou! ce qui est du m niement de l1e4istentielle, du ! isonnement p ! l1 bsu!de, de l !2cip!ocit2 de ce!t ins 2nonc2s, de l1 57!m tion de l1in7ni ctuel. Cette m8me e4i3ence int!oduit p ! cont!e des distinctions plus 7nes ent!e les notions 9p ! e4emple l distinction ent!e conve!3ences positive et n23 tive>, !econn It l l23itimit2 d1un in7ni potentiel ce qui, ent!e ut!es, pe!mett! le ! isonnement su! des 2l2ments d1in7nis de c !din lit2s sup2!ieu!es A celle du d2nomb! ble et 3 !de l1induction comme ! isonnement const!ucti5 pou! les c s oN une ce!t ine 32n2! lit2 n2cess i!e nous 5 it consid2!e! des unive!selles ou des e4istentielles qui ne sont p s imm2di tement donn2es d ns ch cun des c s p !ticulie!s qu1elles !ecouv!ent m is qui en sont, en quelque so!te, des b!2vi tions.

D1 ut!e p !t, si l1 4iom tique et le ! isonnement 5o!mel sont 5o!tement c!itiqu2s d ns leu!s implic tions m2t m th2m tiques p ! les intuitionnistes, ils n1en sont p s moins !econnus d ns leu! c ! ct!e de m niement p! tique. ,n7n, une nouvelle donn2e s1int!oduit p !5ois d ns le d2veloppement m th2m tique, donn2e inh2!ente A l1intuitionnisme, donn2e qui en est le cent!e m8me, A s voi! l1inte!vention du su@et lib!e. Compte tenu de ces di552!entes e4i3ences, l !econst!uction intuitionniste de l m th2m tique tenu ce!t ines de ces p!omesses, m l3!2 les di57cult2s techniques et m8me ouve!t de nouvelles voies de !eche!ches. ,lle donn2 des d2monst! tions nouvelles de ce!t ins !2sult ts cl ssiques, en con7!m2 d1 ut!es ou enco!e 2limin2 ce!t ins et ppo!t2 des !2sult ts nouve u4 qui se sont !2v2l2s impo!t nts.

./ P-I.*S*P-I, IN()I(I*NNIS(, D,S +/(-+/(I0),S Pou! les intuitionnistes, les 5ondements des m th2m tiques ne sont p s une p !tie des m th2m tiques m is on pou!! it di!e plutLt que les m th2m tiques s1ins!ent d ns les !eche!ches de 5ondements. ,n 5 it, pou! :!ou?e!, toute !2fe4ion su! les m th2m tiques doit commence! p ! estime! les conditions d ns lesquelles l1 ctivit2 ment le du m th2m ticien p!end pl ce pou! d2te!mine! l p !t des p!2suppos2s philosophiques qui y ent!ent. .1intuitionnisme veut 2limine! de l m th2m tique toute id2e p!2con6ue pou! l1 sseoi! su! une b se st ble qui en 3 ! ntisse l !ectitude puisqu1il n1 qu1un c!it!e sub@ecti5 du v! i G l12vidence. . m th2m tique intuitionniste est ssu!2e, d1une p !t, p ! son o!i3ine p!io!i pou! ce qui est des notions p!emi!es, et, d1 ut!e p !t, p ! s m2thode pou! ce qui conce!ne son d2veloppement. Comme le !em !que de nomb!euses 5ois -eytin3, on peut consid2!e! l1e4i3ence intuitionniste comme un 2t t d1esp!it pe!mett nt d12t bli! ce que l1on peut 57!me! en m th2m tiques s ns !isque de cont! diction. ,n 5 it, l1intuitionnisme doit d v nt 3e 8t!e consid2!2 comme une ctivit2 que comme une doct!ine, ce p ! quoi nous devons entend!e que si l !eche!che su! les 5ondements en toile de 5ond une ce!t ine philosophie, ceci n1est en !ien n2cess i!e et que son but p!o5ond est de !2t bli! sO!ement l m th2m tique quelle que soit l philosophie que l1on dopte. *n peut d1 illeu!s !em !que! que m8me les m th2m ticiens de tend nce "pl toniste" ne d2nient p s A l m th2m tique intuitionniste une sO!et2 plus 3! nde que celle de l m th2m tique cl ssique en ce qui conce!ne les !2sult ts m2t m th2m tiques puisque, lo!squ1il s1 3it des p!oblmes de non&cont! diction de l1 !ithm2tique, le th2o!me de EPdel y nt d2mont!2 l1impossibilit2 de l1ent!ep!ise de -ilbe!t dont les m2thodes st!ictement 7nitistes ne pe!mettent p s les d2monst! tions de non&cont! diction escompt2es, ils n1h2sitent p s A d2mont!e! ce !2sult t A l1int2!ieu! du systme intuitionniste qui

n1est lo!s 3 ! nti p ! !ien d1 ut!e que ses m2thodes. *n doit si3n le! A ce p!opos que les intuitionnistes ne p!2tendent p s A une !i3ueu! et une ce!titude bsolues m is seulement A une ce!titude hum inement d2cid ble p ! sentiment d12vidence. Si donc, pou! :!ou?e!, l m th2m tique doit commence! p ! s1inte!!o3e! su! les 5ondements des th2o!ies e4ist ntes, ce n1est p s t nt pou! les d2t!ui!e que pou! les 2t bli! plus sO!ement m8me si cette ssu! nce doit les mpute! consid2! blement. Ce n1est qu1une 5ois ce t! v il c!itique qui est l1 spect le plus connu de l1intuitionnisme ccompli, qu1il se! possible de voi! les p !ties de l m th2m tique qui !este!ont int ctes et de p!opose! de nouvelles m2thodes pou! !econst!ui!e p !mi les ut!es celles qui pou!!ont l18t!e. 0u nt u d2veloppement de l m th2m tique, c1est&A&di!e u d2veloppement des const!uctions l23itimes du point de vue intuitionniste, il est 3 ! nti p ! l1utilis tion A p !ti! de notions p!io!i d1une m2thode st!ictement cont!Ll ble. Pou! les intuitionnistes, l v2!it2 m th2m tique d2pend de not!e intellect 9ou du moins, nous ne pouvons p s suppose! l23itimement ut!e chose A l1int2!ieu! de l science> et nous sommes donc tenus de ne !ien pose! que nous n1 ssu!ions, c1est& A&di!e de ne consid2!e! que ce que nous const!uisons. Pou! :!ou?e! l1e57c cit2 d1un ! isonnement m th2m tique p!ovient de deu4 o!i3ines F p!emi!ement nos concepts m th2m tiques de v se 9c1est&A&di!e le nomb!e et le continu lin2 i!e> sont 3 ! ntis p ! l1intuition tempo!elle p!io!i que nous vons de l du lit2 F deu4imement not!e m2thode doit demeu!e! d ns les limites hum ines c1est&A&di!e que deu4 op2! tions seulement nous sont ccessibles G c!2e! un nomb!e o!din l 7ni et c!2e! un nomb!e o!din l in7ni . . m th2m tique intuitionniste est synth2tique p!io!i. C1est d2@A A cette bo!ne que Poinc !2 men it l 52condit2 et l ce!titude m th2m tiques A t! ve!s l1induction et le nomb!e. C1est lA enco!e que l1on !et!ouve l12cole holl nd ise. Cette 5o!mul tion Q ntienne, si elle convient bien A l conception intuitionniste, doit cepend nt 8t!e 2cl i!2e c ! elle ne !ecouv!e p s 7dlement les vues de R nt, qu nd elle conce!ne les intuitionnistes. . m th2m tique intuitionniste est p!io!i c ! elle t!ouve son o!i3ine d ns le temps qui nous est donn2 p!io!i. ,lle est synth2tique c ! son contenu est essentiellement intuiti5. ,4 minons ce point vec p!2cision c ! il pu donne! lieu A des inte!p!2t tions pp !emment cont! dictoi!es. ,n e55et, l1intuition m th2m tique si elle est p!io!i de p ! son o!i3ine, l1est 23 lement en ce qu1elle ne s u! it d2pend!e de l1e4p2!ience et en p !ticulie! de toute v2!i7c tion e4p2!iment le. D ns s thse 9:R &=$& p."'">, :!ou?e! 5 it une distinction ent!e les concepts ins2p ! bles de toute e4p2!ience e4te!ne et les concepts qui pp ! issent n2cess i!ement d ns le !2cept cle m th2m tique de l1e4p2!ience. Selon lui, le p!emie! 3en!e de concept n1e4iste p s c ! l1e4p2!ience ne se p!2sente p s n2cess i!ement d ns l 5o!me de

5 its bien d27nis, elle p sse A t! ve!s l st!uctu!e m th2m tique de l1esp!it. C1est l conception b!ou?e!ienne de l conn iss nce qui !end compte de cette distinction G nous n1 vons d1e4p2!ience qu1A t! ve!s not!e esp!it, c1est&A&di!e not!e conscience oN s1est d2velopp2e, A t! ve!s l sens tion, l notion de du lit2 c1est& A&di!e d2@A l m th2m tique. /u nive u de l conscience p!o5onde, 9"in its deepest home" 2c!it :!ou?e!>, il y sens tion m is on ne peut p s p !le! d1e4p2!ience. Ds lo!s, on comp!end que l m th2m tique ne s u! it d2pend!e de l1e4p2!ience. (oute5ois, les intuitionnistes ne nient p s que l1e4p2!ience, c1est&A&di!e le monde e4t2!ieu!, donne lieu A l 5o!m tion de concepts m th2m tiques F et c1est ce point qui p !5ois 2t2 inte!p!2t2 comme cont! dictoi!e du p!emie!. ,n 5 it, c1est lo!s le monde e4t2!ieu! en t nt qu1il p!ovoque des sens tions su! not!e conscience que est en c use et non l1e4p2!ience comp!ise comme v2!i7c tion, comme con5!ont tion consciente. Il est un point A ! ppele!, c1est que nous ne p !lons lA que de l 3ense ment le de l m th2m tique et que l1 pp !ition de l communic tion m th2m tique est consid2!2e p ! les intuitionnistes comme un ph2nomne tout A 5 it distinct et dont l1o!i3ine peut 8t!e @usti72e p ! une e4plic tion empi!iste u sens o!din i!e, A s voi! que les p!emi!es 5o!m lis tions m th2m tiques sont pp !ues en li ison 2t!oite vec l1e4p2!ience quotidienne. ,n b!e5, c1est donc une intuition di!ecte s ns ! ppo!t vec l1e4p2!ience qui @usti7e l con7 nce que l1on peut cco!de! u4 m th2m tiques. C1est cette intuition qui suppo!te l conception selon l quelle l m th2m tique est l p !tie l plus e4 cte de not!e pens2e et qu1elle est p !tie int23! nte de toutes nos pens2es. Cette intuition di!ecte se m ni5este essentiellement p ! deu4 ctes ment u4 5ond ment u4 G l !2p2tition et le lib!e choi4 qui 32n!ent A leu! tou! les concepts m th2m tiques tels que le nomb!e, le continu, les espces, les suites p!oc2d nt in7niment, etc... Ces deu4 ctes ment u4 sont @usti72s p ! :!ou?e! p ! l1isolement de l conscience qui ne subit ucune cont! inte. Pou! les intuitionnistes en 32n2! l, ils sont @usti72s en ce qu1on ne peut suppose! moins pou! sseoi! le d2veloppement m th2m tique. Pou! l !2p2tition ne se p!2sentent 3u!e de di57cult2s. /vec le lib!e choi4 p ! cont!e, une comple4it2 technique t!s 3! nde est int!oduite. + is nous sommes lA en p!2sence d1un point essentiel de l1intuitionnisme. . @usti7c tion de cette conception tient d ns l1id2e que l m th2m tique doit 8t!e 2t blie su! une b se s ns p!2suppos2. Si donc l1esp!it ne !e6oit ucune d2te!min tion d ns l12l bo! tion de ses concepts m th2m tiques, il est lib!e de toute cont! inte e4t2!ieu!e. Cette id2e de l 32n2! tion ment le des m th2m tiques ne pose de p!oblmes que lo!squ1il s1 3it de m th2m tiques ppliqu2es, puisqu1elle @usti7e, de p ! s n tu!e, l ce!titude m th2m tique. Pou! en !end!e compte philosophiquement, il 5 ut postule! une position id2 liste su! le p!oblme de l conn iss nce. M moins que le choi4 de cette libe!t2 ne soit vu que comme position compo!t nt le moins de

p!2suppos2 nt2c2dents possible. 0uoiqu1il en soit de l question philosophique, on peut !em !que! que, en ce qui conce!ne les m th2m tiques, cette position deu4 cons2quences G & du point de vue des 5ondements, elle nous pl ce d ns un const!uctivisme st!ict puisque c1est l b !!i!e n2cess i!e A l !ectitude des concepts et ! isonnements utilis2s 9ce 5 it d1 illeu!s p ! do4 lement ! pp!och2 consid2! blement l1intuitionnisme d1un empi!isme d ns l mesu!e oN tous les ! isonnements intuitionnistes ne s1 ppuient que su! de l1e4ist nt> F & du point de vue technique, l libe!t2 du su@et en m th2m tiques int!oduit deu4 spects nouve u4 G > une s2!ie de concepts nouve u4 et une nouvelle e4p!ession du continu 9continu comp!is comme "d2veloppement d2cim l d ns l libe!t2 de s 3ense" 9S/ &'<& p.';H>F b> l1inte!vention du su@et en m th2m tiques. Su! le deu4ime point, qui ent! In2 be ucoup de c!itiques, l !2ponse intuitionniste est que l libe!t2 du su@et n1inte!vient p s comme !bit! i!e en m th2m tiques c ! ne sont utilis2s que des ob@ets m th2m tiques const!uits, c1est&A&di!e des ob@ets que l1on possde d2@A d ns l tot lit2 qui inte!vient. Cepend nt, m l3!2 le soin ppo!t2 p ! -eytin3, en p !ticulie!, A d2mont!e! l non& in32!ence de cette conception d ns le d2!oulement m th2m tique puisque l1intuitionnisme ne pose p s d1hypothque su! le deveni!, l c!itique s1est 5o!tement concent!2e su! ce point et l1on pos2 de nomb!euses questions su! le su@et pou! d2te!mine! s1il !ep!2sente un consensus de m th2m ticiens, un individu, :!ou?e! ou ut!e 9TD/ &<#& p.#;=>. Pou! not!e p !t, nous pensons qu1il est di57cile du point de vue philosophique de so!ti! A p!opos de l1intuitionnisme d1une philosophie id2 liste m is que cette conception n1 lt!e en !ien le soin intuitionniste A 2vite! les p!2suppos2s d ns l d2veloppement de l science. .1intuition m th2m tique est donc p!emi!e pou! les intuitionnistes, ce qui u! pou! cons2quences l1 57!m tion de l p!io!it2 m th2m tique su! toute pens2e et su! l lo3ique en p !ticulie! et le !ecou!s A cette seule intuition pou! d2te!mine! les v leu!s et not mment l v2!it2. .e seul c!it!e intuitionniste du v! i est l1intuition de l v2!it2 qui se m ni5este p ! le sentiment d12vidence que nous !essentons 5 ce A ce!t ines p!opositions ou A ce!t ins ! isonnements. Pou! les intuitionnistes, les p!opositions m th2m tiques ne sont v! ies ou 5 usses que pou! not!e esp!it. .1id2e d1un 2t t des p!opositions e4t2!ieu! u su@et !elve de l c!oy nce A l1e4istence ob@ective des entit2s m th2m tiques et nous ! mne donc u p!2suppos2 pl tonicien. Pou! :!ou?e! et ses 2mules, ch que conclusion

est cont!Ll2e di!ectement p ! s p!op!e 2vidence. S ns peine on t!ouve! d ns l1id2 lisme t! nscend nt l l1inspi! tion b!ou?e!ienne. Pou! R nt, l ce!titude m th2m tique est imm2di te, di!ecte et d2te!min2e c ! elle ne !ecouv!e p s le !2el. C1est l12vidence qui l1 ssu!e G elle est intuitive. Pou! R nt, l ce!titude m th2m tique ne !2side p s d ns une p!ise su! l18t!e m is l m th2m tique po!te su! des possibles et l12vidence intuitive seule nous 3 ! ntit l ce!titude. . conception o!i3inelle de :!ou?e! est t!s p!oche su! ce point de l conception Q ntienne. m is elle , p ! suite de c!itiques s2!ieuses de l12pist2molo3ie du KKme sicle, dO 2volue!. Si nous ne t!ouvons p s, cheC :!ou?e! p!op!ement dit, de te4tes !ep!en nt cette notion d12vidence, nous notons cheC -eytin3 d ns les nn2es "#;%&D= une !e5o!mul tion de cette question. . philosophie contempo! ine des sciences souli3n2, u KKme sicle, l1 spect mouv nt des th2o!ies scienti7ques. /p!s les nouvelles 32om2t!ies et physiques, l plup !t des philosophes de l science et les scienti7ques eu4&m8mes se sont tt ch2s A mont!e! le c ! ct!e non& bsolu des th2o!ies scienti7ques et leu! in d2qu tion A l1e4p2!ience conc!te. .e 5 it e4p2!iment l du s v nt est 5o!t 2loi3n2 de l1e4p2!ience commune. /insi donc, l notion d12vidence elle&m8me ne peut 8t!e que !el tive A une th2o!ie donn2e. .es intuitionnistes ne peuvent donc souteni! le !ecou!s A l12vidence que d ns les 5ondements ultimes des m th2m tiques, pou! toutes les p!emi!es notions. .e d2!oulement de cette science 2ch ppe A ce !ecou!s, ce qui n1 p s 2t2 s ns c!2e! des di57cult2s impo!t ntes pou! l coh2!ence du systme intuitionniste, puisqu1il !e@ette tout 8t!e m th2m tique qui n1est p s const!uit di!ectement. .es intuitionnistes d2nient, en p !ticulie!, tout spect c!2 ti5 A l1 4iom tique qu1ils consid!ent comme un ph2nomne de simpli7c tion p! tique pp ! iss nt p!s l m th2m tique. 0u nt A l1 nt2!io!it2 de l lo3ique, elle n1est p s ccept2e p ! les intuitionnistes qui 5ont !em !que!, ent!e ut!es, que l1id2e de l !el tion p!2suppose d2@A l1id2e de du lit2. . c!2 tion m th2m tique est pou! l12cole intuitionniste d1une n tu!e di552!ente de l 5o!m lis tion 4iom tique F elle est l1e4p!ession de l puiss nce de l1esp!it et on ne peut 57!me! qu1un systme d1 4iomes puisse l12puise! d ns s tot lit2 9d1 ut nt plus qu1une 2num2! tion d1 4iomes p!2suppose 23 lement le concept m th2m tique d12num2! tion>. Su! le !Lle de l1 4iom tique et de l lo3ique, les positions cl ssique et intuitionniste sont inconcili bles puisque c1est tout le p!oblme de l1e4i3ence const!uctiviste qui divise ici les deu4 2coles. .e const!uctivisme n1 ppo!te !ien u m th2m ticien cl ssique, pou! qui les th2o!mes po!tent su! des 8t!es e4ist nt ob@ectivement lo!s qu1il est 5ond ment l pou! l1intuitionniste pou! qui "les m th2m tiques sont li2es essentiellement A l conn iss nce hum ine" 9-, &D=& p.""$>.

De 5 it, les intuitionnistes ne !2cusent p s les v nt 3es de l m2thode 4iom tique pou! d2mont!e! bon nomb!e de p!op!i2t2s 9uni7c tion de th2o!ies, isomo!phies, simpli7c tion de th2o!mes...> et ils l comp!ennent comme un systme de th2o!mes 32n2! u4 qui ne sont qu1une p !tie des m th2m tiques. .e !Lle qu1ils lui tt!ibuent est sseC p!oche du !Lle cco!d2 A l lo3ique G c1est su!tout un !Lle p! tique. /insi donc, l m th2m tique intuitionniste 3 ! ntie d ns son o!i3ine p ! l1intuition p!io!i du temps et d ns son d2veloppement p ! un const!uctivisme st!ict est sO!e. D1 ut!e p !t, p !tie st!uctu! nte de not!e esp!it, elle n1 d1us 3e que pou! une science qui est l1e4p!ession de l conn iss nce hum ine et non de l !2 lit2 ob@ective. ,t le p!oblme du ! ppo!t m th2m tique&!2 lit2 s1e55 ce d ns une p!2e4istence du m th2m tique A toute e4p2!ience, et pe!d son cuit2 pou! le 5ondement des m th2m tiques qui n1ont p s A !end!e compte de leu! d2qu tion A un !2el qui n1e4iste qu1A t! ve!s elles. ,n7n, vec l libe!t2 du su@et int!oduite de plein d!oit, l1intuitionnisme !end p !5 itement compte de tout veni! possible de l science et l philosophie id2 liste qui le sous&tend v d ns le sens de l12pist2molo3ie contempo! ine qui consid!e l science comme une inte!p!2t tion et non comme une pp!2hension du !2el. R,+/R0),S ,( C*NC.)SI*NS .1intuitionnisme holl nd is est u KKme sicle un mouvement tout A 5 it o!i3in l. Cette o!i3in lit2 & !em !qu2e essentiellement sous son spect n23 ti5 de c!itique de l m th2m tique cl ssique & s1e4p!ime p!o5ond2ment A t! ve!s son const!uctivisme et l1id2 lisme qui le sous&tend. . m th2m tique con6ue comme l1e4p!ession de l ! tion lit2 du su@et, plus enco!e, comme le schme de son pp!2hension du monde, conduit s ns d2tou! A un id2 lisme t! nscend nt l, Q ntien d ns son p!o@et, m is o!i3in l d ns s !2 lis tion. .e temps est le seul schme p!io!i de not!e conn iss nce et le monde noum2n l s ns soutien divin se dissout d ns l multiplicit2 individuelle. + is, cont!ep !tie int2!ess nte de ce solipsisme, le su@et n1 pou! ssu!e! s conn iss nce que le !ecou!s A un const!uctivisme st!ict. Si l conn iss nce est hum ine, elle ne peut d2p sse! le c d!e de l p!oduction de l1homme s ns !isque! l1inv2!i7 bilit2 et l1 ventu!e. ,n 5 it, l1intuitionnisme est 2cole de p!udence et d1 ssu! nce. /insi, une b se philosophique vou2e, l1 p!io!it2 du temps, conduit A l12di7c tion d1une m th2m tique !i3ou!euse et hum inement ssu!2e. Il n1y u! it p s lA m ti!e A c!itiques si cette ssu! nce ne se p y it u p!i4 de l1 mput tion d1une p !t consid2! ble de l science cl ssique. .e !e@et de l1intuitionnisme se 5 it cl i!ement su! ce point. . m th2m tique cl ssique se mont!e e57c ce. Comment peut&on l1 mpute!, m8me u nom d1un p!incipe d1 ssu! nce dont, m l3!2 les ntinomies, on ne !essent p s le besoin U Il semble en e55et bien ventu!eu4, u vu

de ces 57!m tions d1 ssu! nce de !enie! l science cl ssique pou! s1en3lue! d ns l comple4it2 intuitionniste. + is p!2cis2ment, et c1est lA que l1intuitionnisme p!end son int2!8t, cette solidit2 cl ssique su! quoi !epose&t&elle U .es d2monst! tions de non&cont! dictions se sont embou!b2es d ns leu! !epo!t continuel u m2t l n3 3e qui les 2nonce. . science se mont!e, ch que @ou! d v nt 3e, inte!p!2t tion de l1ob@et et non pp!2hension. . m th2m tique peut& elle !ef2te! l18t!e m th2m tique ob@ecti5 di!ectement s ns d25o!m tion U ,t quelle est cette ob@ectivit2 m th2m tique U 0u1est&ce que cette con7 nce en l ce!titude m th2m tique sinon l c!oy nce en l1 d2qu tion de l m th2m tique qui se 5 it et d1une !2 lit2 ob@ective U ,t comment peut&on p !le! de l1ob@et m th2m tique, en 5 is nt 7 de toute philosophie U Si l1ob@et m th2m tique est utonome, ho!s n tu!e, quel est son ppo!t A l1homme et u monde U S1il est d ns le monde, cceptons&nous l1empi!isme qu1il implique U ,n 5 it, l science cl ssique ne s1inte!!o3e p s su! l1ob@et m th2m tique. ,lle le constitue ou elle le d2couv!e, peu impo!te, et cel , u nom de l1e57c cit2. /insi, en ce m8me nom, on d2bl ie toute consid2! tion su! les 5ondements. + is, qu1est&ce que cette position sinon une position philosophique, et une philosophie qui s1i3no!e U C1est cet spect qu12cl i!e p !ticuli!ement, nous semble&t&il, l12cole holl nd ise. ,n e55et, en po!t nt toute son ttention su! l ce!titude m th2m tique et son 5ondement, elle d2busque les omb!es philosophiques qui s1estompent de!!i!e l science cl ssique. . v2!it2 m th2m tique pp ! It comme un p!io!i immu ble, 5ond2 poste!io!i que l1e57c cit2. P !ce qu1elle est e57c ce, l m th2m tique cl ssique est v! ie. .1intuitionnisme est donc d2@A, A tout le moins, un indic teu! F en sti3m tis nt les p!io!i cl ssiques, il nous pe!met de !el tivise! not!e 5oi d ns l m th2m tique cl ssique. D1 ut!e p !t, en int!oduis nt le su@et d ns le p!ocs m th2m tique, l1intuitionnisme holl nd is @usti7e tout d2veloppement 5utu! de l science, ussi cont! i!e soit&il A l science que nous conn issons. ,n insist nt su! l1in d2qu tion 5ond ment le de tout 5o!m lisme A l1 ctivit2 m th2m tique, il se t!ouve post2!ieu!ement con7!m2 p ! le th2o!me de EPdel d2mont! nt que les 5o!m lismes de l1 !ithm2tique sont n2cess i!ement incomplets. ,n !emett nt en question ce!t ins p!incipes d2ducti5s, il pe!met de concevoi! une lo3ique 9voi!e une !ithm2tique> di552!ente de l lo3ique cl ssique, une lo3ique qui se !el tivise p ! ! ppo!t u4 2t ts de l conn iss nce hum ine. ,t ce n1est p s une lo3ique qui se! it une p !tie de l lo3ique cl ssique m is, bien u cont! i!e, une lo3ique qui se p!olon3e! it u&delA de celle&ci. ,n 2tou55 nt donc l1intuitionnisme en p!en nt c use de ses e4cs, on 2limine du m8me coup un t2moin 38n nt d ns l !emise en question des 5ondements de l science et ussi une possibilit2 de d2veloppement, d ns une voie tout A 5 it nouvelle, de l !eche!che scienti7que.

,n7n, si l1intuitionnisme n1 p s mont!2 su57s mment son impo!t nce, voi!e m8me s @usti7c tion, A l1int2!ieu! des sciences elles&m8mes, il !este qu1il est un !e3 !d nouve u su! l conn iss nce. Il 5 it une science du su@et lo!s que l science cl ssique est une science de l1ob@et. ,t, si en t nt que tel il ne m2!ite p s l1 ttention du scienti7que, il nous p ! It n2 nmoins m2!ite! 3! ndement l1 ttention du philosophe, d1 bo!d p ! les questions qu1il soulve et les !el tivis tions u4quelles il obli3e, et su!tout p ! l12cl i! 3e nouve u qu1il pose su! les p!oblmes de philosophie de l conn iss nce de p ! son option id2 liste. ,n e55et, l1intuitionnisme !end compte de l possibilit2 de conn It!e, de l ce!titude m th2m tique et du ! ppo!t de l1homme A l !2 lit2. Il pe!met, d1 ut!e p !t, une inte!p!2t tion 2pist2molo3ique s tis5 is nte de l12volution des ph2nomnes scienti7ques mode!nes. Cepend nt, un ce!t in nomb!e de points d ns l philosophie de :!ou?e! ent! Ine des !em !ques. . p!emi!e t! it u4 di57cult2s !encont!2es p ! l1intuitionnisme d ns le d2veloppement de son p!op!e p!o@et. Ce!t ines notions comme celle d1espce ent! Inent de di57cult2s. D1 ut!e p !t, il n1est 3u!e possible de concevoi! l m th2m tique d ns s tot lit2 comme ctivit2 ment le et l m th2m tique intuitionniste elle&m8me tteint un nive u de comple4it2 tel que le !ecou!s u l n3 3e m th2m tique semble i!!2m2di ble. (ous ces 5 its 55 iblissent l conception b!ou?e!ienne d ns s pu!et2 id2 liste. + is, p ! cont!e, ils !en5o!cent l12cole intuitionniste d ns son ensemble en l mont! nt comme une 2cole s ch nt s1 d pte! et !2pond!e u4 p!oblmes !2els pos2s. . p !t de l1intuitionnisme qui pp ! It lA u p!emie! pl n est celle qui p!2conise un 5ondement sO! u discou!s m th2m tique et l12tude p!2cise des postul ts A dopte!. C1est d1 illeu!s p ! ce bi is que l1intuitionnisme est !econnu le plus souvent p ! les m th2m ticiens cl ssiques. .e deu4ime point que nous souli3ne!ons est le suiv nt G l1intuitionnisme !el tivise les concepts scienti7ques p ! ! ppo!t A l12t t de not!e conn iss nce qui, elle, d2pend de l12t t de l civilis tion qu1on consid!e. Il s1 3it donc de !el tivise! l science p ! ! ppo!t u soci l. + is il ne s1 3it p s de !end!e di!ectement compte de tel ! isonnement m th2m tique p ! tel 5 it soci l m is d1int!odui!e le soci l u nive u des concepts de b se. /insi, c1est un ce!t in 2t t soci l qui !elve de l1histoi!e des civilis tions qui e4plique l c!oy nce d ns l ! tion lit2 de ou d ns le c ! ct!e no!m ti5 de l lo3ique cl ssique. .e soci l n1 pp ! It d ns l1e4plic tion 2pist2molo3ique qu1 u delA du d2veloppement p!op!e des concepts. Il n1est p s c use de tel ou tel th2o!me m is de tel 2t t de l conn iss nce. ,t, cette infuence est !2cip!oque puisque pou! les intuitionnistes, l science et le monde c1est&A&di!e not!e conn iss nce du monde, se d2veloppent de conse!ve, se const!uisent ensemble, ne p!2e4istent ni l1un ni l1 ut!e A l1un ou l1 ut!e. .e soci l p!end s pl ce en sciences p !ce qu1il !efte un 2t t de l conn iss nce.

,n7n, si l1intuitionnisme pe!met de !end!e compte de l12volution de toutes les notions, il 74e s ns ppel celle de temps et celle de nomb!e. Si l1on peut, en ccept nt ce postul t, d2veloppe! A t! ve!s l const!uction des m th2m tiques une th2o!ie de l conn iss nce qui n1est p s n2cess i!ement d1 illeu!s le !efet e4 ct des pens2es de :!ou?e! et qui pe!met d12cl i!e! de nomb!eu4 p!oblmes, on peut 23 lement s1inte!!o3e! su! le bien 5ond2 de ce postul t su! lequel !epose enti!ement l1intuitionnisme. 0uoiqu1il en soit, on peut consid2!e! que si l1intuitionnisme n1 p s !2ussi s ns b vu!es A !econst!ui!e les m th2m tiques, l1 ppo!t qu1il eu n1en est p s moins !em !qu ble, ne se! it&ce que du 5 it de l1hostilit2 que s d2m !che !encont!2e d ns le milieu scienti7que. D1 illeu!s, si :!ou?e! pos it, u d2but du sicle, l m th2m tique intuitionniste comme seule v l ble, l1 cuit2 de cette 57!m tion s1est consid2! blement 2mouss2e A t! ve!s le temps et les disciples du s v nt holl nd is. (oute5ois, l1intuitionnisme !2cl me, et il nous semble que c1est en toute l23itimit2, le d!oit d18t!e consid2!2 comme une ut!e 5 6on de voi! l science et comme une lte!n tive A une conception pl tonicienne de l conn iss nce, qui ppo!t2 be ucoup et peut ce!t inement ouv!i! enco!e bien des ho!iCons.

:I:.I*ER/P-I, D,S *)TR/E,S CI(S :R*)S,R ..,.J. "#=$ *ve! de 3!ondsl 3en de! ?isQunde &(hse& /mste!d m "#'H "*n the Si3ni7 nce o5 the P!incipe o5 ,4cluded +iddle in + them tics, especi lly in 5unction (heo!y" &in V!om V!e3e to EPdel& @.v n -ei@enoo!t 9ed> "#D$ & C mb!id3e 9+ ss.>. "#;' "-isto!ic l : cQ3!ound, P!inciples nd +ethods o5 Intuitionism" &in South /5!ic n Jou!n l o5 Science nW<# & p."H#& "<D. -,X(INE /. "#;< ".o3ique et intuitionnisme" &in /ctes du ""me Con3!s inte!n. de lo3ique m th. & P !is & p.$;&%' "#D= "Rem !ques su! le const!uctivisme" &in .o3ique et /n lyse nWH & p."$$&"%'. (R*,.S(R/ /.S. "#D# P!inciples o5 Intuitionism & :e!lin

T n D/N(YIE D. "#<# "Comments on :!ou?e!1s (heo!em on ,ssenti lly Ne3 tive P!edic tes" & in Rpon. Ned. /Qd.Set. 9/mste!d m> & P!oc.Sect.Sc. nW ;' & p.#<#&#;$. S/TR, R. "#'< "X& &t&il une c!ise des m th2m tiques U" &in Revue de +2t physique et de +o! le nWH" & p.<H;&<$=.