**Abelson and Sussman, 1985****Abelson, Harold and Gerald Sussman**:*Structure and Interpretation of Computer Programs*, M.I.T. Press, 1985.**Feferman, 1988****Feferman, Solomon**: ``Turing in the land of*O*(*z*). In*The Universal Turing Machine: a Half-century Survey*(ed. R. Herken). Oxford University Press, 1988.**Gödel, 1940****Gödel, Kurt**:*The Consistency of The Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory*. Princeton University Press, 1940.**McCarthy and Hayes, 1969****McCarthy, John and P.J. Hayes**: ``Some Philosophical Problems from the Standpoint of Artificial Intelligence'', in D. Michie (ed),*Machine Intelligence 4*, American Elsevier, New York, NY, 1969. Reprinted in [McCarthy, 1990].**McCarthy, 1989**-
**McCarthy, John (1989)**: ``Artificial Intelligence and Logic'' in Thomason, Richmond (ed.)*Philosophical Logic and Artificial Intelligence*(Dordrecht ; Kluwer Academic, c1989). Also accessible from http://www-formal.stanford.edu/jmc/home.html. **McCarthy, 1990**-
**McCarthy, John (1990)**:*Formalizing Common Sense*, Ablex, Norwood, New Jersey, 1990. **McCarthy, 1990a****McCarthy, John (1990a)**: Review of*The Emperor's New Mind*by Roger Penrose, in*Bulletin of the American Mathematical Society*, Volume 23, Number 2, October 1990, pp. 606-616. Also accessible from http://www-formal.stanford.edu/jmc/home.html.**McCarthy, 1993****McCarthy, John (1993)**: ``Notes on Formalizing Context'' IJCAI-93. Morgan-Kauffman. Also accessible from http://www-formal.stanford.edu/jmc/home.html.**McCarthy, 1995**-
**McCarthy, John (1995)**: ``Making Robots Conscious of their Mental States''. Invited lecture at the Symposium on Consciousness, AAAI, Spring 1995. Also accessible from http://www-formal.stanford.edu/jmc/home.html.

/@sail.stanford.edu:/u/jmc/w95/penrose2.tex: begun 1995 Jan 16, latexed

JanFebMarAprMayJun
JulAugSepOctNovDec at :< 10 0

Sun Apr 18 22:27:26 PDT 1999