References

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