Skip to main content

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

  • Martin Davis (a1)
Hide All
Albert, D. & Loewer, B. (1988) Interpreting the many-worlds interpretation. Synthèse 77:195213. [EJS]
Aspect, A. & Grangier, B. (1990) Wave-particle duality: A case study. In: Sixty-two years of uncertainty, ed. Miller, A. I.. Plenum. [EJS]
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:7780. [RW]
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]
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]
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]
Boolos, G. (1990) On seeing the truth of the Gödel sentence. Behavioral and Brain Sciences 13(4):655–56. [rRP, MD]
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]
Butterfield, J. (1990) Lucas revived? An undefended flank, Behavioral and Brain Sciences 13(4):658. [SG]
Davis, M. (1958/1982) Computability and unsolvahility. McGraw-Hill. Reprinted with an appendix, Dover. [MD]
Davis, M. (1977) A relativity principle in quantum mechanics. International Journal of Theoretical Physics 16:867–74. [rRP, MD]
Davis, M. (1990) Is mathematical insight algorithmic? Behavioral and Brain Sciences 13:659–60. [rRP, MD]
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]
Dawkins, R. (1986) The blind watchmaker: Why the evidence of evolution reveals a universe without design. Norton. [RW]
Deutsch, D. (1985) Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London A400:97117. [rRP, RW]
Deutsch, D. (1986) In Quantum concepts of space and time, ed. Penrose, R. & Isham, C. J.. Oxford University Press. [rRP]
Deutsch, D. & Jozsa, R. (1992) Proceedings of the Royal Society (London) A439:553–58. [rRP]
Eccles, J. C. (1970) Facing reality. Springer-Verlag. [DLW]
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]
Frohlich, H. (1986) Coherent excitations in active biological systems. In: Modern bioelectrochemistry, ed. Gutman, F. & Keyzer, H.. Plenum. [RW]
Garey, M. & Johnson, D. (1979) Computers and intractability: A guide to the theory of NP-complctencss. Freeman. [RW]
Ghirardi, G. C., Rimini, A. & Webber, T. (1986) Unified dynamics for microscopic and macroscopic systems. Physical Review D34:471–91. [EJS]
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]
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:469534. [RW]
Hameroff, S. (1987) Ultimate computing: Biomolecular consciousness and nanotechnology. North Holland. [rRP]
Higginbotham, J. (1990) Penrose's Platonism. Behavioral and Brain Sciences 13(4):667–68. [SC]
Jozsa, R. (1991) Characterizing classes of functions computable by quantum parallelism. Proceedings of the Royal Society (London) A435:563–74. [rRP]
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]
Kandel, E. (1976) Cellular basis of behavior. W. H. Freeman. [RW]
Kentridge, R. W. (1990) Parallelism and patterns of thought. Behavioral and Brain Sciences 13(4):670–71. [SG]
Komar, A. B. (1964) Undecidability of macroscopically distinguishable states in quantum field theory, Physical Reviews 1338:542–44. [rRP]
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]
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]
Lockwood, M. (1989) Mind, brain, and the quantum: The compound I. Basil Blackwell. [RW]
MacVicar, B. & Dudek, F. (1980) Dye-coupling between CA3 pyramidal cells in slices of rat hippocampus. Brain Research 196:494–97. [RWJ]
Marshall, I. (1989) Consciousness and Bose-Einstein condensates. New Ideas in Psychology 7(1):7383. [RW]
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]
Miller, R. (1989) Cortico-hippocampal interplay: Self-organizing phase-locked loops for indexing memory. Psychobiology 17:115–28. [RW]
Montague, R. (1962) Theories incomparable with respect to relative interpretability. Journal of Symbolic Logic 27:195211. [SG]
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]
O'Keefe, J. & Nadel, L. (1978) The hippocampus as a cognitive map. Oxford University Press. [RW]
Peierls, R. (1991) In defence of measurement. Physics World 4:1920. [EJS]
Penrose, R. (1989) The emperor's new mind: Concerning computers, minds, and the laws of physics. Oxford University Press. [rRP, MD. SG, DLW, RW]
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]
Penrose, R. (1990r) The nonalgorithmic mind [Response to commentary]. Behavioral and Brain Sciences 13:692705. [rRP, MD, SG]
Penrose, R. (1994) Shadows of the mind. Oxford University Press (in press). [rRP]
Potts, R. (1984) Home bases and early hominids. American Scientist 72:338–47. [RW]
Putnam, H. (1960) Minds and machines. In: Dimensions of mind, ed. Hook, S.. New York University Press. [SG]
Rose, S. (1973) The conscious brain. Knopf. [RW]
Rucker, R. (1982) Infinity and the mind: The science and philosophy of the infinite. Paladin Books/Granada Publishing. [rRP, MD]
Shipman, P. (1986) Scavenging or hunting in early hominids: Theoretical framework and tests. American Anthropologist, 88:2743. [RW]
Smullyan, R. M. (1961) Theory of formal systems. Princeton University Press. [SG]
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]
Squires, E. J. (1987) The unique world of the Everett version of quantum theory. Foundations of Physics Letters 1:1320. [EJS]
Squires, E. J. (1990) Conscious mind in the physical world. Adam-Hilger. [EJS]
Squires, E. J. (1993) Quantum theory and the relation between conscious mind and the physical world. Synthèse 97 (in press). [EJS]
Stapp, H. P. (1990) Quantum measurement and the mind-brain connection. University of California at Berkeley preprint LBL-29594. [EJS]
Takeuti, G. (1978) Two applications of logic to mathematics. Iwanami Shoten and Princeton University Press. [rRP, MD]
Teyler, T. & DiScenna, P. (1985) The role of hippocampus in memory: A hypothesis. Neuroscience and Biobehavioral Reviews 9:377–89. [RW]
Turing, A. (1939/1965) Systems of logic based on ordinals. Proceedings of the London Mathematical Society, (ser. 2) 45:161228. Reprinted: The undecidable, ed. M. Davis. Raven Press. [rRP, MD]
Wallace, R. (1989) Cognitive mapping and the origin of language and mind. Current Anthropology 3:518–26. [RW]
Witter, M. (1989) Connectivity of the rat hippocampus. In: The hippocampus: New vistas, ed. Chan-Palay, V. E.. Alan R. Liss. [RW]
Woodhouse, N. M. J. (1992) Geometric quantization (2nd. ed.). Oxford University Press. [rRP]
Wu, T. M. & Austin, S. (1977) Bose condensation in biosystems. Physics Letters 64A: 151–52. [RW]
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Behavioral and Brain Sciences
  • ISSN: 0140-525X
  • EISSN: 1469-1825
  • URL: /core/journals/behavioral-and-brain-sciences
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed