Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.

Full text of review: PDF   This review is available free of charge.
Book Information:

Author: Roger Penrose
Title: The emperor's new mind
Additional book information: Oxford University Press, Oxford, New York, Melbourne, 1989, xiii + 466 pp., $24.95. ISBN 0-19-851973-7.

References [Enhancements On Off] (What's this?)

  • 1. Eugene Charniak and Drew McDermott, Introduction to artificial intelligence, Addison-Wesley Publishing Company, Advanced Book Program, Reading, MA, 1985. MR 785360
  • 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), no. 1818, 97–117. MR 801665
  • 4. Rolf Herken (ed.), The universal Turing machine: a half-century survey, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1988. MR 1011465
  • 5. Readings in nonmonotonic reasoning, Morgan Kaufmann, Palo Alto, CA, 1987. Edited and with an introduction by Matthew L. Ginsberg. MR 954658
  • 6. J. McCarthy, Ascribing mental qualities to machines, Philosophical Perspectives in Artificial Intelligence (M. Ringle, ed. ), Harvester Press, 1979.
  • 7. Art Quaife, Automated proofs of Löb’s theorem and Gödel’s two incompleteness theorems, J. Automat. Reason. 4 (1988), no. 2, 219–231. MR 952041,
  • 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.

Review Information:

Reviewer: John McCarthy
Journal: Bull. Amer. Math. Soc. 23 (1990), 606-616
American Mathematical Society