Mode d`emploi
Contents
1. MODE D EMPLOI A cause de la nature interdisciplinaire du pr sent travail j ai d cid de le rendre le plus auto contenu possible Je suppose n anmoins un minimum de maturit en logique comme on dit Par exemple je suppose que l on sait distinguer une formule p gt q d une r gle d inf rence p gt q Je suppose connu le m tath or me de d duction de Herbrand pour la logique classique ainsi qu un minimum d alg bre lin aire pour les illustrations quantiques A chaque discipline correspond un chemin dans ce travail Il serait fastidieux de les num rer tous Il reste au lecteur la t che de trouver son chemin selon l id e qu il se fait de sa discipline Pour lui faciliter la t che je distingue grossi rement trois possibilit s UN DEUX TROIS repr sentent les trois parties de la th se RECAP repr sente la r capitulation La section 2 3 est beaucoup plus longue que les autres sections Pour ne pas perdre le fil on peut lors d une premi re lecture se contenter des bri vement et des r sum s qui jalonnent la section voir la table des mati res Trois possibilit s 1 pour le lecteur plus philosophe que math maticien UN gt les r sum s de 2 3 gt TROIS gt R CAP ou encore si on d sire partir du probl me du corps et de l esprit d but de 3 3 gt UN gt les r sum s de 2 3 gt TROIS gt R CAP 2 pour le lecteur plus math maticien que philosophe DEUX gt UN gt T2. ROIS gt R CAP 3 la voie abrupte pour le math maticien Elle consiste commencer par RECAP c d la r capitulation en 21 points 2 formules et 1 tableau Cela doit tre accompagn des parties philosophiques indispensables pour comprendre la port e des logiques misent en vidence dans ce travail savoir les exp riences par la pens e expos es dans les sections 1 8 paradoxes de la duplication de soi 3 2 paradoxe du graphe film et 3 3 paradoxe du dovetelleur universel Le chemin est donc R CAP en parall le avec 1 3 3 2 3 3 A cette fin j ai plac cette r capitulation dans la premi re partie Ce chemin est la voie naturelle pour ceux qui connaissent la logique de la prouvabilit Smorynski 1985 Boolos 1979 ou mieux Boolos 1993 Ceux qui ont lu l ouvrage de Webb 1980 ou ceux qui d une fa on plus g n rale ont suivi le d bat concernant les relations entre les th or mes d incompl tude de G del et l hypoth se du m canisme sauront parcourir la deuxi me partie et en particulier 2 3 beaucoup plus rapidemment Remarques 1 L importance du stratag me affaibli a cr tout au long de la r daction de ce travail pour culminer dans 3 8 Cette croissance n appara t pas dans la r capitulation 2 On consultera la synth se des morphismes qui suit la r capitulation pour les d finitions des syst mes modaux et le rappel des formules fondamentales xvi
Download Pdf Manuals
Related Search