|
Book Review
The AMS does not provide abstracts of book reviews.
You may download the entire review from the links below.
Retrieve article in:
PDF
Book Information
Author(s):
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:
- 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.
Additional Information:
Reviewer(s):
John
McCarthy
Review Information:
Journal:
Bull. Amer. Math. Soc.
23
(1990),
606-616.
DOI:
10.1090/S0273-0979-1990-16000-8
PII:
S 0273-0979(1990)16000-8
|
