John McCarthy (computer scientist)

John McCarthy (computer scientist)
"null0" · CC BY-SA 2.0 · source
Name	John McCarthy
Birth date	1927-09-04
Birth place	Boston, Massachusetts, U.S.
Death date	2011-10-24
Death place	Stanford, California, U.S.
Nationality	American
Fields	Computer science, Artificial intelligence, Mathematics
Institutions	Massachusetts Institute of Technology; Dartmouth College; Stanford University; Bell Labs
Alma mater	California Institute of Technology; Princeton University; Massachusetts Institute of Technology
Doctoral advisor	Paul Halmos
Known for	Lisp, Artificial intelligence, Time-sharing, Advice taker

Contents

John McCarthy (computer scientist) was an American computer scientist and cognitive scientist best known for coining the term Artificial intelligence and for developing the Lisp programming language, foundational work in time-sharing systems, and formalizing concepts in logic and knowledge representation. His career spanned institutions such as Massachusetts Institute of Technology, Stanford University, Bell Labs, and the Dartmouth Conference, influencing researchers across Computer science, Mathematics, and Cognitive science. McCarthy's ideas shaped projects at organizations including IBM, AT&T, SRI International, and academic groups at Carnegie Mellon University and University of California, Berkeley.

Early life and education

McCarthy was born in Boston, Massachusetts and raised in Staten Island, studying at the California Institute of Technology before transferring to Princeton University, where he completed a bachelor's degree and then proceeded to earn a Ph.D. in mathematics under advisor Paul Halmos at Princeton University and later held a postdoctoral association with Harvard University and Massachusetts Institute of Technology. During his formative years he interacted with contemporaries from Norbert Wiener's circles, attended seminars at Institute for Advanced Study, and engaged with researchers from Bell Labs and RAND Corporation. His education connected him to mathematicians and logicians such as Kurt Gödel, Alonzo Church, Alan Turing, and Emil Post, informing his later work in formal systems and computability.

McCarthy organized the 1956 Dartmouth Conference that helped establish Artificial intelligence as a field and coined the term in correspondence with collaborators including Marvin Minsky, Nathaniel Rochester, and Claude Shannon. He designed Lisp to implement symbolic manipulation and recursion, influencing languages like Scheme, Common Lisp, and systems at MIT AI Lab and Xerox PARC. McCarthy introduced the Advice taker concept and formalized non-monotonic reasoning and circumscription, impacting work by Edward Feigenbaum, John S. McCarthy, Ray Solomonoff, and Allan Newell. He proposed the situation calculus and modal logics for representing Knowledge representation that were applied in projects at Stanford Research Institute and later in autonomous systems research at NASA and DARPA. His work on time-sharing and the design of interactive computing environments influenced developments at Project MAC and integration with systems from DEC, IBM, and Bell Labs. McCarthy contributed to the formal study of Artificial general intelligence and debated policy and ethics with figures from Association for the Advancement of Artificial Intelligence, European Parliament committees, and academic forums involving Herbert Simon, Patrick Winston, and Judea Pearl.

After early appointments at Princeton University and Dartmouth College, McCarthy joined MIT where he participated in the founding of Project MAC and later moved to Stanford University to establish the SAIL, collaborating with researchers from Carnegie Mellon University, University of California, Berkeley, and Harvard University. He worked at Bell Labs on switching theory and at SRI International on AI planning, held visiting professorships at Oxford University and École Polytechnique, and consulted for corporations such as IBM and AT&T. McCarthy supervised graduate students who became prominent researchers at institutions including CSAIL, University of California, San Diego, and Cornell University, and he served on advisory boards for agencies like DARPA and National Science Foundation.

McCarthy received numerous recognitions including the Turing Award from the Association for Computing Machinery, election to the National Academy of Engineering and the National Academy of Sciences, the Kyoto Prize, and the Japan Prize for contributions to Artificial intelligence and Computer science. He was named a fellow of the Association for the Advancement of Artificial Intelligence and received honorary degrees from universities such as Harvard University, University of Edinburgh, and University of Tokyo. Professional societies including the IEEE and the American Association for the Advancement of Science honored his work, and institutions such as Stanford University and MIT established lectures and awards in his name.

McCarthy's personal interactions included collaborations with Marvin Minsky, Herbert Simon, Noam Chomsky, and critics such as Joseph Weizenbaum, influencing discourse at venues like AAAI conferences and panels at World Economic Forum meetings. He retired to Stanford, California where he continued to publish on Artificial intelligence theory, ethics, and public policy, and his archives are housed in university collections at Stanford University and Massachusetts Institute of Technology. McCarthy's legacy endures through Lisp implementations, curricula at SAIL and MIT, and ongoing research in Knowledge representation, Machine learning, and Autonomous agents across institutions such as Google DeepMind, OpenAI, and international research centers.