next up previous contents
Next: About this document Up: No Title Previous: Le computationnalisme est une

References

Abramsky, 1987
Abramsky, S. (1987). Domain theory and the logic of observable properties. PhD thesis, University of London.
Agnes and Rasetti, 1988
Agnes, C. and Rasetti, M. (1988). Chaos and undecidability: A group theoretical view. In Solomon, A. I., editor, Advances in Statistical Mechanics, pages 57-73. World Scientific Publ., Singapore.
Albert, 1986
Albert, D. Z. (1986). How to take a Photograph of another Everett World. In New Techniques and Ideas in Quantum Measurement Theory, volume 480, pages 498-502. Annals of the New York Academy of Sciences, New York.
Albert, 1990
Albert, D. Z. (1990). The quantum mechanics of self-measurement. In Zurek, W. H., editor, Complexity, Entropy, and the Physics of Information, volume VIII of SFI Studies in the Sciences of Complexity, pages 471-476. Addison Wesley.
Albert, 1992
Albert, D. Z. (1992). Quantum Mechanics and Experience. Harvard University Press, Cambridge, UK.
Albert and Loewer, 1989
Albert, D. Z. and Loewer, B. (1989). Two no-collapse interpretations of quantum mechanics. Noûs, 12:121-138.
Alechina, 1994
Alechina, N. (1994). Logic with Probabilistic Operators. Preprint.
Artemov, 1990
Artemov, S. (1990). Kolmogorov's logic of problems and a provability interpretation of intuitionistic logic. In Parikh, R., editor, Proceedings of the Third Conference on Theoretical Aspect of Reasoning about Knowledge (TARK 90). Morgan Kaufmann Publishers.
Aspect, 1976
Aspect, A. (1976). Proposed experiment to test the non-separability of quantum mechanics. Physical review, D(14):1944-1951.
Aspect et al., 1982
Aspect, A., Dalibard, J., and Roger, G. (1982). Experimental tests of Bell's inequalities using time-varying analysers. Physical Review Letters, 49:1804-1807.
Baertschi, 1992
Baertschi, B. (1992). Les rapports de l'âme et du corps, Descartes Diderot et Maine de Biran. Vrin, J., Paris.
Barnes, 1991
Barnes, E. (1991). The causal history of computational activity: Maudlin and Olympia. The Journal of Philosophy, pages 304-316.
Bell, 1986
Bell, J. L. (1986). A new approach to quantum logic. Brit. J. Phil. Sci., 37:83-99.
Bell, 1964
Bell, J. S. (1964). On the Einstein-Podolsky-Rosen paradox. Physics, 1:195-200.
Bell, 1987
Bell, J. S. (1987). Speakable and unspeakable in quantum mechanics. Cambridge University Press, Cambridge.
Benacerraf, 1967
Benacerraf, P. (1967). God, the Devil, and Gödel. The monist, 51:9-32.
Bennett, 1988
Bennett, C. H. (1988). Logical Depth and Physical Complexity. In Herken, R., editor, The Universal Turing Machine A Half-Century Survey, pages 227-258. Oxford University Press.
Birkhoff and von Neumann, 1936
Birkhoff, G. and von Neumann, J. (1936). The Logic of Quantum Mechanics. Annals of Mathematics, 37(4):823-843.
Bitbol and Ruhnau, 1994
Bitbol, M. and Ruhnau, E., editors (1994). Now, Time and Quantum Mechanics. Editions Frontières, Paris.
Blum and Blum, 1975
Blum, L. and Blum, M. (1975). Toward a mathematical theory of inductive inference. Information and Control, 28:125-155.
Bohm, 1951
Bohm, D. (1951). Quantum Theory, pages 614-619. Prentice-Hall, New York.
Bohm and Hiley, 1993
Bohm, D. and Hiley, B. J. (1993). The undivided universe. Routledge, London and New York.
Boolos, 1979
Boolos, G. (1979). The unprovability of consistency. Cambridge University Press, London.
Boolos, 1980a
Boolos, G. (1980a). On Systems of Modal Logic with Provability Interpretations. Theoria, 46(1):7-18.
Boolos, 1980b
Boolos, G. (1980b). Provability in Arithmetic and a Schema of Grzegorczyk. Fundamenta Mathematicae, 96:41-45.
Boolos, 1980c
Boolos, G. (1980c). Provability, Truth, and Modal Logic. Journal of Philosophical Logic, 9:1-7.
Boolos, 1993
Boolos, G. (1993). The Logic of Provability. Cambridge University Press, Cambridge.
Brouwer, 1905
Brouwer, L. E. J. (1905). Leven, Kunst en Mystiek. Waltman, Delft, Holland. La Vie, l'Art et le Mysticisme.
Brouwer, 1983
Brouwer, L. E. J. (1983). Consciousness, philosophy and mathematics. In Benacerraf, P. and Putnam H., editors, Philosophy of Mathematics, pages 90-96. Cambridge University Press, Cambridge, second edition. première édition chez Prentice-Hall 1964.
Brown, 1991
Brown, J. R. (1991). The laboratory of the mind. Routledge, London.
Bub, 1997
Bub, J. (1997). Interpreting the quantum world. Cambridge University Press, Cambridge.
Burnyeat, 1991
Burnyeat, M. (1991). Socrate et le jury: de quelques aspects paradoxaux de la distinction platonicienne entre connaissance et opinion vraie. In Canto-Sperber, M., editor, Les paradoxes de la connaissance, essais sur le Ménon de Platon, pages 237-251. Editions Odile Jacob, Paris.
Caillois, 1956
Caillois, R. (1956). L'incertitude qui vient des rêves. Gallimard, France.
Carnap, 1966
Carnap, R. (1966). Philosophical Foundations of Physics. Basic Books, Inc., New-York. Les fondements philosophiques de la physique, Armand Colin, Paris 1973.
Cartwright, 1993
Cartwright, H. M. (1993). On two arguments for the indeterminacy of personal identity. Synthese, 95:241-273.
Chellas, 1980
Chellas, B. F. (1980). Modal Logic, an introduction. Cambridge University Press, Cambridge.
Chihara, 1972
Chihara, C. S. (1972). On Alleged Refutations of Mechanism Using Gödel's Incompleteness Results. The Journal of Philosophy, "LXIX"(17):507-526.
Church, 1936
Church, A. (1936). An Unsolvable Problem of Elementary Number Theory. The American Journal of Mathematics, 58. Aussi dans Davis 1965.
Church and Kleene, 1937
Church, A. and Kleene, S. C. (1937). Formal definitions in the theory of ordinal numbers. Fundamenta Mathematicae, 28:11-21.
Clauser et al., 1969
Clauser, J. F., Horn, M. A., Shimony, A., and Holt, R. A. (1969). Proposed experiment to test hidden variable theories. Physical Review Letters, 23:880-883.
Dalla Chiara, 1976
Dalla Chiara, M. L. (1976). A General Approach to non Distributive Logics. Studia Logica, XXXV:139-162.
Dalla Chiara, 1977a
Dalla Chiara, M. L. (1977a). Logical Self-Reference, Set Theoretical Paradoxes and the Measurement Problem in Quantum Mechanics. Journal of Philosophical Logic, 6:331-347.
Dalla Chiara, 1977b
Dalla Chiara, M. L. (1977b). Quantum Logic and Physical Modalities. Journal of Philosophical Logic, 6:391-404.
Dalla Chiara, 1985
Dalla Chiara, M. L. (1985). Some Foundational Problems in Mathematics Suggested by Physics. Synthese, 62:303-315.
Dalla Chiara, 1986
Dalla Chiara, M. L. (1986). Quantum logic. In Gabbay, D. and Guenthner, F., editors, Handbook of Philosophical Logic, Vol. III, pages 427-469. D. Reidel Publishing Company, Dordrecht.
Davis, 1965
Davis, M., editor (1965). The Undecidable. Raven Press, Hewlett, New York.
Davis, 1982
Davis, M. (1982). Why Gödel Didn't Have Church's Thesis. Information and Control, 54:3-24.
Day, 1986
Day, R. A. (1986). How to write and publish a Scientific Paper. Cambridge University Press, Cambridge, fourth edition.
de Broglie, 1957
de Broglie, L. (1957). La théorie de la mesure en mécanique ondulatoire. Gauthier-Villar, Paris.
Delahaye, 1991a
Delahaye, J. P. (1991a). Le réalisme en mathématiques et en physique. Pour la science, 159.
Delahaye, 1991b
Delahaye, J. P. (1991b). Thermodynamique et informatique théorique. Pour la science, 162:17-20.
Delahaye, 1994
Delahaye, J. P. (1994). Informatique, complexité et hasard. Hermès, Paris.
Dement, 1972
Dement, W. (1972). Some must Watch While Some Must Sleep. Seuil, traduction française 1981, Dormir, rêver, Paris.
Dement and Kleitman, 1957
Dement, W. and Kleitman, N. (1957). The relation of eye movements during sleep to dream activity: An objective method for the study of dreaming. Journal of Experimental Psychology, 53:339-346.
Dennett, 1978
Dennett, D. C. (1978). Brainstorms. Harvester Press, Hassocks, Sussex.
Dennett and Hofstadter, 1981
Dennett, D. C. and Hofstadter, D., editors (1981). Mind's I. Basic Books, Inc., Publishers, New-York. Paru en français sous le titre "Vue de l'esprit", interEditions, Paris, 1987.
Descartes, 1953
Descartes, R. (1953). Oeuvres et Lettres. Bibliothèque de la Pléiade. Gallimard, Paris.
d'Espagnat, 1971
d'Espagnat, B. (1971). Conceptual Foundations of Quantum Mechanics. Addison-Wesley, Reading, Mass. 2ème éd: 1976.
Deutsch, 1985
Deutsch, D. (1985). Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Ac., 400:97-117.
Deutsch, 1986a
Deutsch, D. (1986a). On Wheeler's Notion of "law without law" in Physics. Foundations of Physics, 16(6):565-572.
Deutsch, 1986b
Deutsch, D. (1986b). Three connections between Everett's interpretation and experiment. In Penrose, R. and Isham, C., editors, Quantum Concepts in Space and Time, pages 215-225. Clarendon Press, Oxford.
Dewdney, 1988
Dewdney, A. K. (1988). The Armchair Universe, An exploration of computer worlds, pages 135-148. W. H. Freeman and Company, New-York.
Dewitt, 1970
Dewitt, B. S. (1970). Quantum mechanics and reality. Physics Today, 23(9). Aussi dans DeWitt and Graham, 1973.
DeWitt and Graham, 1973
DeWitt, B. S. and Graham, N., editors (1973). The Many-Worlds Interpretation of Quantum Mechanics. Princeton University Press, Princeton, New-Jersey.
d'Hervey de Saint Denys, 1867
d'Hervey de Saint Denys, J. M. L. (1867). Les rêves et les moyens de les diriger. Amyot, Paris. Réédition intégrale aux Editions Oniros 1995.
Dogen, 1980
Dogen (1980). Shôbôgenzô. Argenteuil. 1232-1253.
Einstein, 1989
Einstein, A. (1989). Oeuvres choisies, 1, Quanta. Editions du Seuil/Editions du CNRS, Paris.
Einstein et al., 1935
Einstein, A., Podolski, B., and Rosen, N. (1935). Can quantum-mechanical description of physical reality be considered complete? Physical Review, 47:777-780.
Everett III, 1957
Everett III, H. (1957). ``Relative state" formulation of quantum mechanics. Review of Modern Physics, 9(3):454-462. Aussi dans DeWitt et Graham 1973.
Everett III, 1973
Everett III, H. (1973). The theory of the universal wave functions. In DeWitt, B. and Graham, N., editors, The Many-Worlds Interpretation of Quantum Mechanics, pages 3-140. Princeton University Press, Princeton, New Jersey.
Fattorosi-Barnaba and Amati, 1987
Fattorosi-Barnaba, M. and Amati, G. (1987). Modal Operators with Probabilistic Interpretations i. Studia Logica, XLVI(4):383-393.
Feferman, 1960
Feferman, S. (1960). Arithmetisation of Metamathematics in a general Setting. Fundamenta Mathematicae, XLIX:35-92.
Ferret, 1993
Ferret, S. (1993). Le philosophe et son scalpel. Editions de Minuit, Paris.
Feys, 1937a
Feys, R. (1937a). Les logiques nouvelles des modalités. Revue néoscolastique de philosophie, 40:517-553.
Feys, 1937b
Feys, R. (1937b). Les logiques nouvelles des modalités. Revue néoscolastique de philosophie, 41:217-252.
Flagg, 1985
Flagg, R. C. (1985). Church's Thesis is consistent with epistemic arithmetic. In Shapiro, S., editor, Intensional Mathematics, Studies in Logic and the Foundations of Mathematics 113, pages 121-172. North–Holland.
Ford, 1988
Ford, N. M. (1988). When did I begin? Cambridge University Press, Cambridge.
Gackenbach and Laberge, 1988
Gackenbach, J. and Laberge, S., editors (1988). Conscious Mind, Sleeping Brain, Perspective on Lucid Dreams. Plenum Press, New York London (USA).
Galouye, 1964
Galouye, D. (1964). Simulacron 3. Bantam Books, Inc., New York. Editions française J'ai lu n° 778.
Gandy, 1980
Gandy, R. (1980). Church's Thesis and Principles for Mechanisms. In Barwise, J., Keisler, H. J., and Kunen, K., editors, The Kleene Symposium, pages 123-148. North Holland.
Gardner, 1980
Gardner, M. (1980). Le nombre aléatoire omega semble bien recéler les mystères de l'univers. Bibliothèque pour la science, Pour la science S.A.R.L., Belin, Paris. Traduit de l'américain dans ``Le monde Mathématique de Martin Gardner".
Gardner, 1996
Gardner, M. (1996). The night is large. Penguin Books, London.
Gell-mann and Hartle, 1990
Gell-mann, M. and Hartle, J. H. (1990). Quantum Mechanics in the light of Quantum Cosmology. In Zurek, W. H., editor, Complexity, Entropy, and the Physics of Information, volume VIII of SFI Studies in the Sciences of Complexity, pages 425-458. Addison Wesley.
Gödel, 1931
Gödel, K. (1931). Über formal unentscheidbare sätze der principia mathematica und verwandter systeme i. Monatsh., Math. Phys., 38:173-198. Traduction américaine dans Davis 1965, page 5+.
Gödel, 1933
Gödel, K. (1933). Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse eines Mathematischen Kolloquiums, 4:39-40.
Gödel, 1946
Gödel, K. (1946). Remarks before the princeton bicentennial conference on problems in mathematics. In [Davis, 1965], pages 84-88.
Gödel, 1972
Gödel, K. (1972). Communication orale à R. Rucker. Dans Rucker 1982, page 164.
Gold, 1965
Gold, E. M. (1965). Limiting recursion. Journal of Symbolic Logic, 30(1):27-48.
Goldblatt, 1974
Goldblatt, R. I. (1974). Semantic Analysis of Orthologic. Journal of Philosophical Logic, 3:19-35. Aussi dans Goldblatt 1993, page 81-97.
Goldblatt, 1978
Goldblatt, R. I. (1978). Arithmetical Necessity, Provability and Intuitionistic Logic. Theoria, 44:38-46. Aussi dans Goldblatt 1993, page 105-112.
Goldblatt, 1993
Goldblatt, R. I. (1993). Mathematics of Modality. CSLI Lectures Notes, Stanford California.
Goodstein, 1963
Goodstein, R. L. (1963). The significance of incompleteness theorems. British Journal for the Philosophy of Science, 14:208-220.
Graham, 1973
Graham, N. (1973). The measurement of relative frequency. In DeWitt, B. and Graham, N., editors, The Many-Worlds Interpretation of Quantum Mechanics, pages 229-252. Princeton University Press, Princeton, New Jersey.
Gregory, 1987
Gregory, R. L., editor (1987). The Oxford Companion to The Mind, pages 200-201. Oxford University Press, Oxford, UK.
Grim, 1991
Grim, P. (1991). The Incomplete Universe. The MIT Press, Cambridge, USA.
Griswold, 1986
Griswold, C. L. (1986). Self-Knowledge in Plato 's Phaedrus. Yale University Press, New Haven and London.
Grzegorczyk, 1964
Grzegorczyk, A. (1964). A philosophicaly plausible formal interpretation of intuitionistic logic. Indagationes Math., 26:596-601.
Grzegorczyk, 1967
Grzegorczyk, A. (1967). Some relational systems and the associated topological spaces. Fundamenta Mathematicae, LX:223-231.
Guenancia, 1986
Guenancia, P. (1986). Descartes. Bordas, Paris.
Hacking, 1975
Hacking, I. (1975). The Emergence of Probability. Cambridge University Press, Cambridge.
Hardegree, 1976
Hardegree, G. M. (1976). The Conditional in Quantum Logic. In Suppes, P., editor, Logic and Probability in Quantum Mechanics, volume 78 of Synthese Library, pages 55-72. D. Reidel Publishing Company, Dordrecht-Holland.
Hartle, 1968
Hartle, J. B. (1968). Quantum mechanics of individual systems. American Journal of Physics, 36(704):27-48.
Hartmanis, 1972
Hartmanis, J. (1972). Relations between diagonalisation, proof systems, and complexity gaps. Computer Science Department, Cornell University, Ithaca, New York 14853, USA.
Heyting, 1980
Heyting, A. (1980). Intuitionism, an Introduction. North-Holland, Amsterdam, third edition. Edition originale: 1956.
Hobson and McCarley, 1977
Hobson, J. A. and McCarley, R. (1977). The brain as a dream-state generator: An activation-synthesis of the dream process. American Journal of Psychiatry, 134:1335-1348.
Hughes, 1989
Hughes, R. I. G. (1989). The Structure and Interpretation of Quantum Mechanics. Harvard University Press, Cambridge.
Huisman and Vergez, 1966
Huisman, D. and Vergez, A. (1966). Métaphysique. Fernand Nathan, Nancy, France.
Humes, 1987
Humes, D. (1987). A Treatise of Human Nature. Fontana/Collins, Glasgow. Edition originale: Londres 1739.
Isham, 1994
Isham, C. J. (1994). Quantum logic and the histories approach to quantum theory. J. Math. Phys., 35(5):2157-2185.
Jacob and Monod, 1961
Jacob, F. and Monod, J. (1961). Genetics regulatory mechanisms in the synthesis of proteins. Journal of Molecular Biology, 3:318-356.
Jammer, 1974
Jammer, M. (1974). The Philosophy of Quantum Mechanics. John Wiley & Sons, New York.
Jouvet, 1992
Jouvet, M. (1992). Le sommeil et le rêve. Editions Odile Jacob, Paris.
Kafatos, 1989
Kafatos, M., editor (1989). Bell's Theorem, Quantum Theory and Conceptions of the Universe. Kluwer Academic Publishers, Dordrecht.
Kaplan and Montague, 1961
Kaplan, D. and Montague, R. (1961). A paradox regained. Journal of Formal Logic, 1:79-90.
Kelly, 1993
Kelly, K. (1993). Learning theory and descriptive set theory. Journal of Logic and Computation, 3(1):27-45.
Kent, 1990
Kent, A. (1990). Against many world interpretations. International Journal of Modern Physics A, 5(9):1745-1762.
Kleene, 1952
Kleene, S. C. (1952). Introduction to Metamathematics. North-Holland, Amsterdam.
Kleene, 1965
Kleene, S. C. (1965). General recursive functions of natural numbers. In [Davis, 1965], pages 237-253. Parution originale: 1936.
Kolmogorov, 1932
Kolmogorov, A. (1932). Zur deutung der intuitionistischen logik. Math. Zeitschr., 35:58-65.
Kripke, 1963a
Kripke, S. A. (1963a). Semantical analysis of modal logic i: Normal propositional calculi. Zeit. Math. Logik. Grund., 9:67-96.
Kripke, 1963b
Kripke, S. A. (1963b). Semantical considerations on modal logic. Acta Philosophica Fennica, 16:83-94.
Kurtz, 1983
Kurtz, S. A. (1983). On the random oracle hypothesis. Information and Control, 57:40-47.
Kuznetsov and Muravitsky, 1977
Kuznetsov, A. V. and Muravitsky, A. Y. (1977). Magari algebras. Fourteenth All-Union Algebra Conf., Abstract part 2: Rings, Algebraic Structures, pages 105-106. En Russe.
Laberge, 1991
Laberge, S. (1991). Le rêve lucide. collection Rêvéveil. Oniros, Paris. Traduction française.
Ladrière, 1957
Ladrière, J. (1957). Les limitations internes des formalismes. Nauwelaerts/Gauthier-Villars, Paris/Louvain.
Largeault, 1992
Largeault, J., editor (1992). Intuitionisme et théorie de la démonstration. Vrin, J., Paris.
Letovsky, 1987
Letovsky, S. (1987). Ecclesiastes: A report from the battlefields of the mind-body problem. AI Magazine, 8(3):63-69.
Lewis, 1986
Lewis, D. (1986). On the Plurality of Worlds. Basil Blackwell, Oxford.
Löb, 1955
Löb, M. H. (1955). Solution of a problem of Leon Henkin. Journal of Symbolic Logic, 20:115-118.
London and Bauer, 1939
London, F. and Bauer, E. (1939). La théorie de l'observation en mécanique quantique. Hermann et Cie, Paris.
Lucas, 1961
Lucas, J. R. (1961). Minds, Machines and Gödel. Philosophy, 36:112-127.
Lucas, 1968
Lucas, J. R. (1968). Satan Stultified: A Rejoinder to Paul Benacerraf. The Monist, 52:145-158.
Lucas, 1970
Lucas, J. R. (1970). This gödel is killing me. Philosophia, 6:145-148.
Lucas, 1971
Lucas, J. R. (1971). Metamathematics and the philosophy of mind, a rejoinder. Philosophy of Sciences, XXXVIII(273):310-313.
Mackay, 1960
Mackay, D. M. (1960). On the logical indeterminacy of a free choice. Mind, 69(273):31-40.
Magari, 1975
Magari, R. (1975). Representation and duality theory for diagonalizable algebras. Studia Logica, XXXIV(4):305-313.
Malcolm, 1959
Malcolm, N. (1959). Dreaming. Routledge & Kegan Paul ltd., London.
Malcolm, 1968
Malcolm, N. (1968). The conceivability of mechanism. Phil. Review, 77:45-72.
Marchal, 1978
Marchal, B. (1978). Introductions au théorème de Bell. Technical report, Laboratoire de Cosmologie, ULB, Plaine des Manoeuvres, Bâtiment NO.
Marchal, 1983
Marchal, B. (1983). L'elaboratore e'un grafo. L'insegnamento della matematica e delle scienze integrate, 6(2):43-58.
Marchal, 1988
Marchal, B. (1988). Informatique théorique et philosophie de l'esprit. In Actes du 3ème colloque international de l'ARC, pages 193-227, Toulouse.
Marchal, 1990
Marchal, B. (1990). Des fondements théoriques pour l'intelligence artificielle et la philosophie de l'esprit. Revue Internationale de Philosophie, 1(172):104-117.
Marchal, 1991
Marchal, B. (1991). Mechanism and personal identity. In De Glas, M. and Gabbay, D., editors, Proceedings of WOCFAI 91, pages 335-345, Paris. Angkor.
Marchal, 1992a
Marchal, B. (1992a). Amoeba, planaria, and dreaming machines. In Bourgine, P. and Varela, F. J., editors, Artificial Life, towards a practice of autonomous systems, ECAL 91, pages 429-440. MIT Press.
Marchal, 1992b
Marchal, B. (1992b). Sciences et science-fiction : Simulacron 3. In La littérature fantastique pour les jeunes de 8 ą 18 ans, pages 61-68. Inspection de l'éducation permanente et de la culture, Ville de Bruxelles. Transcription des communications des 28, 29, et 30 avril 1992.
Marchal, 1995
Marchal, B. (1995). Conscience et Mécanisme. Technical Report TR/IRIDIA/95, Brussels University.
Maudlin, 1989
Maudlin, T. (1989). Computation and Consciousness. The Journal of Philosophy, pages 407-432.
Maudlin, 1994
Maudlin, T. (1994). Quantum Non-Locality and Relativity, volume 13 of Aristotelian Society Series. Blackwell, Oxford.
McKinsey and Tarski, 1948
McKinsey, J. C. and Tarski, A. (1948). Some theorems about the sentential calculi of Lewis and Heyting. Journal of Symbolic Logic, 13:1-15.
Mittelstaedt, 1978
Mittelstaedt, P. (1978). Quantum Logic. D. Reidel Publishing Company, Dordrecht, Holland.
Moore, 1990
Moore, C. M. (1990). Unpredictability and undecidability in dynamical systems. Physical Review Letters, 64(20):2354-2357.
Moravec, 1988
Moravec, H. (1988). Mind Children. Harvard University Press, Cambridge.
Myhill, 1952
Myhill, J. (1952). Some philosophical implications of mathematical logic. The review of Metaphysics, VI(2).
Myhill, 1960
Myhill, J. (1960). Some remarks on the notion of proof. Journal of Philosophy, 57:461-471.
Myhill, 1964
Myhill, J. (1964). Abstract theory of self-reproduction. In Mesarovic, M. D., editor, Views on general systems theory, pages 106-118. Wiley, New York.
Nagel, 1987
Nagel, T. (1987). What does it all mean? Oxford University Press, New York.
Nagel, 1994
Nagel, T. (1994). Consciousness and objective reality. In Warner, R. and Szubka, T., editors, The Mind-Body Problem, pages 63-68. Basil Blackwell, Cambridge, USA.
Nozick, 1981
Nozick, R. (1981). Philosophical Explanations. Clarendon Press, Oxford.
Ouzoulias, 1989
Ouzoulias, A. (1989). La conscience. Editions Quintette, Paris.
Pacherie, 1993
Pacherie, E. (1993). Naturaliser l'intentionnalité. PUF, Paris.
Parfit, 1984
Parfit, D. (1984). Reasons and Persons. Clarendom Press, Oxford.
Pauling, 1966
Pauling, L. (1966). Chimie générale. Dunod, Paris, seconde edition. Traduction française de R. Pâris.
Penrose, 1989
Penrose, R. (1989). The Emperor's New Mind. Oxford University Press, Oxford.
Penrose, 1990
Penrose, R. (1990). Précis of The Emperor's New Mind : concerning computers, minds and the laws of physics. Behavioral and Brain Sciences, 13(4):643-705.
Penrose, 1994
Penrose, R. (1994). Shadows of the Mind. Oxford University Press, Oxford.
Penrose and Isham, 1986
Penrose, R. and Isham, C. J., editors (1986). Quantum Concepts in Space and Time. Clarendon Press, Oxford.
Platon, 1950
Platon (1950). Théétète ou de la science, pages 83-192. Oeuvre de la pléiade. Editions Gallimard, Paris.
Posner, 1980
Posner, C. H. (1980). A survey of non-r.e. degrees ≤O. In Drake, F. R. and Wainer, S. S., editors, Recursion Theory: its generalisation and applications, pages 52-109. Cambridge University Press.
Post, 1922
Post, E. (1922). Absolutely unsolvable problems and relatively undecidable propositions : Account of an anticipation. In [Davis, 1965], pages 338-433.
Reinhardt, 1985
Reinhardt, W. N. (1985). Absolute version of incompleteness theorems. Noûs, 19:317-346.
Reinhardt, 1986
Reinhardt, W. N. (1986). Epistemic theories and the interpretation of Gödel's incompleteness theorems. Journal of Philosophical Logics, 15:427-474.
Rucker, 1982
Rucker, R. (1982). Infinity and the Mind. The Harverster Press, Brighton, Sussex, Great Britain.
Russell and Whitehead, 1970
Russell, B. and Whitehead, A. N. (1970). Principia Mathematica. Cambridge University Press, Cambridge. Paperback Edition to *56, (Edition originale: 1910).
Schrödinger, 1992
Schrödinger, E. (1992). Physique quantique et représentation du monde. Seuil, Paris. Science et Humanisme 1950, La situation actuelle en mécanique quantique 1935.
Shapiro, 1985
Shapiro, S. (1985). Epistemic and intuitionistic arithmetic. In Shapiro, S., editor, Intensional Mathematics, Studies in Logic and the Foundations of Mathematics 113, pages 11-46. North–Holland, Amsterdam.
Shimony, 1963
Shimony, A. (1963). Role of the Observer in Quantum Theory. Am. J. of Physics, 31(6):755-773.
Slezak, 1982
Slezak, P. (1982). Gödel's theorem and the mind. Brit. J. Phil. Sci., 33:41-52.
Slezak, 1983
Slezak, P. (1983). Descartes 's diagonal deduction. Brit. J. Phil. Sci., 34:13-36.
Smets, 1991
Smets, P. (1991). Probability of Provability and Belief Functions. Logique & Analyse, 133:177-195.
Smiley, 1963
Smiley, T. J. (1963). The logical basis of ethics. Acta Philosophica Fennica, 16:237-246.
Smith, 1980
Smith, C. H. (1980). Applications of classical recursion theory to computer science. In Drake, F. R. and Wainer, S. S., editors, Recursion Theory: its generalisation and applications, pages 236-247. Cambridge University Press.
Smoryński, 1981
Smoryński, P. (1981). Fifty Years of Self-Reference in Arithmetic. Notre Dame Journal of Formal Logic, 22(4):357-374.
Smoryński, 1985
Smoryński, P. (1985). Self-Reference and Modal Logic. Springer Verlag, New York.
Smullyan, 1987
Smullyan, R. (1987). Forever Undecided. Knopf, New York.
Solovay, 1976
Solovay, R. M. (1976). Provability Interpretation of Modal Logic. Journal of Mathematics, 25:287-304.
Squires, 1990
Squires, E. (1990). Conscious Mind in the Physical World. Adam Hilger, Bristol.
Stalnaker, 1984
Stalnaker, R. C. (1984). Inquiry. The MIT Press, Cambridge, Massachusetts.
Stapp, 1993
Stapp, H. P. (1993). Mind, Matter and Quantum Mechanics. Springer-Verlag, Berlin.
Thomas, 1978
Thomas, R. (1978). Logical analysis of systems comprising feedback loops. Université libre de Bruxelles, Preprint.
Thomas and Van Ham, 1974
Thomas, R. and Van Ham, P. (1974). Analyse formelle de circuits de régulation génétique, le contrôle de l'immunité chez les bactériophages lambdoïdes. Biochimie, 56(11-12):1529+.
Thomason, 1980
Thomason, R. H. (1980). A note on syntactical treatment of modality. Synthese, 44:391-395.
Turing, 1936
Turing, A. (1936). On computable numbers with an application to the entscheidungsproblem. Proc. London Math. Soc., 42:230-265. Aussi dans Davis 1965, page 116-154.
Turing, 1939
Turing, A. (1939). Systems of logic based on ordinals. Proc. London Math. Soc., 45:161-228. Aussi dans Davis 1965, page 155-222.
Tye, 1995
Tye, M. (1995). Ten problems of consciousness. The MIT Press, Cambridge, Massachusetts.
van Fraassen, 1974
van Fraassen, B. C. (1974). The labyrinth of quantum logic. In Cohen, R. and Wartosky, M., editors, Boston Studies of Philosophy of Sciences, volume 13, pages 224-254. Reidel, Dordrecht.
van Stigt, 1990
van Stigt, W. P. (1990). Brouwer's Intuitionism, volume 2 of Studies in the history and philosophy of Mathematics. North Holland, Amsterdam.
Vickers, 1989
Vickers, S. J. (1989). Topology via Logic. Cambridge Tracts in Theoretical Computer Science 5. Cambridge University Press, Cambridge.
Visser, 1985
Visser, A. (1985). Aspects of Diagonalization and Provability. PhD thesis, University of Utrecht, Department of Philosophy, The Nederland.
Wainwright, 1974
Wainwright, R. (1974). Life is universal. In Proceedings of the Winter Simulation Conference, ACM, Washington DC.
Wang, 1957
Wang, H. (1957). A variant to Turing's theory of computing machines. Journal of the ACM, 4(1).
Wang, 1974
Wang, H. (1974). From Mathematics to Philosophy. Routledge & Kegan Paul, London.
Warner and Szubka, 1994
Warner, R. and Szubka, T., editors (1994). The Mind-Body Problem. Basil Blackwell, Cambridge, USA.
Watson, 1968
Watson, J. D. (1968). Biologie moléculaire du gène. Ediscience, Paris. Edition française dirigée par François Gros.
Webb, 1980
Webb, J. C. (1980). Mechanism, Mentalism and Metamathematics: An essay on Finitism. D. Reidel Publishing Company, Dordrecht, Holland.
Webb, 1983
Webb, J. C. (1983). Gödel's theorems and church's thesis: a prologue to mechanism. In Cohen, R. S. and Wartofsky, M. W., editors, Language, logic, and method, pages 309-353. D.Reidel Publishing Company, Dordrecht, Holland.
Wheeler, 1994
Wheeler, J. A. (1994). At Home in the Universe. The Aip Press, New York.
Wigner, 1967a
Wigner, E. (1967a). Symmetries and Reflections. Indiana University Press, Bloomington.
Wigner, 1967b
Wigner, E. (1967b). The Unreasonable Effectiviness of Mathematics in the Natural Sciences, pages 222-237. In [Wigner, 1967a].
Wittgenstein, 1965
Wittgenstein, L. (1965). De la certitude. Gallimard, Paris. Edition originale: 1951.
Yam, 1993
Yam, P. (1993). A bus for Scotty. Scientific American. Juin.
Zeh, 1990
Zeh, H. D. (1990). Quantum Measurements and Entropy. In Zurek, W. H., editor, Complexity, Entropy, and the Physics of Information, volume VIII of SFI Studies in the Sciences of Complexity, pages 405-422. Addison Wesley.

next up previous contents
Next: About this document Up: No Title Previous: Le computationnalisme est une

Bruno Marchal
Thu Apr 1 00:14:24 CEST 1999