• John McCarthy’s collection of numerical facts for use in elisp programs http://www-formal.stanford.edu/jmc/facts.txt 79 comments 7/9/2023
• Recursive Functions of Symbolic Expressions Computation by Machine (1960) http://www-formal.stanford.edu/jmc/recursive/recursive.html 13 comments 4/10/2022
• The Robot and the Baby (2004) http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html 5 comments 27/10/2021
• A Proposal for the Dartmouth Research Project on Artificial Intelligence (1955) http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html 10 comments 14/8/2021
• Review of “Artificial Intelligence: A General Survey” (1993) http://www-formal.stanford.edu/jmc/reviews/lighthill/lighthill.html 9 comments 4/12/2019
• Recursive Functions of Symbolic Expressions and Their Computation (1960) http://www-formal.stanford.edu/jmc/recursive/recursive.html 6 comments 25/7/2016
• A Proposal For the Dartmouth Summer Research Project on A.I. (1955) http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html 47 comments 12/7/2016
• Making Robots Conscious of Their Mental State (2002) http://www-formal.stanford.edu/jmc/consciousness/consciousness.html 21 comments 17/12/2015
• “The Home Information Terminal – A 1970 View” by John McCarthy [pdf] http://www-formal.stanford.edu/jmc/hoter2.pdf 9 comments 11/10/2015
• The Home Information Terminal (1970) [pdf] http://www-formal.stanford.edu/jmc/hoter2.pdf 3 comments 4/9/2015
• Elephant 2000: A Programming Language Based on Speech Acts (1989) http://www-formal.stanford.edu/jmc/elephant/elephant.html 4 comments 5/3/2015
• Technology and the Position of Women by John McCarthy http://www-formal.stanford.edu/jmc/future/women.html 19 comments 2/1/2014
• “The Robot and the Baby” by John McCarthy http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html 28 comments 1/1/2014
• History of Lisp http://www-formal.stanford.edu/jmc/history/lisp/lisp.html 20 comments 5/6/2013
• He who refuses to do arithmetic is doomed to talk nonsense http://www-formal.stanford.edu/jmc/progress/ 63 comments 7/6/2011
• Lisp inventor John McCarthy on human progress and its sustainability http://www-formal.stanford.edu/jmc/progress/index.html 51 comments 9/2/2011
• John McCarthy on the importance of doing the math http://www-formal.stanford.edu/jmc/progress/arithmetic.html 7 comments 1/12/2010
• Keep The Boy In School [historic ad, 1921] http://www-formal.stanford.edu/jmc/progress/notes.html#tractor 2 comments 5/10/2008

• A Basis for a Mathematical Theory of Computation http://www-formal.stanford.edu/jmc/basis1/node1.html#SECTION00010000000000000000 6 comments 18/9/2024 programming
• John McCarthy’s collection of numerical facts for use in elisp programs https://www-formal.stanford.edu/jmc/facts.txt 2 comments 7/9/2023 emacs
• Recursive Functions of Symbolic Expressions and Their Computation by Machine http://www-formal.stanford.edu/jmc/recursive.pdf 3 comments 6/2/2023 lisp
• Proving Correctness of LISP Programs http://www-formal.stanford.edu/jmc/lisp20th/node4.html 3 comments 14/7/2022 lisp
• Question from a new Lisper http://www-formal.stanford.edu/jmc/recursive.pdf 19 comments 23/5/2022 lisp
• The creator of Lisp knew F expressions https://web.archive.org/web/20131004222119/http://www-formal.stanford.edu/jmc/robotandbaby/robotandbaby.html 4 comments 30/3/2016 programming
• History of Lisp http://www-formal.stanford.edu/jmc/history/lisp/lisp.html 2 comments 5/6/2013 programming
• TIL the Lisp world came up with all of XML without the pain in 1982 http://www-formal.stanford.edu/jmc/cbcl.html 59 comments 6/1/2011 programming
• JOHN MCCARTHY WEB PAGE http://www-formal.stanford.edu/jmc/frames.html 25 comments 23/12/2010 programming
• On November 18, 1992, more than 1,600 scientists, including 104 Nobel laureates, from around the world endorsed a warning. Here's what they said. http://www-formal.stanford.edu/jmc/progress/ucs-statement.txt 581 comments 21/9/2009 worldnews
• John McCarthy, inventor of Lisp, on why human material progress is desirable and sustainable. http://www-formal.stanford.edu/jmc/progress/ 17 comments 14/5/2009 technology
• Challenge: write an algorithm which solves the Réti problem on a 100x100 board [John McCarthy] http://www-formal.stanford.edu/jmc/reti.html 6 comments 1/2/2009 programming
• CS Classic: McCarthy, Minsky, Rochester & Shannon's "A Proposal for the Dartmouth Summer Research Project On Artificial Intelligence" http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html 3 comments 3/8/2008 compsci
• SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE: John McCarthy http://www-formal.stanford.edu/jmc/mcchay69/mcchay69.html 9 comments 5/5/2008 programming
• John McCarthy: LISP -- Notes on its Past and Future http://www-formal.stanford.edu/jmc/lisp20th.html 4 comments 27/2/2008 programming
• The Wisdom of John McCarthy, inventor of LISP: "No-one has yet built a monument so high that a bird can't fly over and shit on it." http://www-formal.stanford.edu/jmc/sayings.html?resubmitted 5 comments 28/2/2007 reddit.com
• John McCarthy (creator of Lisp) on Determinism and Free Will http://www-formal.stanford.edu/jmc/freewill/freewill.html 2 comments 17/1/2007 programming
• John McCarthy (inventor of Lisp) refutes Searle's Chinese Room thought experiment http://www-formal.stanford.edu/jmc/chinese.html 78 comments 24/9/2006 reddit.com
• Inventor of Lisp proves sustainability of human progress http://www-formal.stanford.edu/jmc/progress/ 2 comments 3/3/2006 reddit.com
• Inventor of Lisp argues: Economy could get by without a drop of oil. http://www-formal.stanford.edu/jmc/progress/energy.html 15 comments 3/3/2006 reddit.com

• Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts http://www-formal.stanford.edu/jmc/ascribing.html 12 comments 21/1/2009 General
• J. McCarthy: Towards a Mathematical Science of Computation http://www-formal.stanford.edu/jmc/towards.pdf 19 comments 3/4/2003 theory