The computationalist reformulation of the mind-body problem

Progress in Biophysics and Molecular Biology

Volumn 113, Issue 1, 2013, Pages 127-140

  Marchal, Bruno ^a  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

Church turing thesis; Computationalism; Filmed graph argument; Quantum logic; Self reference; Universal dovetailer argument

Indexed keywords

ALGORITHM; BIOLOGICAL MODEL; BIOPHYSICS; CHURCH-TURING THESIS; COMPUTATIONALISM; COMPUTER SIMULATION; FILMED GRAPH ARGUMENT; MATHEMATICS; METHODOLOGY; MOLECULAR BIOLOGY; PSYCHOPHYSIOLOGY; QUANTUM LOGIC; REVIEW; SELF-REFERENCE; SYSTEM ANALYSIS; SYSTEMS BIOLOGY; UNIVERSAL DOVETAILER ARGUMENT;

CHURCH-TURING THESIS; COMPUTATIONALISM; FILMED GRAPH ARGUMENT; QUANTUM LOGIC; SELF-REFERENCE; UNIVERSAL DOVETAILER ARGUMENT;

ALGORITHMS; BIOPHYSICS; COMPUTER SIMULATION; MATHEMATICS; MODELS, BIOLOGICAL; MOLECULAR BIOLOGY; PSYCHOPHYSIOLOGY; SYSTEMS BIOLOGY; SYSTEMS INTEGRATION;

EID: 84884984702     PISSN: 00796107     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.pbiomolbio.2013.03.014     Document Type: Review

References (46)

1. Bean S.R., Davoudi Z., Savage M. Constraints on the Universe as a Numerical Simulation 2012, ArXiv.org, (1210.1847, hep-ph).
2. Blum L., Blum M. Toward a mathematical theory of inductive inference. Information and Control 1975, 28:125-155.
3. Blum L., Cucker F., Shub M., Smale S. Complexity and Real Computation 1998, Springer-Vergag, New-York.
4. Boolos G. The Logic of Provability 1993, Cambridge University Press, Cambridge.
5. Brouwer L.E.J. Leven, Kunst en Mystiek 1905, Waltman, Delft, Holland, La Vie, l'Art et le Mysticisme.
6. Brouwer L.E.J. Consciousness, philosophy and mathematics. Philosophy of Mathematics 1983, 90-96. Cambridge University Press, Cambridge, première édition chez Prentice-Hall 1964. second ed. P. Benacerraf, H. Putnam (Eds.).
7. Burnyeat M. Socrate et le jury: de quelques aspects paradoxaux de la distinction platonicienne entre connaissance et opinion vraie. Les paradoxes de la connaissance, essais sur le Ménon de Platon 1991, 237-251. Editions Odile Jacob, Paris. M. Canto-Sperber (Ed.).
8. Case J. Anote on degrees of self-describing turing machines. The Journal of ACM 1971, 18(3):329-338.
9. Case J. Periodicity in generations of automata. Mathematical Systems Theory 1974, 8:15-32.
10. Chalmers D. Absent qualia, fading qualia, dancing qualia. Conscious Experience 1995, Imprint Academic. http://consc.net/papers/qualia.html, T. Metzinger (Ed.).
11. The Undecidable 1965, Raven Press, Hewlett, New York. M. Davis (Ed.).
12. Deutsch D. Quantum theory, the church-turing principle and the universal quantum computer. Proceedings of Royal Society Ac 1985, 400:97-117.
13. Dewdney A.K. The Armchair Universe, An Exploration of Computer Worlds 1988, 135-148. W. H. Freeman and Company, New-York.
14. Everett H. "Relative state" formulation of quantum mechanics. Review of Modern Physics 1957, 9(3):454-462. Also in DeWitt and Graham 1973.
15. Everett H. The theory of the universal wave functions. The Many-worlds Interpretation of Quantum Mechanics 1973, 3-140. Princeton University Press, Princeton, New Jersey. B. DeWitt, N. Graham (Eds.).
16. Fattorosi-Barnaba M., Amati G. Modal operators with probabilistic interpretations i. Studia Logica 1987, XLVI(4):383-393.
17. Gödel K. Über formal unentscheidbare sätze der principia mathematica und verwandter systeme i. Monatsh., Math. Phys. 1931, 38:173-198. Traduction américaine dans Davis 1965, page 5+.
18. Gold E.M. Limiting recursion. Journal of Symbolic Logic 1965, 30(1):27-48.
19. Goldblatt R.I. Semantic analysis of orthologic. Journal of Philosophical Logic 1974, 3:19-35. Aussi dans Goldblatt 1993, page 81-97.
20. Hirschberger J. Kleine Philosophiegeschichte 1987, Verlag Herder, Freiburg-Basel-Wien.
21. Kac V. Vertex Agebra for Beginners 1991, American Mathematical Society, Providence, Rhode Island.
22. Kauffman L.H. Knot logic. Knot and Applications 1995, 1-110. World Scientific, Singapore. L.H. Kauffman (Ed.).
23. Kleene S.C. Introduction to Metamathematics 1952, North-Holland, Amsterdam.
24. Marchal B. Informatique Théorique et Philosophie de l'Esprit. Actes du 3ème colloque international de l'ARC 1988, 193-227. Toulouse.
25. Marchal B. Conscience et Mécanisme 1994, Technical Report TR/IRIDIA/94, Brussels University. http://iridia.ulb.ac.be/marchal/bxlthesis/consciencemecanisme.html.
26. Marchal B. Calculabilité, Physique et Cognition 1998, PhD thesis, Université de Lille, Département d'informatique, Lille, France, Editions Universitaires Europennes, 2010.
27. Marchal B. The origin of physical laws and sensations. 4th international system Administration and Network Engineering Conference, SANE 2004, Amsterdam 2004.
28. Marchal B. La Machine Mystique. Logique et Analyse 2012, 218:165-183.
29. Marchal B. Amoeba, Planaria, and dreaming machines. Artificial Life, towards a Practice of Autonomous Systems, ECAL 91 1992, 429-440. MIT Press. P. Bourgine, F.J. Varela (Eds.).
30. Marchal B. Apurely arithmetical, yet empirically falsifiable, interpretation of Plotinus' theory of matter. Computation and Logic in the Real World, Third Conference on Computability in Europe June 18-23 2007, Universita degli studi di Sienna, Dipartimento di Roberto Magari. Local Proceedings. S. Barry Cooper, B. Löwe, T.F. Kent, A. Sorbi (Eds.).
31. Matiyasevich Y.V. Hilbert's Tenth Problem 1993, The MIT Press, Cambridge, Massachusetts, London, England, Third printing 1996.
32. Maudlin T. Computation and consciousness. The Journal of Philosophy 1989, 407-432.
33. Nozick R. Philosophical Explanations 1981, Clarendon Press, Oxford.
34. Parfit Derek Reasons and Persons 1984, Clarendom Press, Oxford.
35. Platon Théétète ou de la science. Oeuvre de la pléiade 1950, 83-192. Editions Gallimard, Paris.
36. Plotin Ennéades II 1924, Les Belles Lettres, Paris, Traduction de Emile Bréhier.
37. Rawling J.P., Selesnick S.A. Orthologic and quantum logic: models and computational elements. Journal of the ACM 2000, 47(4):721-751.
38. Rössler O.E. Endophysics. Real Brains, Artificial Minds 1987, 25-46. North-Holland, New-York. J. Casti, A. Karlqvist (Eds.).
39. Rössler O.E. Boscovitch covariance. Beyond Belief 1991, CRC Press, Chapter 4. J. Casti, A. Karlqvist (Eds.).
40. Siegelman H.T., Sontag E.D. Analog computation via neural networks. Theoretical Computer Science 1994, 131:331-360.
41. Simeonov P.L., Smith L., Ehresmann A.C. Integral Biomathics: Tracingthe Road to Reality 2012, Springer-Verlag, Heidelberg.
42. Smith C.H. Applications of classical recursion theory to computer science. Recursion Theory: Its Generalisation and Applications 1980, 236-247. Cambridge University Press. F.R. Drake, S.S. Wainer (Eds.).
43. Solovay R.M. Provability interpretation of modal logic. Israel Journal of Mathematics 1976, 25:287-304.
44. Tye Michael Ten Problems of Consciousness 1995, The MIT Press, Cambridge, Massachusetts.
45. Visser A. Aspects of Diagonalization and Provability 1985, PhD thesis, University of Utrecht, Department of Philosophy, The Nederland.
46. Webb J.C. Mechanism, Mentalism and Metamathematics: an Essay on Finitism 1980, D. Reidel Publishing Company, Dordrecht, Holland.