Finite machines, mental procedures, and modern physics

Acta Biomedica

Volumn 78, Issue SUPPL. 1, 2007, Pages 39-46

  Lupacchini, Rossella ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Discreteness; Finiteness; Locality

Indexed keywords

ALTERNATIVE MEDICINE; ARTICLE; BIONICS; CYBERNETICS; HUMAN; INTELLIGENCE; LOGIC; MATHEMATICS; MECHANICS; MENTAL FUNCTION; PHYSICS; QUANTUM THEORY; THEORETICAL MODEL;

BIONICS; CYBERNETICS; HUMANS; INTELLIGENCE; LOGIC; MATHEMATICS; MECHANICS; MENTAL PROCESSES; MIND-BODY RELATIONS (METAPHYSICS); MODELS, THEORETICAL; PHYSICS; QUANTUM THEORY;

EID: 34347204113     PISSN: 03924203     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. Gödel K. On formally undecidable propositions of Principia mathematica and related systems I. (1931). In Feferman S et al., eds: Collected Works, vol 1. Oxford U.P., Oxford, 1990-95: 5-38.
2. Gödel K. The present situation in the foundations of mathematics. (1933). In CW (1), vol 3: 45-53.
3. Hilbert D, Ackermann W. Grundzüge der theoretischen Logik. Berlin, Springer-Verlag, 1928.
4. Herbrand J. Les bases de la logique hilbertienne. Revue de métaphysique et de morale 1930; 37: 243-55.
5. von Neumann J. Zur Hilbertschen Beweisstheorie. Mathematische Zeitschrift 1927; 26: 1-46.
6. Gödel K. Postscript to "On undecidable propositions of formal mathematical systems". (1964). In CW (1), vol. 1: 369-371.
7. Gödel, K. Some basic theorems on the foundations of mathematics and their implications. (1951) In CW (1), vol. 3: 304-323.
8. Turing AM: On computable numbers, with an application to the Entscheidungsproblem. Proc London Math Soc II; 1936-37: 42.
9. Hilbert D. The foundations of mathematics. (1927) In van Heijenoort J, ed: From Frege to Gödel. Harvard U. P., Cambridge Mass., 1967: 464-79.
10. Gödel K. Some remarks on the undecidability results. (1972) In CW (1), vol. 2: 305-306.
11. Turing AM. Intelligent machinery. (1948) In Ince DC, ed: Collected Works of Alan Turing: Mechanical Intelligence. North-Holland, Amsterdam, 1992: 107-131.
12. Turing AM. Computing machinery and intelligence. (1950) In CW (11): 133-160.
13. Hodges A. Alan Turing and the Turing machine. In Herken R, ed: The Universal Turing Machine. A Half-Century Survey. Oxford U.P., Oxford, 1988: 3-15.
14. Turing AM. Lecture to the London Mathematical Society on 20 February 1947. In CW (11): 86-105.
15. Copeland BJ: Hypercomputation: philosophical issues. Theoretical Comp Science 2004; 317: 251-67.
16. Cassirer E. Determinismus und Indeterminismus in der modernen Physik. Göteborg; Elanders Boktryckeri Aktiebolag, 1937.
17. Sieg W. Gödel on computability. Pittsburgh; Mimeo 2005.
18. Gandy R. Church's thesis and principles for mechanisms. In Barwise J et al., eds: The Kleene Symposium. North-Holland, Amsterdam, 1980: 123-48.
19. Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc R Soc London 1985: 400: 97-117.
20. Mermin D. From Cbits to Qbits. Teaching computer scientists quantum mechanics. Am J Phys 2003; 71: 23-30.
21. Dirac P. The Principles of Quantum Mechanics. Oxford; Clarendon Press, 1930.
22. Hodges A. What would Alan Turing have done after 1954? In Teuscher C, ed: Alan Turing: Life and Legacy of a Great Thinker. Springer, Berlin, 2004: 43-58.