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 $\le 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.