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. E. Charniak and D. McDermott, Introduction to artificial intelligence, Addison-Wesley, Reading, Mass., 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), 97-117. MR 801665
  • 4. S. Feferman, Turing intheland of O(z), The Universal Turing Machine: A Half-Century Survey (R. Herken, ed. ), Oxford Univ. Press, Oxford, 1989. MR 1011465
  • 5. M. Ginsberg (ed. ), Readings in nonmonotonic reasoning, Morgan Kaufmann, Los Altos, California, 1987. MR 954658
  • 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. 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