Bulletin (New Series) of the American Mathematical Society

Review: Roger Penrose, The emperor's new mind

John McCarthy

Full-text: Open access

Article information

Source
Bull. Amer. Math. Soc. (N.S.), Volume 23, Number 2 (1990), 606-616.

Dates
First available in Project Euclid: 4 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.bams/1183555924

Citation

McCarthy, John. Review: Roger Penrose, The emperor's new mind. Bull. Amer. Math. Soc. (N.S.) 23 (1990), no. 2, 606--616. https://projecteuclid.org/euclid.bams/1183555924


Export citation

References

  • 1. E. Charniak and D. McDermott, Introduction to artificial intelligence, Addison-Wesley, Reading, Mass., 1985.
  • 2. D. C. Dennett, Intentional systems, J. Philos. 68 (4) (1971), Reprinted in his Brainstorms, Bradford Books, Montgomery, Vermont, 1978, pp. 3-22.
  • 3. D. Deutsch, Quantum theory, the Church-Turing principle and the universal quantum computer, Proc. Roy. Soc. London Ser. A 400 (1985), 97-117.
  • 4. S. Feferman, Turing intheland of O(z), The Universal Turing Machine: A Half-Century Survey (R. Herken, ed.), Oxford Univ. Press, Oxford, 1989.
  • 5. M. Ginsberg (ed.), Readings in nonmonotonic reasoning, Morgan Kaufmann, Los Altos, California, 1987.
  • 6. J. McCarthy, Ascribing mental qualities to machines, Philosophical Perspectives in Artificial Intelligence (M. Ringle, ed.), Harvester Press, 1979.
  • 7. A. Quaife, Automated proofs of Löb's theorem and Gödel's two incompleteness theorems, J. Automat. Reasoning 4 (2) (1988), 219-231.
  • 8. J. Searle, Minds, brains and programs, Behavioral and Brain Sci. 3 (3) (1980), 417-458.
  • 9. N. Shankar, Proof-checking Metamathematics, Ph. D. thesis, Computer Science Department, The University of Texas at Austin, 1986.