Book Review
The AMS does not provide abstracts of book reviews.
You may download the entire review from the links below.
MathSciNet review:
1567891
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.
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.
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
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
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.
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, DOI 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.
- 1.
- E. Charniak and D. McDermott, Introduction to artificial intelligence, Addison-Wesley, Reading, Mass., 1985. MR 0785360
- 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
DOI:
https://doi.org/10.1090/S0273-0979-1990-16000-8