TABLE DES MATIÈRES Volume1. Mode d`emploi
Contents
1. Se ida 35 3 1 8 G veil lucidit et apprentissage 36 1 L apprentissage du r ve lucide lui m me 36 2 Faux veils expectatives et extensions consistantes 37 3 19 el Eent 39 3 1 10 Bibliographie locale 44 3 2 Le paradoxe du graphe film ss 48 3 21 Introductiona illa adelaide iaia 48 3 2 2 Th ses de l identit ci ALA Ea EE ELE ees 49 3 2 3 Le principe du fonctionnalisme rappel 50 3 2 4 D mons contrefactuellement corrects 51 a le d mon m caniste 51 b le d mon non m caniste eseeeee neeite teretere rrrttrrtnntetestrnnrreeenne 51 3 2 5 D mons accidentellement corrects 51 a pi ces relativement d fectueuses ou absence de pi ces 51 b les heureux rayons cosmiques 52 3 2 6 Les principes de superv nience s sissseisrertitisttiertttttttsttrtrttrtrseerenen 53 a la supervenience phySsiQue 53 la supervenience computationnelle 54 55955 959 959 5 54 3 2 7 Le paradoxe du graphe film neseneieeeeeeseeeeeeenrtrrtnererertrtttererrertrrererenen 55 1 pr sentation de Macbeth 552. 12 3 1 4 L exp rience par la pens e de Descartes et Galouye 14 1D scartes dite RALE RARI Dee PER EU LES 14 a la reconnaissance de l erreur 14 le r ve et l ampleur possible de l erreur 15 c L exp rience par la pens e de Descartes 16 AR EE 16 a Simulacron 3 et la lucidit relative 16 b Vie intelligence et r alit artificielle 18 KE o LR A A ae 19 3 1 6 La conception du r ve chez les onirophysiologues contemporains 24 1 le sommeil paradoxal 24 2 e EE 25 3 Le corps et le cerveau vu comme un oeil g n ralis 27 4 Le principe de Dement et Roffwarg PDP AAA 29 5 Le temps du r ve l hypoth se du balayage visuel 29 6 Preuve exp rimentale de l existence de la lucidit 31 a Hearne Teberoe 5855 ee Di eg 31 b la perception du temps dans le r ve 32 l activit sexuelle 33 L EEG du chant et du comptage 33 7 La cons quence de PDR 54 54 559599595599 33 8 Tableau lt T SUM
3. 37 5 Th ories ensembles RE et le th or me de G del 38 2 1 13 Ensemble cr atif et le th or me de G del miniature de Post 40 2 1 14 G del et la th se de Church 43 2 1 15 Th se de Church intuitioniste et pist mique 43 2 1 16 Bibliographie locale v iui ah osier ennemies 45 2 2 Capacit et identit personnelles s esssseistsestittetttttt titte tt ttrt rttr ttet t ttt trarrt nrn tnrnrenenennt 50 2 2 4 Le Soket PUNVE S ioiii ea arn a ee a paa E raaa 50 1 l existence d une machine universelle 51 2 l existence d une machine param trisatrice 52 2 2 2 Capacit personnelle sisi 54 2 2 3 L amibe l identit personnelle et le probl me de Descartes 56 2 2 4 La machine miroir ii 59 2 2 5 La planaire et le probl me de Driesch 60 1 Th or me de Case 60 2 la planaire l mentaire 61 3 construction de cellules moins redondamtes 65 49 Planalre Nfe E areata 67 2 2 6 Applications TIvpioues oriens anga a a E E aE eir iari eit 68 1 simple r cursion et r cursion anonyme 68 2 le th or me du point Tse 69 3 une co
4. 68 2 le th or me du point Tse 69 3 une cons quence fondamentale de 2 REC th or me de Rice 70 Ke Belge dee Et Te EE 71 5 Le castor occup BB buzy beaver 74 6 l insolubilit du probl me de l arr t d une machine 75 2 2 7 Machines introspectives 75 APE SOIUUON EE 75 Re Le 77 REEL E 79 2 2 8 Machines autor f rentiellement correctes 80 1 Le premier th or me d incompl tude G del 1931 83 2 Th r me 600 00 1 1 i 65 3 M refl te le modus ponens 954490 85 4 Enonc s de Henkin et machine de L b 85 5 le virus Hofstadter 1979 Solovay 1985 89 6 Les machines de Rogers 1967 89 2 2 9 COmplexit Fi Wi ent ir Eege sem A me te fera beta que 90 1 Mesure de complexit de Blum 91 2 Th or me de Rabin 93 3 Quelques notions et th or mes suppl mentaireS enn 95 gt Les Sauts de Borodi siie apena iaia 95 Th or me d acc l ration de Blum 96 Blum et Marquez 1973 98 2 2 10 La th se de Church suite et le m canisme 44 54 554959999 5599 99 1 Remarque sur l identit Leibni
5. 131 8 1196819838 ment dr arr ae send 134 9 Slezak 1982 Gunderson 1970 137 10 Whiteley cit par Hofstadter 1979 138 ag UE 138 12 R sum de ege dE SEENEN EE EES 140 elle e EE 141 23 2 Le connaissable reira nent de 145 2141 7 1 11 16 85 2 859 ae e Eeer 145 1 G del 1933 McKinsey et Tarski 1948 Grzegorczyk 1964 145 2 Kaplan et Montague 1960 Thomason 1980 148 3 L cole intensionnelle ou pist mique Myhill 1960 1985 Shapiro 1985 Reinhardt 1985 1986 et Goodman 1985 1987 AO RE Rel E a 150 4 L arithm tique pist mique EA 153 5 Analyse de la refutation de Lucas 159 6 Refutation de Lucas et paradoxe de la duplication 164 Kee Clees LIA 165 Biblio locale EA oinline 166 2 8 3 Le th or me de G del et la logique modale 169 1 feras nn des nd mme aa ER 169 1 le morphisme de Magari Boolos et G 169 2 S mantique de Kripke de Gi 174 3 La preuve de Solovay i 177 4 un cadeau inattendu GT 181 5 Le th or me du point fixe 163 6 E
6. 71 filtre brut pour les petits programmes 71 boucles ge n ratives 458 eaa ESen ii 72 Licia 73 4 4 2 DU dovetelleur universel 79 bijection entre et o3 NEXT TRIPLE 19 2 91 79 E EMT he se ne re tt land tes ano i lrn tao 79 next m moire programme donn e 83 un dovetelleur universel DU 85 gt 101711161 eng OR ii aerea 67 4 5 VIOLATION DES INEGALITES DE BELL amp LOGIQUE QUANTIQUE 91 Violation des in galit s de Bell 91 Principes de Base ilo Ae 91 D monstration des in galit s de Bell sous une forme due 880 81 pisa till tee Deal 91 Violations exp rimentales des in galit s de Bell 92 B Logique E Lull UE 94 La relation bool enne 94 Bibliographie locale ori rie aio ate iaia 96 4 6 LA TH SE DARIEMOY ee Eege ett eg 97 Extrait de Artemov PE aaa dat EEN 97 BIBLIOGRAPHIE G N RALE CONTENU Volume 1 Table des mati res Introduction R capitulation en 21 points 2 formules et 1 tableau Synth se des morphismes 1 LE M CANISME INDEXICAL 1 1 Philosophies m caniste 1 2 Th ologie et modalit 1 3 Quel effet cela fait il d tre une machine Volume 2 2 LE MECANISME DIGITAL
7. Aaron 34 8 41 7 lusion ou tromperie sie nee 35 3 1 8 G veil lucidit et apprentissage 36 1 L apprentissage du r ve lucide lui m me 555 53 5555555 559559 36 2 Faux veils expectatives et extensions consistantes 37 3 1 9 Transcendance EE 39 Bibliographie locales rte ne A EE Aria 44 3 2 Le paradoxe du graphe film ss 48 32231 ilntroduetioni gica aaa ad tn Meet AE An ee 48 3 2 2 Theses de l identit amenant 49 3 2 3 Le principe du fonctionnalisme rappel 50 3 2 4 D mons contrefactuellement corrects 51 a le d mon m caniste 51 le d mon non m caniste 51 3 2 5 D mons accidentellement corrects 51 a pi ces relativement d fectueuses ou absence de pi ces 51 b les heureux rayons CosmiQues 52 3 2 6 Les principes de superv nience 53 a la superv nience physique s esseseseesterererertristerertrtrtrrsrertrrnerent 53 la superv nience computationnelle 54 55555959 9599 54 3 2 7 Le paradoxe du graphe film neeneiseeeeeeeeierenrtrrreererertrtrttrerernrtrrsrereren 55 1 pr sentation
8. 54 54 554 55959959 5599 70 initialisation 1 deux atomes 71 initialisation 2 petits programmes LIP 71 filtre brut pour les petits programmes 71 boucles ge n ratives 72 X CUUON EEE 73 4 4 2 DU dovetelleur universel 79 bijection entre et o3 NEXT TRIPLE 19 2 91 79 UE Ee 79 next m moire programme donn e 83 un dovetelleur universel DU 85 e EE 67 4 5 VIOLATION DES INEGALITES DE BELL amp LOGIQUE QUANTIQUE 91 Violation des in galit s de Bell 91 Principes d BaSe eebe EE ENEE RENE RARES RES 91 D monstration des in galit s de Bell sous une forme due e Se Ee LEE EN Violations exp rimentales des in galit s de Bell 92 B Logique E Lull UE 94 Lia relation bool enne anta 94 Bibliographie locale ci cir a lai urine Si perio lai merite 96 4 6 LA TH SE D ARTEMOV ice 97 Extrait de Artemov OOO ei Stade 97 BIBLIOGRAPHIE G N RALE 98
9. Extensions et raffinements de G et G 184 7 G Gr LWV et le translateur S 185 8 Livres et Histoire i 186 HEN R SUM dE 2 33 rm 8 users ben re Mets a Qeen 186 biblio ee 168 2 3 4 Le stratag me en arithm tique 190 EI EE 190 1 Motivation pour le stratag me 190 a le r ve et la r alit 190 G del 1933 et Lucas 1961 191 2 Le morphisme de Boolos Goldblatt Kusnetsov amp Muravitsky 194 3 Interpr tation arithm tique et la formule de Grzegorczyk 196 4 Le morphisme arithm tique de Boolos Goldblatt 196 5 Le morphisme de G del Grzegorczyk Goldblatt G33 197 6 Sch mas modaux DureS 199 7 Eaiconslstanee i Na matter degree 200 8 La reconstruction BCR revisit e 202 9 S mantique de Kripke de Grz 203 10 Myhill Goodman 1985 208 11 Le stratag me affaibli 209 12 215 13 R sum de EE 217 ll lte We 218 2 3 5 L inf rable intelligence artificielle th orique 221 Bri vement
10. 131 8 Webb 1968 19830LO 0 OO 1 134 9 Slezak 1982 Gunderson 1970 137 10 Whiteley cit par Hofstadter 1979 138 bag UA 138 12 Res mee 622 Eegeregie EES een e 140 biblio locale salari e e Aaa 141 2 92 Le Connaissabl soia aiar 145 Brievement talia EE 145 1 G del 1933 McKinsey et Tarski 1948 Grzegorczyk 1964 145 2 Kaplan et Montague 1960 Thomason 1980 148 3 L cole intensionnelle ou pist mique Myhill 1960 1985 Shapiro 1985 Reinhardt 1985 1986 et Goodman 1985 1987 O DEE 150 4 L arithm tique pist mique EA 153 5 Analyse de la r futation de Lucas 159 6 Refutation de Lucas et paradoxe de la duplication 164 PY R SUM EE 165 biblio locales amuse ns rss nee Rene ete UT 166 2 3 3 Le th or me de G del et la logique modale 44 54 55555959 055 5 5 169 Bri vement minar Ee 169 1 le morphisme de Magari Boolos et OO 169 2 S mantique de Kripke de Gi 174 3 La preuve de Solovay s sisneseieieeeieeerrrerertnnertrtreresnererrer tene 177 4 un cadeau inattendu Ge 181 5 Le th or me du point fixe eet ertenerr rere restererreerenne 183 6
11. 2 L identification de base entre machine et syst me formel 100 3 La th se de Church et le m canisme 103 2 2 11 Machine de Myhill machines variables et machines splittantes 105 2 2 12 Au sujet de quelques tentatives pour r futer la th se de Church et l apparition de propositions absolument ind cidables 106 2 2 13 constructif non constructif 108 2 2 14 La consistance de la th se de Church intuitioniste 109 E ee EE 112 2 2 16 bibliographie locale ie ena aiar 113 2 3 Des lois m canistes de l esprit anaieeeeeneienerieertttettrt ttt tttstetttttttestntnttrtesusrenttrneseenen 117 RESUME DE TOUT 2 3 eii 117 2 3 1 Le th or me de G del et le m canisme 120 101 1171 18195 55 D rie Ses ERA ED 120 12 Post 1921 T941 1965 pei ine ea 121 2 Turing 1936 1939 1948 1950 123 3 Popper lu en 1948 publi en 1950 124 4 G del 1951 ciale rte tan lario 125 5 Nagel et Newman 1958 127 Critique de Putnam 1960 127 Critique de Arbib 1964 127 6 Lucas 1959 paru en 61 et Priest 1987 128 7 Benacerraf 1967 Lucas Satan Stultified
12. 2 1 Th ses de Church Post Turing 2 2 Capacit et identit personnelles 2 3 Des lois m canistes de l esprit Volume 3 3 VERS UNE FORMULATION ARITHM TIQUE DU PROBL ME DU CORPS ET DE L ESPRIT 3 1 Le cerveau le r ve et la r alit 3 2 Le paradoxe du graphe film 3 3 Le paradoxe du dovetelleur universel Volume 4 4 ANNEXES 4 1 D LISP amp D DOVE 4 2 D monstrateurs de th or mes propositionnels pour 3 G S4Grz IL KD KD 4 3 Annexe r ves lucides et pr lucides 4 4 Annexe GEN amp DU 4 5 violation des in galit s de Bell et logique quantique 4 6 La th se d Artemov Bibliographie g n rale TABLE DES MATI RES LE M CANISME INDEXICAL 1 1 Philosophies m canistes sise 2 1 1 1 Diff rentes sortes de M canismes 2 1 1 2 Philosophie m caniste bref historique 4 1 1 8 Qu est ce qu une machine 7 6 1 1 4 Les motivations qui viennent de la biologie 7 1 Le probl me de Descartes neneneeeeeeeneeeeeritetettetertrt terestre rrnnrenne 8 2 Le probl me de Driesch 8 1 1 5 Le doute qui vient de la chmie 9 1 1 6 Niveaux d explications et ind pendance a priori 17 12 Un Get 6rdinateur se sursis ares se Age 17 2 Niveaux d ind pendances d explications 24 3 Incarnation du graphe bool en 54 54 4599995999599 25 1 1 7 Beh
13. 4 Liste de th or mes 37 5 Th ories ensembles RE et le th or me de G del 38 2 1 13 Ensemble cr atif et le th or me de G del miniature de Post 40 2 1 14 G del et la th se de Church 43 2 1 15 Th se de Church intuitioniste et pist mique 43 2 1 16 Bibliographie locales e eda raran AR nn dE rendent een 45 2 2 Capacit et identit personnelles eseeeiteeeteetetertttttttsttrttttttrstnttttetrsrtnettrrteerenenrnt 50 2 21 L Sol etl UNIVErS tieni 50 1 l existence d une machine universelle 51 2 l existence d une machine param trisatrice 52 2 2 2 Capacit personnelle ii 54 2 2 3 L amibe l identit personnelle et le probl me de Descartes 56 2 24 Lamachine Miroir seios Rens rendant iii 59 2 2 5 La planaire et le probl me de Driesch 60 1 Th or me de Case 60 2 la planaire l mentaire 61 3 construction de cellules moins redondantes 65 RENE En Un EE 67 2 26 Applications ENKEN AE e ENT 68 1 simple r cursion et r cursion anonyme
14. a Je mat riels ee Sr ia seria aa 55 b logiciel rinman r aaa 58 2 premi re exvp tlence 59 3 deuxi me exp rience 5 5548555955 49440 4 59 4 troisi me exp rience tiee tesrttrttsrtrtrtttttnnersrerrtrnenre nen 61 5 CONClUSION deet e E E SEA MN em 62 3 2 8 Comparaison avec Maudlin 1989 63 LA QE UE EE 64 1 55 5 585554 fargli done a 66 d LEE eiert Ee 67 W s E 69 3 2 9 Macbeth interpr te Olympia 70 32 Lafe eler EL In EEN 74 Bibliographie locale LE 77 3 3 Le paradoxe du dovetelleur universelle 78 EE E E 78 3 3 1 Le probl me du corps et de l esprit 78 3 3 2 Ontologie rasoirs d Occam et ph nom nologie 544 554955 959 9599 60 3 3 3 Philosophies de l esprit et dualit s uneneneeseereeeenerererertriererrerrrrnrerernn 81 a La dualit Mat rialisme Immat rialisme nnnnnnnnnenennnen nenen enneren nnne 81 b La dualit R alisme Solipsisme 63 c La dualit Monisme Dualisme o eseseieeeeeeeeeeeeeener rr rnrrerererrer reenn 84 3 3 4 Formulation g n rale du probl me du corps et de l esprit 85 3 3 5 Le plongement int gral du sujet dans l objet PISO 86 3 3 6 Le PIS
15. 1 4 1 10 Fission amp fusion projet 4 544 5 4545495499494 4 4 4 23 4511 Anonymisationi i alga al Dual 23 41 12 DiverseS roUtines ss sis See dote ann genee 29 4 1 13 Bibliographie locale 3 c e Ne H 29 4 2 DEMONSTRATEURS DE THEOREMES POUR G G S4Grz IL KD 07 30 4 2 1 partie propositionnelle ss 30 4 2 2 partie modale einer orta rai ai 34 4 2 3 3 32 54 2 2 IL KD KDE 37 4 24 e TEE 39 43 R VES LUCIDES ET PR LUCIDES ii 46 481 Introductions trame Me rente see metro te are 46 4 3 2 ype e EE 47 r ve pisode lucide 47 r ve pisode pr lucide neseeseeeeseeeeteriteristtrertrrttetsntrtttretrsrcnennna 47 r ve pisode Contra Jucde 47 EI EE 47 Ster Maury nee ebe nol 47 4 3 3 1 re p riode mai 1976 ao t 1991 48 4 3 4 2 me p riode ao t 1991 janvier 1992 56 4 3 5 3 me p riode mars 1992 gt ao t 1992 58 4 3 6 Le statut de l autre dans le r ve lucide 66 bibliographie locale p inustarena ee tr Rte 69 AGEN DU SELLER 70 4 4 1 GEN G n rateur programmes et donn es 70 bijection entre et LISTE NEXT 54
16. 9 3 3 20 Le miracle de G del et le miracle d Einstein 132 3 32 RE MES ebe en ame Eet Ee AE 134 ele lee ele IN ER EEN 134 Vol NN 1 4D BE RT 3 4 4 1 INtrOAUCHioni ans iso lai ao ARS 3 4 1 2 Davis 56 ou Davis 57 7 4 4 1 3 Identification des nombres et des programmes 4 4 1 4 S mantique de base LISP 555554 5 5555455 5555449959955 5 a Conditionnelle LISP tt restenerrnetrnnenennne 7 b Une machine universelle pour LISP A PPLY 7 c Construction iterative LISP 8 d La conditionnelle it rative JIP 6 6 5 6 9 19 eege 6 4 1 5 S mantique de base d DONVEN 10 a Conditionnelle DOVE us 10 Une machine universelle pour DOVE A PPLY 11 c Construction Iterative D DOVE 5 555 55555955555955 55 11 d Conditionnelle it rative D DOVE 5 5553 55 5555905555 12 er Utilitaire D lt DOVE annees M AE 12 4 1 6 Gestion des erreurs 13 4 1 7 Boucles de haut niveau INIS amp ITS 13 8 998 91111 11 10112 1 rel eee iii 21 WER le EE 21 4 1 10 Fission amp fusion proje 23 44 14 ANONVMISANON A sara IR Mae Dune RE ane ee 23 4i t2 Dive
17. O rihm tiQue ebe gedet gege dE alia ele st 90 a Le m canisme indexical fait de la personne ou du sujet un tre immat riels EE EN b Le m canisme digital fait de la personne ou du sujet un nombre naturel variable ou un nuage de nombres naturels 92 Engagement ontologique a1s csarerresrrirrrnrernntnrarurranrencrarnnnranranaenenna 93 R le de PGF l immat rialit du sujet doit tre tendue aux environnement voisins possibles 93 3 3 8 Br ve formulation de PDU issus 96 3 3 916 PISO quantique ici 97 3 3 10 Le dovetelleur universel d tail 99 Description de DU isesi AA EENS EE dre 100 Eer E Dee de eege nn ee tea lames SE 103 Visions Statiques d DI SE etes 105 3 3 11 Le paradoxe du dovetelleur universel 105 3 3 12 Comment chasser le lapin blanc 7 107 3 3 13 PDU permet il de r futer l hypoth se m caniste 7 109 3 3 14 A quoi pourrait ressembler une solution de PDU 7 110 3 3 15 La solution quantique 115 3 3 16 Une ph nom nologie arithm tique de la mati re n nnnenennstnnennrrrrerer rrene 122 3 3 18 Une interpr tation arithm tique des croyances quantiques 127 3 3 19 Encore des remarques s mantiques 12
18. TABLE DES MATI RES Volume 1196120191 11416 6 EE xvi R capitulation en 21 points 2 formules et 1 tableau xvii R capitulation en 21 points xvii 1 Le m canisme Indexvical 54 5454 4549946964 xvii 2 Le m canisme digital pitti ia eee DEA i ii XX 3 Vers une formulation arithm tique du probl me du corps et de l esprit XXX Deux iformules dic Lia A ERI nu Een A no xl Tabla e olio a A ONE xli R sum des morphismes avec les syst mes et les th or mes LE M CANISME INDEXIGAL alia E 1 1 1 Philosophies m canistes a E 2 1 1 1 Diff rentes sortes de M canismes 2 1 1 2 Philosophie m caniste bref historique 4 1 1 8 Qu est ce qu une machine 7 6 1 1 4 Les motivations qui viennent de la biologie 7 1 Le probl me de Descartes neneseeeeeeeeeeeenere tete etetrerr te resnererr nenene 8 2 Le probl me de Driesch 8 1 1 5 Le doute qui vient de la chimie s 9 1 1 6 Niveaux d explications et ind pendance a priori 17 1 Un p tit ordinateur ssts tira NEE RRE ERNEIEREN 17 2 Niveaux d ind pendances d explications 24 3 Incarnation du graphe bool en 54 54 5955999 9599 25 1 1 7 Beh
19. aviorisme fonctionnalisme et M CANISME s seesuessrreerrrrerrrrrrrrrrirerrrnn 27 1 Behaviorisme earher RO ne PA ee 27 2 6 386 1119 1 14101 11 14 1 28 1 1 6 Bibliographie locale sin i ipin anani dee n a ae aE aii 31 1 2 Th ologie et modalit sise 36 CH Wgl EE 36 1 222 L logique modale mee paei aiar dia PA 38 TY SN LUE D i ri 38 2 La s mantique de Kripke 39 3 Th orie formelle gt gt reset sienne tam 48 4 Savoir Croire et le stratag me 52 CR t Ee 56 1 2 8 Une th orie de la conscience 59 ka WR AE 60 2 Principes quationnels 66 3 Recherche d une solution 66 4 S mantique de kripke ie 68 5 Relation entre r f rentiels id als et r f rentiels r alistes 72 6 Ce qu on peut attendre d une th orie de la conscience 74 Tee A ETEO T T OAE EEEE ii ilaria be en 75 1 2 5 Bibliographie locale seine ARIA e RAT it 76 1 3 Quel effet cela fait il d tre une machine 7 81 STIntfoduGOTE EE 81 le paradoxe de monsieur D ave
20. aviorisme fonctionnalisme et m canisme 27 T Behaviors ME a a 1 27 2 Le fonctionnali sme ei ia 28 1 1 8 Bibliographie locale 31 1 2 Th ologie et modalit sise 36 ECG MR e UE 36 1 2 2 La 091 6 81008196 s A iaaa 38 a RS LUE EE 38 2 La s mantique de Kripke s eseneneesneeeseeeerrettrrsntnrtrrttrnsnrrrnrreeenne 39 3 Th orie formelle etti 48 4 Savoir Croire et le stratag me lt 52 6 drolt et JUStIC it siii a enee ra inae dE ENEE 1 2 3 Une th orie de la conscience TITRES East mt ere ares 3 Principes quationnels 3 Recherche d une solution 4 S mantique de Kripke 5 Relation entre r f rentiels id als et r f rentiels r alisteS 72 6 Ce qu on peut attendre d une th orie de la conscience 74 ECH E RESUME EE EEN 75 1 2 5 Biblio 106816 5 4 5 ali tn pee ane 76 1 3 Quel effet cela fait il d tre une machine 7 81 3 1 IntroductlOn 49 5 55 5 sine etes n aliena een H 81 le paradoxe de monsieu
21. c son m decin antimecaniste 82 1 3 2 Suite d exp riences par la pens e 87 1 La translation Simple anna freiner th 89 2 La duplication sans annihilation ou translation duplicative asym trique Seege den BEE AA and Re 90 3 La translation duplicative sym trique ou duplication avec annihilation Marchal 88 91 91 4 Translation duplicative it r e sym trique 94 5 Translation duplicative it r e non sym trique sans annihilation eira a i a nes enr ee ee a ES 96 6 Duplications postpos es ou translations duplicatives hyper asym triques Marchal 91 97 7 annihilation postpos e ou translation duplicative avec annihilation retard e de l original 99 1 3 3 Analyse modale g om trique d abord linguistique ensuite 100 1 3 4 Quel effet cela fait il d tre une machine dans un univers quantique 104 1 L ind terminisme quantique est un cas particulier de l ind terminisme abrupte m caniste 104 2 Le prix des annihilations absolues et presque absolues 106 3 L ordinateur avec l instruction KILL THE USER 107 4 Confirmation non ironique de l interpr tation d Everett 108 5 Le r le
22. de Macbeth 55 a le mat riels e inner 55 el Mee e CEET 58 2 premi re exp rience 59 3 deuxi me exp rience 5 58 445558 55 99446 4 59 4 troisi me exp rience ttt ttttisttrttttrnterentnttrnenee nen 61 5 Conclusioni ripe nitrate en EN 62 3 2 8 Comparaison avec Maudlin 1989 63 15 AUS CE EE 64 25 Proto OlYMPIAz Er a NIRO RARI de desert es 66 4 7 0182 aa a Eh RA ed 67 5A GORCIUSION aio ana nant 69 3 2 9 Macbeth interpr te Olympia 70 3 2 10 Conclision cine E donnee dents 74 Bibliographie locale nn 77 3 3 Le paradoxe du dovetelleur universel 78 Bri vement iii aa e ve 78 3 3 1 Le probl me du corps et de l esprit 78 3 3 2 Ontologie rasoirs d Occam et ph nom nologie 80 3 3 3 Philosophies de l esprit et dualit s neneneiseeeeeneeererertreriererrerrrrererennn 81 a La dualit Mat rialisme Immat rialisme onnnnnnnenennnnene ennenen rennene 81 b La dualit R alisme Solipsisme 4 63 c La dualit Monisme Dualisme eseneeeneeeeeeeeeeeenerrr eerren nrerrrnrrerene 84 3 3 4 Formulation g n rale du probl me du c
23. e edicere rr etteerirrrerenereerererenee 256 7 La machine de moins en moins idiotique 257 8 La logique de l auto inf rence correcte 258 9 Sommes nous tomb s dans le pi ge de Wittgenstein 261 10 Le solipsiste muet 262 11 La s mantique de Boolos pour G 265 12 Des r les de la conscience 54 5454 55999999955 267 13 Le paradoxe de Skolem et la question une machine peut elle Concevoir linfini Piso ciare der 271 14 Morale th ologie et th orie de l intelligence 276 15 La d couverte du math maticien par le math maticien 281 16 Perspectives s mantiques 54 5454 559999999659 282 17 Probabilit et logique modale eseieeeeeeeenererrerernerererererrnrereren 285 18 Informatique du dehors et informatique du dedans 287 19 R sum de 2 3 6 et derni res remarques 290 ll Uer 290 Volume 3 VERS UNE FORMULATION ARITHM TIQUE DU PROBL ME DU CORPS ET DE L ESPRIT 1 3 1 Le cerveau le r ve et la r alit i 3 3 1 1 Le r ve et la reproduction RL 3 3 1 2 L a conception du r ve chez Malcolm 6 3 1 3 Le r ve lucide de Descartes eneisie
24. en moins idiotique 257 8 La logique de l auto inf rence correcte 258 9 Sommes nous tomb s dans le pi ge de Wittgenstein 261 10 Le solipsiste muet 262 11 La s mantique de Boolos pour G 265 12 Des r les de la conscience 5454 55999999955 267 13 Le paradoxe de Skolem et la question une machine peut elle coneeVvoirlinfn PL 271 14 Morale th ologie et th orie de l intelligence 276 15 La d couverte du math maticien par le math maticien 281 16 Perspectives s mantiques 282 17 Probabilit et logique modale 285 18 Informatique du dehors et informatique du dedans 287 19 R sum de 2 3 6 et derni res remarques 290 Diblo Wl e ie A tile tn Piment er ini 290 TABLE DES MATI RES VERS UNE FORMULATION ARITHM TIQUE DU PROBL ME DU CORPS ET DE L ESPRIT 3 liLe Gerveau le r ve set la realer filetage Li Musso dant DEE 3 3 1 1 Le r ve et la reproduction 3 3 1 2 La conception du r ve chez Malcolm sessssesesessrererririrrsrertrtrirrsrertrerrernne 6 3 1 3 Le r ve lucide de Descartes
25. ion d Everett 108 6 Peut on croire l interpr tation d Everett 109 1 3 1 3 5 Conclusion 6 bibliographie locale TABLE DES MATI RES LE M CANISME DIGITAL 2 1 Th ses de Church Post Turing ss 3 2 11 aielo Uee a EAE TEE E E LALA AA Beggen de A 3 2 1 2 Machines digitales nombres et fonctions 4 2 1 3 Beaucoup d histoires pour une machine universelle 6 2 1 4 La peur de la mort et l infihi ainei aep aaeain ri kaTa 8 2 1 5 Les math maticiens et l infini 9 0800 6 ss an eee nier Mn ne nb ee 9 Canto ali LA al ER SA 11 Les ordina Re ERE CS E RETE RER BED 12 Les CardimMaUuXx iii reina ia See Es 16 2 1 6 La preuve de Cantor est elle convaincante 7 18 2 1 7 Les inspirations religieuses de Cantor et Brouwer 24 2 1 8 Un raccourci vers la th se de Church en passant par Pythagore 26 2 1 9 Kleene s Overnight ss 29 2 1 10 Les fonctions partielles calculables la th se de Church 32 2 1 11 La machine universelle 34 2 1 12 Arguments en faveur de la th se de Church 36 1 L immunit contre les arguments dagonaus 36 2 L chec des r futations 36 3 La motivation empirique de base 37
26. mMment 2 deeg ta arie ic inc Er vasi 221 ag Blut Tele EE 221 2 Machines extrapolantes et relation d ordre d intelligence 223 3 la diagonale de Putnam ss 225 4 Machines identifiantes Gold 1967 227 5 R futation de Putnam 8458 95959 959 9 9 234 6 La puissance de la machine silencieuse 234 7 Case et Smith ou la conqu te du Graal 237 8 Changements d avis 241 9 Non union et r seau bifurquant 242 10 Pluralisme et probabilisme 243 11 quelques conjectures 4 43 45499499 9946 9 9 245 129 Autres r sultats ciali 246 13 6501 EE 246 Biblio locale rss ee dre no ee TR SRE te 247 2 3 6 La philosophie des machines dans les voisinages de 250 II 250 EI EE 250 lee ele EE 250 1 G terd OS 251 2 Conscience et consistance de soi et de l autre 252 3 Conscience et Intellgence 253 4 Machines SocratiQues 55 55555959 95 9 9 9 253 5 Machines presque Socratiques i 256 6 Sagesse idiotique 0 0e0eoeeeeen eiee
27. nces quantiques 127 3 3 19 Encore des remarques s mantiQues 129 3 3 20 Le miracle de G del et le miracle d Einstein 132 SEENEN a 134 Bibliographie locale its tere EN D s ge Aerei art ip 134 TABLE DES MATI RES ANNEXES 451 BE RE 3 Ali Wl tee Tee IER 3 41 2 Davis 56 00 DAVIS 57 Plata a RI ani Srna 4 4 1 3 Identification des nombres et des programmes 4 4 1 4 S mantique de base LI 5 a Conditionnelle JIP 7 Une machine universelle pour LISP A PPLY 7 c Construction iterative LIP 8 d La conditionnelle it rative D LISP 54 55555959959959559 5 8 Utilitaires DELISP Sr d eeh ee A Gi Aia 8 4 1 5 S mantique de base D DOVE 10 a Conditionnelle d DONE ss 10 Une machine universelle pour DOVE A PPLY 11 c Construction lterative D DOVE 44 54 54 55959959 5599 11 d Conditionnelle it rative DOVE 12 e Utilitaire ito 12 4 1 6 Gestion des errer 13 4 1 7 Boucles de haut niveau INIS STTei 4 4 4 4444954994969964 5 13 4 1 5 a null Eu E E 21 4 1 9 Applications S amp Aria a 2
28. neiseeeiristtttttetrtttrtttttteerrentteneeeeren 12 3 1 4 L exp rience par la pens e de Descartes et Galouye 14 1 Descartes e Lr alan 14 a la reconnaissance de l erreur 14 le r ve et l ampleur possible de l erreur 15 c L exp rience par la pens e de Descartes 16 Ka WEE Ce EEN 16 a Simulacron 3 et la lucidit relative 16 b Vie intelligence et r alit artificielle 18 DE te WEE 19 3 1 6 La conception du r ve chez les onirophysiologues contemporains 24 1 le sommeil paradoxal 24 2 Le CerVeau DL 25 3 Le corps et le cerveau vu comme un oeil g n ralis 27 4 Le principe de Dement et Roffwarg PDP 29 5 Le temps du r ve l hypoth se du balayage visuel 29 6 Preuve exp rimentale de l existence de la lucidit 31 ah Hearne L berge gen geen ess dE Eege 31 b la perception du temps dans le r ve 32 l activit sexuelle 33 L EEG du chant et du comptage 33 7 La cons quence de PDR 33 0 Tableau lt r SUM eet Seege ES 34 7
29. ns quence fondamentale de 2 REC th or me de Rice 70 4 ordinaux COnstructifS aan 71 5 Le castor occup BB buzy beaver 74 6 l insolubilit du probl me de l arr t d une machine 75 2 2 7 Machines introspectives 75 Eege E NEE 75 2 SOIUION2 ere Ae eg eege ita a ege 77 GC Tele Zeie ae S dE Reen 79 2 2 8 Machines autor f rentiellement correctes 80 1 Le premier th or me d incompl tude G del 1931 83 2 Th or me de Tarski creiere 85 3 M refl te le modus ponens 85 4 Enonc s de Henkin et machine de L b 85 5 le virus Hofstadter 1979 Solovay 1985 89 6 Les machines de Rogers 1967 89 2 2 9 Comple xite Fi Wi ere nis eae ARIA Ria 90 1 Mesure de complexit de Blum 1 2 Th or me de Palm 93 3 Quelques notions et th or mes suppl mentaireS 95 Les 58 15 de Borodin urna 95 Th or me d acc l ration de Blum 96 Blum et Marquez 1973 98 2 2 10 La th se de Church suite et le m canisme 54 54 55955 999 9599 99 1 Remarque sur l identit Leibnitzienne et l identit personnelle 99
30. ora I een tone das dr eus ee 221 bg tte e le 221 Machines extrapolantes et relation d ordre d intelligence 223 3 la diagonale de Putmam 5 555556 225 4 Machines identifiantes Gold 1967 227 5 R futation de Putnam s aeaa aae aa i N E a 234 6 La puissance de la machine silencieuse 234 7 Case et Smith ou la conqu te du Graal 237 8 Changements d avis 241 9 Non union et r seau bifurquant 242 10 Pluralisme et probabilisme 243 11 quelques conjectures 245 129 Autres r sultats sde ioeie sias ea eina aeae ia saiae 246 13 H sdme de 3 9 55 58 Aa Te 246 BIBIO 8116 19 112 5959 ent nn tal near 247 2 3 6 La philosophie des machines dans les voisinages de 250 SE 250 EE LEE 250 M thodologie citrina 250 a CI Os 251 2 Conscience et consistance de soi et de l autre 252 3 Conscience et Intellgence 253 4 Machines Socratiques 253 5 Machines presque Socratiques 5 55 555 555559 256 6 Kee Ee He le TEE 256 7 La machine de moins
31. orps et de l esprit 85 3 3 5 Le plongement int gral du sujet dans l objet Pic 86 3 3 6 Le PISO arithm tique 90 a Le m canisme indexical fait de la personne ou du sujet un tre immat riel asss mee netese A ian aE tete 91 b Le m canisme digital fait de la personne ou du sujet un nombre naturel variable ou un nuage de nombres naturels 92 Engagement ontologooue 93 R le de PGF l immat rialit du sujet doit tre tendue aux environnement voisins possibles 93 3 3 6 Br ve formulation de PDU sise 96 3 3 9 L PISO qu Ntique ss tendre ennui om gr 97 3 3 10 Le dovetelleur universel d tail 99 Description de D Seege EE ana ee 100 Execution rod hill e manne Mine ini Soia 103 Visions statiques de DU 105 3 3 11 Le paradoxe du dovetelleur universel 105 3 3 12 Comment chasser le lapin blanc 107 3 3 13 PDU permet il de r futer l hypoth se m caniste 7 109 3 3 14 A quoi pourrait ressembler une solution de PDU 7 110 3 3 15 La solution quantique 3 44 45 049545999694 8 115 3 3 16 Une ph nom nologie arithm tique de la mati re nnnenennseenennrrererer renne 122 3 3 18 Une interpr tation arithm tique des croya
32. p dagogique de l interpr tation d Everett 108 6 Peut on croire l interpr tation d Everett 109 1 3 2 10 1 19101 nn EEN 109 1 3 6 bibliographie locale 110 Volume 2 LE M CANISME DIGITALEN 1 2 1 Th ses de Church Post Turing iaia acari 3 2 1 1 Introduction issues ia iaia 3 2 1 2 Machines digitales nombres et fonctions 4 2 1 3 Beaucoup d histoires pour une machine universelle 6 2 1 4 La peur de la mort et l infini 8 2 1 5 Les math maticiens et l infini 9 Introduction dek d SEET d e dat de etant ioni 9 19 11 Les ordinaUda is 12 Les CardinaUX gal e ele dt 16 2 1 6 La preuve de Cantor est elle convaincante 7 18 2 1 7 Les inspirations religieuses de Cantor et Brouwer 24 2 1 8 Un raccourci vers la th se de Church en passant par Pythagore 26 2 1 9 Kleene s Overnight 29 2 1 10 Les fonctions partielles calculables la th se de Church 32 2 1 11 La machine universelle 34 2 1 12 Arguments en faveur de la th se de Church 36 1 L immunit contre les arguments dagonaus 36 2 L chec des r futations 36 3 La motivation empirique de base 37 4 Liste de theoremes
33. r D avec son m decin antim caniste 82 1 3 2 Suite d exp riences par la pens e 87 1 La translation sIMPle i ip siciliane iii arie ai la Rida ali ini 89 2 La duplication sans annihilation ou translation duplicative Ee EE 90 3 La translation duplicative sym trique ou duplication avec annihilation Marchal 88 91 91 4 Translation duplicative it r e sym trique 94 5 Translation duplicative it r e non sym trique sans Hl e EE 96 6 Duplications postpos es ou translations duplicatives hyper asym triques Marchal 91 97 7 annihilation postpos e ou translation duplicative avec annihilation retard e de l original neeeeeneeeeeeeeeeienererreereerererrrereerne 99 1 3 3 Analyse modale g om trique d abord linguistique ensuite 100 1 3 4 Quel effet cela fait il d tre une machine dans un univers quantique 7 104 1 L ind terminisme quantique est un cas particulier de l ind terminisme abrupte m caniste 104 2 Le prix des annihilations absolues et presque absolues 106 L ordinateur avec l instruction 1 1 5 107 4 Confirmation non ironique de l interpr tation d Everett 108 5 Le r le p dagogique de l interpr tat
34. rses TOUTES gd geb en Ate stone mans ere GE 29 4 1 13 Bibliographie locale nennennenneneesnennenrernererrrsrrerrrrrornsrnrrrrrrerrrereenenernn 29 4 2 DEMONSTRATEURS DE THEOREMES POUR G Gr S4Grz IL KD KD 30 4 2 1 partie propositionnelle su 30 4 2 2 partie modale ira hi Lio EES EEN AEN 34 4 2 3 3 52 5402 KD UR RE 37 4274 EC 39 4 3 R VES LUCIDES ET PR LUGID S 22 rente EE acte nee terne ee 46 4 5 1 Introduction ti A ie rat ie den era e ee a ne al a 46 4 3 2 type d pisodes 22282 lea nine 47 r ve pisode lucide 47 r ve pisode pr lucide 47 r ve pisode Contra Jucde tetett teentnteeeernne 47 EI EE Re EE 47 EI LE OTA AEE E T E AET 47 4 3 3 1 re p riode mai 1976 ao t 1991 48 4 3 4 2 me p riode ao t 1991 janvier 1992 56 4 3 5 8 me p riode mars 1992 gt ao t 1992 58 4 3 6 Le statut de l autre dans le r ve lucide 66 8116 1 1917 1 151120611516 11 7787 77 tr nn Et Eee DE 69 GENE DU 70 4 4 1 GEN G n rateur programmes et donn es 70 bijection entre et LISTE NENT 70 initialisation 1 deux atomes 71 initialisation 2 petits programmes LISP
35. tzienne et l identit personnelle 99 2 L identification de base entre machine et syst me formel 100 3 La th se de Church et le m canisme 103 2 2 11 Machine de Myhill machines variables et machines splittantes 105 2 2 12 Au sujet de quelques tentatives pour r futer la th se de Church et l apparition de propositions absolument ind cidables 106 2 2 13 constructif non constructif 108 2 2 14 La consistance de la th se de Church intuitioniste 109 2 2 15 CONCIUSIO e MEET 112 2 2 16 bibliographie 1068 gue See sante e 113 2 3 Des lois mecanistes de l esprit anaiseneneseeetererertttttetttttttisttrttttrtisttntnttrtesrsrenrtrneneenen 117 RESUME DE TOUT 3 dE ie DEENEN nn tte Res 117 2 3 1 Le th or me de G del et le m canisme 120 EE En hic est A A ne en sis 120 47 051 1921 1941 1965 ER 121 2 Turing 1936 1939 1948 1950 123 3 Popper lu en 1948 publi en 1950 124 4 Godel AE 125 5 Nagel et Newman 1958 127 Critique de Putnam 1960 127 Critique de Arbib 1964 127 6 Lucas 1959 paru en 61 et Priest 1987 128 7 Benacerraf 1967 Lucas Satan Stultified
36. xtensions et raffinements de G et G 554554 554 55555555 5 184 7 G Gr LWV et le translateur 185 8 Livres et Histolre ii Gud Eege dE EEN NEEN ER 186 BEN eeng de 23 3 rm re 166 elle de 166 2 3 4 Le stratag me en arithm tique 190 EIERE 190 1 Motivation pour le stratag me 190 a le r ve et la r alit 0 0uaeneeneeeeen enee eee eerren resterne reenn 190 b G del 1933 et Lucas 1961 191 2 Le morphisme de Boolos Goldblatt Kusnetsov amp Muravitsky 194 3 Interpr tation arithm tique et la formule de Grzegorczyk 196 4 Le morphisme arithm tique de Boolos Goldblatt 196 5 Le morphisme de G del Grzegorczyk Goldblatt G33 197 6 Sch mas modaux pures 199 7 L a consistance de PTE sine es NA eh ae nat 200 8 La reconstruction BCR revisit e 202 9 S mantique de Kripke de Grz 55959 959 5 5 203 10 Myhill Goodman 1985 208 11 Le stratag me affaibli 209 EAR giele DEE 215 13 R sum de 2 3 4 11 1 rai 217 Eelere EE 218 2 3 5 L inf rable intelligence artificielle th orique 221 Bri ve
Download Pdf Manuals
Related Search