“He who refuses to do arithmetic is doomed to talk nonsense.”
PROGRESS AND ITS SUSTAINABILITY http://www-formal.stanford.edu/jmc/progress/ (1995 – )
1990s
John McCarthy, chiamato a volte Zio John McCarthy , è stato un informatico statunitense che ha vinto il Premio Turing nel 1971 per i suoi contributi nel campo dell'intelligenza artificiale. È stato infatti l'inventore del termine "Intelligenza Artificiale" nel 1955 . Wikipedia
“He who refuses to do arithmetic is doomed to talk nonsense.”
PROGRESS AND ITS SUSTAINABILITY http://www-formal.stanford.edu/jmc/progress/ (1995 – )
1990s
" The Little Thoughts of Thinking Machines http://www-formal.stanford.edu/jmc/little.html", Psychology Today, December 1983, pp. 46–49. Reprinted in Formalizing Common Sense: Papers By John McCarthy, 1990, ISBN 0893915351
1980s
John McCarthy (1974), quoted in: Joscha Bach (2009) Principles of Synthetic Intelligence PSI, p. 233
1970s
“When there's a will to fail, obstacles can be found.”
John McCarthy (1983), quoted in The Sayings of John McCarthy http://www-formal.stanford.edu/jmc/sayings.html, at www-formal.stanford.edu, March 1, 2007. Also quoted in Keith Cary Curtis (1996) After the Software Wars. p. 167
1980s
" Ascribing Mental Qualities to Machines http://www-formal.stanford.edu/jmc/ascribing.html" (1979) Sect. 1: Introduction. Reprinted in Formalizing Common Sense: Papers By John McCarthy, 1990, ISBN 0893915351
1970s
" Ascribing Mental Qualities to Machines http://www-formal.stanford.edu/jmc/ascribing.html" (1979) Sect. 5.5: Free Will. Reprinted in Formalizing Common Sense: Papers By John McCarthy, 1990, ISBN 0893915351
1970s
John McCarthy (1979) " History of Lisp http://www-formal.stanford.edu/jmc/lisp/lisp.html," as quoted in: Avron Barr, Edward Feigenbaum. The Handbook of artificial intelligence, Volume 2. Addison-Wesley, 1986. p. 5
1970s
John McCarthy and Patrick J. Hayes. " Some Philosophical Problems from the Standpoint of Artificial Intelligence http://www-formal.stanford.edu/jmc/mcchay69.html", Sect. 2.1, Machine Intelligence 4, ed. Donald Michie (Elsevier, 1969), p. 463 ff., ISBN 0444197443
1960s
" Towards a Mathematical Science of Computation http://www-formal.stanford.edu/jmc/towards.html", Information Processing 1962: Proceedings of IFIP Congress 62, ed. Cicely M. Popplewell (Amsterdam, 1963), pp. 21–28
1960s
John McCarthy, " History of Lisp http://www-formal.stanford.edu/jmc/lisp/lisp.html," 12 February 1979; republished at www-formal.stanford.edu.
1970s
" The Little Thoughts of Thinking Machines http://www-formal.stanford.edu/jmc/little.html", Psychology Today, December 1983, pp. 46–49. Reprinted in Formalizing Common Sense: Papers By John McCarthy, 1990, ISBN 0893915351
1980s
" Generality in Artificial Intelligence http://www-formal.stanford.edu/jmc/generality.html" (1971–1987), ACM Turing Award Lectures: The First Twenty Years, ACM Press, 1987, ISBN 0201077949
1980s