Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-27T08:46:35.804Z Has data issue: false hasContentIssue false
  • English
  • Français

How subtle is Gödel's theorem? More on Roger Penrose

Published online by Cambridge University Press:  04 February 2010

Martin Davis
Martin Davis
Affiliation:
Courant Institute of Mathematical Sciences, New York University, New York, NY 10012 Electronic mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Continuing Commentary
Information
Behavioral and Brain Sciences , Volume 16 , Issue 3 , September 1993 , pp. 611 - 612
Copyright
Copyright © Cambridge University Press 1993

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Albert, D. & Loewer, B. (1988) Interpreting the many-worlds interpretation. Synthèse 77:195–213. [EJS]CrossRefGoogle Scholar
Aspect, A. & Grangier, B. (1990) Wave-particle duality: A case study. In: Sixty-two years of uncertainty, ed. Miller, A. I.. Plenum. [EJS]Google Scholar
Bhaumik, D., Bhaumik, K. & Dutta-Roy, B. (1976) A microscopic approach to the Frohlich model of Bose condensation of phonons in biological systems. Physics Letters 59A:77–80. [RW]CrossRefGoogle Scholar
Blum, A. & Rivest, R. (1989) Training a 3-node neural network is NP-complete. In: Advances in neural information processing systems 1, ed. Touretzsky, D.. Kaufmann. [RW]Google Scholar
Bohm, D. J. & Hiley, B. J. (1984) The de Broglie pilot wave theory and further development of new insights arising out of it. In: Quantum, space and time – the quest continues, ed. Barut, A., van der Merwe, A. & Vigier, J. P.. Cambridge University Press. [EJS]Google Scholar
Bond, J. & Huth, G. (1986) Electrostatic modulation of electromagnetically induced nonthermal responses in biological membranes. In: Modern bioelectrochemistry, ed. Gutman, F. & Keyzer, H.. Plenum. [RW]Google Scholar
Boolos, G. (1990) On seeing the truth of the Gödel sentence. Behavioral and Brain Sciences 13(4):655–56. [rRP, MD]CrossRefGoogle Scholar
Bower, J. & Llinas, R. (1983) Simultaneous sampling of the responses of multiple, closely adjacent, Purkinje cells responding to climbing fiber activation. Society for Neuroscience Abstracts 9:607. [RW]Google Scholar
Butterfield, J. (1990) Lucas revived? An undefended flank, Behavioral and Brain Sciences 13(4):658. [SG]CrossRefGoogle Scholar
Davis, M. (1958/1982) Computability and unsolvahility. McGraw-Hill. Reprinted with an appendix, Dover. [MD]Google Scholar
Davis, M. (1977) A relativity principle in quantum mechanics. International Journal of Theoretical Physics 16:867–74. [rRP, MD]CrossRefGoogle Scholar
Davis, M. (1990) Is mathematical insight algorithmic? Behavioral and Brain Sciences 13:659–60. [rRP, MD]CrossRefGoogle Scholar
Davis, M., Matijasevic, Y. & Robinson, J. (1976) Hilbert's tenth problem: Diophantine equations; positive aspects of a negative solution. Proceedings of Symposia in Pure Mathematics 28:323–78. [rRP]CrossRefGoogle Scholar
Dawkins, R. (1986) The blind watchmaker: Why the evidence of evolution reveals a universe without design. Norton. [RW]Google Scholar
Deutsch, D. (1985) Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London A400:97–117. [rRP, RW]Google Scholar
Deutsch, D. (1986) In Quantum concepts of space and time, ed. Penrose, R. & Isham, C. J.. Oxford University Press. [rRP]Google Scholar
Deutsch, D. & Jozsa, R. (1992) Proceedings of the Royal Society (London) A439:553–58. [rRP]Google Scholar
Eccles, J. C. (1970) Facing reality. Springer-Verlag. [DLW]CrossRefGoogle Scholar
Feferman, S. (1988) Turing in the land of O(Z). The universal Titling machine – a half-century survey, ed. Rolf, Herken. Verlag Kemmerer & Unverzagt/Oxford University Press. [rRP, MD]Google Scholar
Frohlich, H. (1986) Coherent excitations in active biological systems. In: Modern bioelectrochemistry, ed. Gutman, F. & Keyzer, H.. Plenum. [RW]Google Scholar
Garey, M. & Johnson, D. (1979) Computers and intractability: A guide to the theory of NP-complctencss. Freeman. [RW]Google Scholar
Ghirardi, G. C., Rimini, A. & Webber, T. (1986) Unified dynamics for microscopic and macroscopic systems. Physical Review D34:471–91. [EJS]Google ScholarPubMed
Gödel, K. (1986/1990) Kurt Gödel, collected works, vol. 1 (orig. pub. 1929–1936) & vol. 2 (orig. pub. 1938–1974), ed. Feferman, S., Dawson, J. W. Jr., Kleene, S. C., Moore, G. H., Solovay, R. M. & van Heijenoort, J.. Oxford University Press. [rRP, MD]Google Scholar
Gray, J. A. (1982) Précis of The neuropsychology of anxiety: An enquiry into the functions of the septo-hippocampal system. Behavioral and Brain Sciences, 5:469–534. [RW]CrossRefGoogle Scholar
Hameroff, S. (1987) Ultimate computing: Biomolecular consciousness and nanotechnology. North Holland. [rRP]Google Scholar
Higginbotham, J. (1990) Penrose's Platonism. Behavioral and Brain Sciences 13(4):667–68. [SC]CrossRefGoogle Scholar
Jozsa, R. (1991) Characterizing classes of functions computable by quantum parallelism. Proceedings of the Royal Society (London) A435:563–74. [rRP]Google Scholar
Kaiser, F. (1978) Coherent oscillations in biological systems II. Limit cycle collapse and the onset of travelling waves in Frohlich's brain wave model. Zeitschrift für Naturforschung 33a:418–31. [RW]CrossRefGoogle Scholar
Kandel, E. (1976) Cellular basis of behavior. W. H. Freeman. [RW]Google Scholar
Kentridge, R. W. (1990) Parallelism and patterns of thought. Behavioral and Brain Sciences 13(4):670–71. [SG]CrossRefGoogle Scholar
Komar, A. B. (1964) Undecidability of macroscopically distinguishable states in quantum field theory, Physical Reviews 1338:542–44. [rRP]CrossRefGoogle Scholar
Lashley, K. S., Chow, K. L. & Semmes, J. (1951) An examination of the electrical field theory of cerebral integration. Psychological Review 58:123–36. [DLW]CrossRefGoogle ScholarPubMed
Libet, B., Gleason, C. A., Wright, E. W. Jr. & Pearl, D. K. (1983) Time of conscious intention to act in relation to onset of cerebral activities (readiness-potential); the unconscious initiation of a freely voluntary act. Brain 106:623–42. [DLW]CrossRefGoogle ScholarPubMed
Lockwood, M. (1989) Mind, brain, and the quantum: The compound I. Basil Blackwell. [RW]Google Scholar
MacVicar, B. & Dudek, F. (1980) Dye-coupling between CA3 pyramidal cells in slices of rat hippocampus. Brain Research 196:494–97. [RWJ]CrossRefGoogle ScholarPubMed
Marshall, I. (1989) Consciousness and Bose-Einstein condensates. New Ideas in Psychology 7(1):73–83. [RW]CrossRefGoogle Scholar
McNaughton, B., Leonard, B. & Chen, L. (1989) Cortico-hippoeampal interactions and cognitive mapping: A hypothesis based on reintegration of the parietal and inferotemporal pathways for visual processing. Psychobiology 17:230–35. [RW]CrossRefGoogle Scholar
Miller, R. (1989) Cortico-hippocampal interplay: Self-organizing phase-locked loops for indexing memory. Psychobiology 17:115–28. [RW]CrossRefGoogle Scholar
Montague, R. (1962) Theories incomparable with respect to relative interpretability. Journal of Symbolic Logic 27:195–211. [SG]CrossRefGoogle Scholar
O'Keefe, J. (1985) Is consciousness the gateway to the hippocampal cognitive map? A speculative essay on the neural basis of mind. In: Brain and mind, ed. Oakley, D. A.. Methuen. [RW]Google Scholar
O'Keefe, J. & Nadel, L. (1978) The hippocampus as a cognitive map. Oxford University Press. [RW]Google Scholar
Peierls, R. (1991) In defence of measurement. Physics World 4:19–20. [EJS]CrossRefGoogle Scholar
Penrose, R. (1989) The emperor's new mind: Concerning computers, minds, and the laws of physics. Oxford University Press. [rRP, MD. SG, DLW, RW]CrossRefGoogle Scholar
Penrose, R. (1990a) Précis of The emperor's new mind: Concerning computers, minds, and the laws of physics. Behavioral and Brain Sciences 13:643–55. [rRP, MD, SG, EJS, DLW, RW]CrossRefGoogle Scholar
Penrose, R. (1990r) The nonalgorithmic mind [Response to commentary]. Behavioral and Brain Sciences 13:692–705. [rRP, MD, SG]CrossRefGoogle Scholar
Penrose, R. (1994) Shadows of the mind. Oxford University Press (in press). [rRP]Google Scholar
Potts, R. (1984) Home bases and early hominids. American Scientist 72:338–47. [RW]Google Scholar
Putnam, H. (1960) Minds and machines. In: Dimensions of mind, ed. Hook, S.. New York University Press. [SG]Google Scholar
Rose, S. (1973) The conscious brain. Knopf. [RW]Google Scholar
Rucker, R. (1982) Infinity and the mind: The science and philosophy of the infinite. Paladin Books/Granada Publishing. [rRP, MD]Google Scholar
Shipman, P. (1986) Scavenging or hunting in early hominids: Theoretical framework and tests. American Anthropologist, 88:27–43. [RW]CrossRefGoogle Scholar
Smullyan, R. M. (1961) Theory of formal systems. Princeton University Press. [SG]CrossRefGoogle Scholar
Sperry, R. W. (1958) Physiological plasticity and brain circuit theory. In: Biological and biochemical bases of behavior, ed. Harlow, H. F. & Woolsey, C. N.. University of Wisconsin Press. [DLW]Google Scholar
Squires, E. J. (1987) The unique world of the Everett version of quantum theory. Foundations of Physics Letters 1:13–20. [EJS]CrossRefGoogle Scholar
Squires, E. J. (1990) Conscious mind in the physical world. Adam-Hilger. [EJS]CrossRefGoogle Scholar
Squires, E. J. (1993) Quantum theory and the relation between conscious mind and the physical world. Synthèse 97 (in press). [EJS]CrossRefGoogle Scholar
Stapp, H. P. (1990) Quantum measurement and the mind-brain connection. University of California at Berkeley preprint LBL-29594. [EJS]Google Scholar
Takeuti, G. (1978) Two applications of logic to mathematics. Iwanami Shoten and Princeton University Press. [rRP, MD]Google Scholar
Teyler, T. & DiScenna, P. (1985) The role of hippocampus in memory: A hypothesis. Neuroscience and Biobehavioral Reviews 9:377–89. [RW]CrossRefGoogle ScholarPubMed
Turing, A. (1939/1965) Systems of logic based on ordinals. Proceedings of the London Mathematical Society, (ser. 2) 45:161–228. Reprinted: The undecidable, ed. M. Davis. Raven Press. [rRP, MD]CrossRefGoogle Scholar
Wallace, R. (1989) Cognitive mapping and the origin of language and mind. Current Anthropology 3:518–26. [RW]CrossRefGoogle Scholar
Witter, M. (1989) Connectivity of the rat hippocampus. In: The hippocampus: New vistas, ed. Chan-Palay, V. E.. Alan R. Liss. [RW]Google Scholar
Woodhouse, N. M. J. (1992) Geometric quantization (2nd. ed.). Oxford University Press. [rRP]CrossRefGoogle Scholar
Wu, T. M. & Austin, S. (1977) Bose condensation in biosystems. Physics Letters 64A: 151–52. [RW]CrossRefGoogle Scholar