Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
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

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 (86k:68084)
  • 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 (87a:81017)
  • 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 (91b:03004)
  • 5. Readings in nonmonotonic reasoning, Morgan Kaufmann, Palo Alto, CA, 1987. Edited and with an introduction by Matthew L. Ginsberg. MR 954658 (89m:68003)
  • 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 (90f:03026), http://dx.doi.org/10.1007/BF00244396
  • 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
DOI: http://dx.doi.org/10.1090/S0273-0979-1990-16000-8
PII: S 0273-0979(1990)16000-8