25,161
edits
Changes
Created page with "'''Home * People * John McCarthy''' File:John_McCarthy_Stanford.jpg|border|right|thumb|220px|John McCarthy <ref>John McCarthy, 2006, [https://en.wikipedia.org/wiki/..."
'''[[Home]] * [[People]] * John McCarthy'''
[[File:John_McCarthy_Stanford.jpg|border|right|thumb|220px|John McCarthy <ref>John McCarthy, 2006, [https://en.wikipedia.org/wiki/Wikimedia_Commons Wikimedia Commons]</ref>]]
'''John McCarthy''', (September 4, 1927 - October 23, 2011 <ref>[http://www.theregister.co.uk/2011/10/24/father_lisp_ai_john_mccarthy_dies/ Father of Lisp and AI John McCarthy has died • The Register] by [http://search.theregister.co.uk/?author=Iain%20Thomson Iain Thomson], October 24, 2011</ref>)
was an American researcher in computer science and pioneer in the field of [[Artificial Intelligence|artificial intelligence]]. After short-term appointments at Princeton, [[Stanford University|Stanford]], [[Dartmouth College|Dartmouth]], and [[Massachusetts Institute of Technology|MIT]], John McCarthy became a full professor at [[Stanford University|Stanford]] in 1962, where he remained until his retirement at the end of 2000. In [[Timeline#1955|1955]], McCarthy co-organized the [https://en.wikipedia.org/wiki/Dartmouth_Conference Dartmouth Conference] <ref>John McCarthy, [[Marvin Minsky]], [[Nathaniel Rochester]], [[Claude Shannon]] ('''1955'''). ''[http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence]''.</ref>, where he coined the term Artificial intelligence, and introduced the idea of the [[Alpha-Beta|Alpha-beta algorithm]], to become their eponym. Alpha-beta was also approximated by [[Herbert Simon]] with [[Allen Newell]] and [[Arthur Samuel]] and was released to the public by [[Daniel Edwards]] and [[Timothy Hart]] in 1961 <ref>[[Daniel Edwards]], [[Timothy Hart]] ('''1961'''). ''The Alpha-Beta Heuristic''. AIM-030, [http://dspace.mit.edu/handle/1721.1/6098 DSpace] at [[Massachusetts Institute of Technology|MIT]]</ref> and independently by [[Alexander Brudno]] in 1963 <ref>[[Alexander Brudno]] ('''1963'''). ''Bounds and valuations for shortening the search of estimates''. Problemy Kibernetiki (10) 141–150 and Problems of Cybernetics (10) 225–241</ref> . In 1958 at [[Massachusetts Institute of Technology|MIT]], John McCarthy created the [[Lisp]] programming language <ref>[https://en.wikipedia.org/wiki/Lisp_%28programming_language%29 The Lisp programming language from Wikipedia]</ref>.
=Photos=
[[File:JohnMcCarthy.jpg|none|border|text-bottom|560px]]
John McCarthy, playing chess at Stanford's [[IBM 7090]], 1967 <ref>[http://www.computerhistory.org/chess/index.php History of Computer Chess] from [[The Computer History Museum]]</ref> <ref>[http://infolab.stanford.edu/pub/voy/museum/pictures/display/1-1.htm CSD founding faculty] from [http://infolab.stanford.edu/pub/voy/museum/phototour.html Computer History Exhibits Photo Tour] created January 2000 by [http://infolab.stanford.edu/~gio/ Gio Wiederhold]</ref> <ref>See also image from [http://www.grg.org/breakingnews2011.htm Breaking News for 2011 - "Obituary: Emeritus Professor John McCarthy of Stanford University (1927 - -2011)"] by [[L. Stephen Coles]]</ref>
[[File:ShannonMcCarthyFredkinWeizenbaum.jpg|none|border|text-bottom|560px]]
[[Claude Shannon]], John McCarthy, [[Edward Fredkin|Ed Fredkin]] and [https://en.wikipedia.org/wiki/Joseph_Weizenbaum Joseph Weizenbaum] (1966) <ref>[http://www.ilmarefilm.org/W_E_4_70.htm Weizenbaum. Rebel at Work]. A documentary by [http://www.ilmarefilm.org/W_E_8.htm Peter Haas and Silvia Holzinger]</ref>
[[File:AdelsonVelskyMcCarthy.jpg|none|border|text-bottom|560px]]
[[Georgy Adelson-Velsky]] and John McCarthy playing chess, Soviet-American computer science conference, [https://en.wikipedia.org/wiki/Urgench Urgench], 1979 <ref>[http://www.forevermissed.com/georgy-m-adelson-velsky/gallery#gallery%2Fphotos Photos of Georgy M Adelson-Velsky (1922 - 2014) - ForeverMissed.com], shared by: [http://iitp.ru/en/users/189.htm Семен Карпенко], June 01, 2014</ref>
=Kotok-McCarthy=
Between 1959 and 1962, students of John McCarthy at [[Massachusetts Institute of Technology]], [[Alan Kotok]], [[Elwyn Berlekamp]] (1960), [[Michael A. Lieberman]], [[Charles Niessen]] and [[Robert A. Wagner]], wrote a chess program for the [[IBM 7090]]. When McCarthy left MIT to take charge of the Arificial Intelligence Laboratory at [[Stanford University|Stanford]], he took Kotok's program with him and improved it's searching. In 1965, McCarthy visited the Soviet Union and was challenged by [[Alexander Kronrod]] for a computer chess match. At the end of 1966 the [[Stanford-ITEP Match|four game match]] began between the [[Kotok-McCarthy-Program]], running on a [[IBM 7090]] computer, and a [[ITEP Chess Program|program]] developed at the [[Institute of Theoretical and Experimental Physics]] (ITEP) in Moscow which used a Soviet [[M-2]] computer. The match played over nine months was won 3-1 by the The ITEP program.
=Quotes=
==Alpha-Beta==
{{Quote McCarthy on Alpha-Beta}}
==What is AI?==
{{Quote McCarthy on AI}}
=Selected Publications=
==1955 ...==
* John McCarthy, [[Marvin Minsky]], [[Nathaniel Rochester]], [[Claude Shannon]] ('''1955'''). ''[http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence]''.
* [[Claude Shannon]], John McCarthy (eds.) ('''1956'''). ''Automata Studies''. [https://en.wikipedia.org/wiki/Annals_of_Mathematics Annals of Mathematics Studies], No. 34, [http://books.google.com/books?id=oL57iECEeEwC&printsec=frontcover&dq=John+McCarthy,+Claude+Shannon++Automata+Studies&source=bl&ots=xtK2thLQi_&sig=6_n_Me0_lqG11pOoA6b7_ebomM8&hl=de&ei=j2lMTdbYD9GQswby_eWUDw&sa=X&oi=book_result&ct=result&resnum=1&ved=0CB8Q6AEwAA#v=onepage&q&f=false Google books]
: John McCarthy ('''1956'''). ''[http://jmc.stanford.edu/articles/inversion.html Inversion of Functions Defined by Turing Machines]''.
* John McCarthy ('''1958'''). ''An Algebraic Language for the Manipulation of Symbolic Expressions''. Memo No. 1, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-001.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight] <ref>[http://www.softwarepreservation.org/projects/LISP/lisp15_family/ LISP 1.5 family — Software Preservation Group] from [[The Computer History Museum]]</ref>
* John McCarthy ('''1958'''). ''A Revised Version of "MAPLIST"''. Memo 2, Symbol Manipulating Language, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center
* John McCarthy ('''1958'''). ''Symbol Manipulating Language - Revisions of the Language''. Memo 3, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-003.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight]
* John McCarthy ('''1958'''). ''Symbol Manipulating Language - Revisions of the Language''. Memo 4, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-004.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight]
* John McCarthy ('''1959'''). ''Programs with Common Sense''. [https://www.cs.cornell.edu/selman/cs672/readings/mccarthy-upd.pdf pdf]
==1960 ...==
* John McCarthy ('''1960'''). ''Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I''. [http://www-formal.stanford.edu/jmc/recursive.pdf pdf], the original paper on [[Lisp]]
* John McCarthy, [[Paul W. Abrahams]], [[Daniel Edwards|Daniel J. Edwards]], [[Timothy Hart|Timothy P. Hart]], [[Michael Levin|Michael I. Levin]] ('''1962''') ''LISP 1.5 Programmer's Manual''. MIT Press, second edition (1985) [http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf pdf] <ref>[http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf/view McCarthy et al. LISP 1.5 Programmer's Manual] from [[The Computer History Museum]] Software Preservation Group</ref>
* John McCarthy, James Painter ('''1967'''). ''Correctness of a Compiler for Arithmetic Expressions''. [http://staff.um.edu.mt/afra1/seminar/comp-corr.pdf pdf]
==1970 ...==
* John McCarthy ('''1979'''). ''[http://jmc.stanford.edu/articles/lisp.html History of Lisp]''. Artificial Intelligence Laboratory, [[Stanford University]]
==1980 ...==
* John McCarthy ('''1989'''). ''The Fruitfly on the Fly''. [[ICGA Journal#12_4|ICCA Journal, Vol. 12, No. 4]]
==1990 ...==
* John McCarthy ('''1990'''). ''Chess as the Drosophila of AI''. [[Computers, Chess, and Cognition]]
* John McCarthy, [[Edward Feigenbaum]] ('''1991'''). ''In Memoriam. Arthur L. Samuel: Pioneer in Machine Learning.'' [[ICGA Journal#14_1|ICCA Journal, Vol. 14, No. 1]] » [[Arthur Samuel]]
* John McCarthy ('''1996'''). ''The Mutilated Checkerboard in Set Theory''. available as 2001 [http://www-formal.stanford.edu/jmc/checkerboard1.pdf pdf reprint]
* John McCarthy ('''1997'''). ''[http://science.sciencemag.org/content/276/5318/1518 AI as Sport]''. [[Science]], Vol. 276, June 6, pp. 1518-1519
* John McCarthy ('''1997'''). ''Chess as the Drosophila of AI''. Computer Science Department, [[Stanford University]], condensed version of the 1990 paper, [https://pdfs.semanticscholar.org/91b7/71a8ce5b417c22507852f2a29738836856a6.pdf pdf]
==2010 ...==
* [https://en.wikipedia.org/wiki/Johan_van_Benthem_(logician) Johan van Benthem] ('''2011'''). ''John McCarthy (1927-2011)''. [[ICGA Journal#34_4|ICGA Journal, Vol. 34, No. 4]]
=See also=
* [[Artificial Intelligence]]
* [[History|History of Computer Chess]]
* [[Alpha-Beta#HistoryAlphaBeta|History of Alpha-Beta]]
* [[Kotok-McCarthy-Program]]
* [[Stanford-ITEP Match]]
* [[History#AIPerspective|The History of Computer Chess - an AI Perspective - Video]]
* [[David Levy#TheLevyBet|The Levy Bet]]
=Postings=
* [http://www.talkchess.com/forum/viewtopic.php?t=40898 In memoriam of John McCarthy] by Mel Cooper, [[CCC]], October 26, 2011
=External Links=
* [https://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29 John McCarthy from Wikipedia]
* [http://jmc.stanford.edu/index.html Professor John McCarthy]
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=22145 The Mathematics Genealogy Project - John McCarthy]
* [http://amturing.acm.org/award_winners/mccarthy_0239596.cfm John McCarthy - A.M. Turing Award Winner]
: [http://amturing.acm.org/photo/mccarthy_0239596.cfm John McCarthy Photo Essay - A.M. Turing Award Winner]
* [http://www.theregister.co.uk/2011/10/24/father_lisp_ai_john_mccarthy_dies/ Father of Lisp and AI John McCarthy has died • The Register] by [http://search.theregister.co.uk/?author=Iain%20Thomson Iain Thomson ], October 24, 2011
* [http://www.guardian.co.uk/technology/2011/oct/25/john-mccarthy John McCarthy obituary] by [http://www.guardian.co.uk/profile/jackschofield Jack Schofield], [https://en.wikipedia.org/wiki/Guardian.co.uk guardian.co.uk], October 25, 2011
* [http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84] by [http://soe.stanford.edu/research/layout.php?sunetid=admyers Andrew Myers], October 25, 2011
* [http://www.grg.org/breakingnews2011.htm Breaking News for 2011 - "Obituary: Emeritus Professor John McCarthy of Stanford University (1927 - -2011)"] by [[L. Stephen Coles]]
* John McCarthy (1927-2011): Artificial Intelligence - [https://en.wikipedia.org/wiki/Thinking_Allowed_%28PBS%29 Thinking Allowed] by [http://www.thinkingallowed.com/jm.html Jeffrey Mishlove] (1989), [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: {{#evu:https://www.youtube.com/watch?v=Ozipf13jRr4|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
[[File:John_McCarthy_Stanford.jpg|border|right|thumb|220px|John McCarthy <ref>John McCarthy, 2006, [https://en.wikipedia.org/wiki/Wikimedia_Commons Wikimedia Commons]</ref>]]
'''John McCarthy''', (September 4, 1927 - October 23, 2011 <ref>[http://www.theregister.co.uk/2011/10/24/father_lisp_ai_john_mccarthy_dies/ Father of Lisp and AI John McCarthy has died • The Register] by [http://search.theregister.co.uk/?author=Iain%20Thomson Iain Thomson], October 24, 2011</ref>)
was an American researcher in computer science and pioneer in the field of [[Artificial Intelligence|artificial intelligence]]. After short-term appointments at Princeton, [[Stanford University|Stanford]], [[Dartmouth College|Dartmouth]], and [[Massachusetts Institute of Technology|MIT]], John McCarthy became a full professor at [[Stanford University|Stanford]] in 1962, where he remained until his retirement at the end of 2000. In [[Timeline#1955|1955]], McCarthy co-organized the [https://en.wikipedia.org/wiki/Dartmouth_Conference Dartmouth Conference] <ref>John McCarthy, [[Marvin Minsky]], [[Nathaniel Rochester]], [[Claude Shannon]] ('''1955'''). ''[http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence]''.</ref>, where he coined the term Artificial intelligence, and introduced the idea of the [[Alpha-Beta|Alpha-beta algorithm]], to become their eponym. Alpha-beta was also approximated by [[Herbert Simon]] with [[Allen Newell]] and [[Arthur Samuel]] and was released to the public by [[Daniel Edwards]] and [[Timothy Hart]] in 1961 <ref>[[Daniel Edwards]], [[Timothy Hart]] ('''1961'''). ''The Alpha-Beta Heuristic''. AIM-030, [http://dspace.mit.edu/handle/1721.1/6098 DSpace] at [[Massachusetts Institute of Technology|MIT]]</ref> and independently by [[Alexander Brudno]] in 1963 <ref>[[Alexander Brudno]] ('''1963'''). ''Bounds and valuations for shortening the search of estimates''. Problemy Kibernetiki (10) 141–150 and Problems of Cybernetics (10) 225–241</ref> . In 1958 at [[Massachusetts Institute of Technology|MIT]], John McCarthy created the [[Lisp]] programming language <ref>[https://en.wikipedia.org/wiki/Lisp_%28programming_language%29 The Lisp programming language from Wikipedia]</ref>.
=Photos=
[[File:JohnMcCarthy.jpg|none|border|text-bottom|560px]]
John McCarthy, playing chess at Stanford's [[IBM 7090]], 1967 <ref>[http://www.computerhistory.org/chess/index.php History of Computer Chess] from [[The Computer History Museum]]</ref> <ref>[http://infolab.stanford.edu/pub/voy/museum/pictures/display/1-1.htm CSD founding faculty] from [http://infolab.stanford.edu/pub/voy/museum/phototour.html Computer History Exhibits Photo Tour] created January 2000 by [http://infolab.stanford.edu/~gio/ Gio Wiederhold]</ref> <ref>See also image from [http://www.grg.org/breakingnews2011.htm Breaking News for 2011 - "Obituary: Emeritus Professor John McCarthy of Stanford University (1927 - -2011)"] by [[L. Stephen Coles]]</ref>
[[File:ShannonMcCarthyFredkinWeizenbaum.jpg|none|border|text-bottom|560px]]
[[Claude Shannon]], John McCarthy, [[Edward Fredkin|Ed Fredkin]] and [https://en.wikipedia.org/wiki/Joseph_Weizenbaum Joseph Weizenbaum] (1966) <ref>[http://www.ilmarefilm.org/W_E_4_70.htm Weizenbaum. Rebel at Work]. A documentary by [http://www.ilmarefilm.org/W_E_8.htm Peter Haas and Silvia Holzinger]</ref>
[[File:AdelsonVelskyMcCarthy.jpg|none|border|text-bottom|560px]]
[[Georgy Adelson-Velsky]] and John McCarthy playing chess, Soviet-American computer science conference, [https://en.wikipedia.org/wiki/Urgench Urgench], 1979 <ref>[http://www.forevermissed.com/georgy-m-adelson-velsky/gallery#gallery%2Fphotos Photos of Georgy M Adelson-Velsky (1922 - 2014) - ForeverMissed.com], shared by: [http://iitp.ru/en/users/189.htm Семен Карпенко], June 01, 2014</ref>
=Kotok-McCarthy=
Between 1959 and 1962, students of John McCarthy at [[Massachusetts Institute of Technology]], [[Alan Kotok]], [[Elwyn Berlekamp]] (1960), [[Michael A. Lieberman]], [[Charles Niessen]] and [[Robert A. Wagner]], wrote a chess program for the [[IBM 7090]]. When McCarthy left MIT to take charge of the Arificial Intelligence Laboratory at [[Stanford University|Stanford]], he took Kotok's program with him and improved it's searching. In 1965, McCarthy visited the Soviet Union and was challenged by [[Alexander Kronrod]] for a computer chess match. At the end of 1966 the [[Stanford-ITEP Match|four game match]] began between the [[Kotok-McCarthy-Program]], running on a [[IBM 7090]] computer, and a [[ITEP Chess Program|program]] developed at the [[Institute of Theoretical and Experimental Physics]] (ITEP) in Moscow which used a Soviet [[M-2]] computer. The match played over nine months was won 3-1 by the The ITEP program.
=Quotes=
==Alpha-Beta==
{{Quote McCarthy on Alpha-Beta}}
==What is AI?==
{{Quote McCarthy on AI}}
=Selected Publications=
==1955 ...==
* John McCarthy, [[Marvin Minsky]], [[Nathaniel Rochester]], [[Claude Shannon]] ('''1955'''). ''[http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence]''.
* [[Claude Shannon]], John McCarthy (eds.) ('''1956'''). ''Automata Studies''. [https://en.wikipedia.org/wiki/Annals_of_Mathematics Annals of Mathematics Studies], No. 34, [http://books.google.com/books?id=oL57iECEeEwC&printsec=frontcover&dq=John+McCarthy,+Claude+Shannon++Automata+Studies&source=bl&ots=xtK2thLQi_&sig=6_n_Me0_lqG11pOoA6b7_ebomM8&hl=de&ei=j2lMTdbYD9GQswby_eWUDw&sa=X&oi=book_result&ct=result&resnum=1&ved=0CB8Q6AEwAA#v=onepage&q&f=false Google books]
: John McCarthy ('''1956'''). ''[http://jmc.stanford.edu/articles/inversion.html Inversion of Functions Defined by Turing Machines]''.
* John McCarthy ('''1958'''). ''An Algebraic Language for the Manipulation of Symbolic Expressions''. Memo No. 1, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-001.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight] <ref>[http://www.softwarepreservation.org/projects/LISP/lisp15_family/ LISP 1.5 family — Software Preservation Group] from [[The Computer History Museum]]</ref>
* John McCarthy ('''1958'''). ''A Revised Version of "MAPLIST"''. Memo 2, Symbol Manipulating Language, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center
* John McCarthy ('''1958'''). ''Symbol Manipulating Language - Revisions of the Language''. Memo 3, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-003.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight]
* John McCarthy ('''1958'''). ''Symbol Manipulating Language - Revisions of the Language''. Memo 4, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-004.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight]
* John McCarthy ('''1959'''). ''Programs with Common Sense''. [https://www.cs.cornell.edu/selman/cs672/readings/mccarthy-upd.pdf pdf]
==1960 ...==
* John McCarthy ('''1960'''). ''Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I''. [http://www-formal.stanford.edu/jmc/recursive.pdf pdf], the original paper on [[Lisp]]
* John McCarthy, [[Paul W. Abrahams]], [[Daniel Edwards|Daniel J. Edwards]], [[Timothy Hart|Timothy P. Hart]], [[Michael Levin|Michael I. Levin]] ('''1962''') ''LISP 1.5 Programmer's Manual''. MIT Press, second edition (1985) [http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf pdf] <ref>[http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf/view McCarthy et al. LISP 1.5 Programmer's Manual] from [[The Computer History Museum]] Software Preservation Group</ref>
* John McCarthy, James Painter ('''1967'''). ''Correctness of a Compiler for Arithmetic Expressions''. [http://staff.um.edu.mt/afra1/seminar/comp-corr.pdf pdf]
==1970 ...==
* John McCarthy ('''1979'''). ''[http://jmc.stanford.edu/articles/lisp.html History of Lisp]''. Artificial Intelligence Laboratory, [[Stanford University]]
==1980 ...==
* John McCarthy ('''1989'''). ''The Fruitfly on the Fly''. [[ICGA Journal#12_4|ICCA Journal, Vol. 12, No. 4]]
==1990 ...==
* John McCarthy ('''1990'''). ''Chess as the Drosophila of AI''. [[Computers, Chess, and Cognition]]
* John McCarthy, [[Edward Feigenbaum]] ('''1991'''). ''In Memoriam. Arthur L. Samuel: Pioneer in Machine Learning.'' [[ICGA Journal#14_1|ICCA Journal, Vol. 14, No. 1]] » [[Arthur Samuel]]
* John McCarthy ('''1996'''). ''The Mutilated Checkerboard in Set Theory''. available as 2001 [http://www-formal.stanford.edu/jmc/checkerboard1.pdf pdf reprint]
* John McCarthy ('''1997'''). ''[http://science.sciencemag.org/content/276/5318/1518 AI as Sport]''. [[Science]], Vol. 276, June 6, pp. 1518-1519
* John McCarthy ('''1997'''). ''Chess as the Drosophila of AI''. Computer Science Department, [[Stanford University]], condensed version of the 1990 paper, [https://pdfs.semanticscholar.org/91b7/71a8ce5b417c22507852f2a29738836856a6.pdf pdf]
==2010 ...==
* [https://en.wikipedia.org/wiki/Johan_van_Benthem_(logician) Johan van Benthem] ('''2011'''). ''John McCarthy (1927-2011)''. [[ICGA Journal#34_4|ICGA Journal, Vol. 34, No. 4]]
=See also=
* [[Artificial Intelligence]]
* [[History|History of Computer Chess]]
* [[Alpha-Beta#HistoryAlphaBeta|History of Alpha-Beta]]
* [[Kotok-McCarthy-Program]]
* [[Stanford-ITEP Match]]
* [[History#AIPerspective|The History of Computer Chess - an AI Perspective - Video]]
* [[David Levy#TheLevyBet|The Levy Bet]]
=Postings=
* [http://www.talkchess.com/forum/viewtopic.php?t=40898 In memoriam of John McCarthy] by Mel Cooper, [[CCC]], October 26, 2011
=External Links=
* [https://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29 John McCarthy from Wikipedia]
* [http://jmc.stanford.edu/index.html Professor John McCarthy]
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=22145 The Mathematics Genealogy Project - John McCarthy]
* [http://amturing.acm.org/award_winners/mccarthy_0239596.cfm John McCarthy - A.M. Turing Award Winner]
: [http://amturing.acm.org/photo/mccarthy_0239596.cfm John McCarthy Photo Essay - A.M. Turing Award Winner]
* [http://www.theregister.co.uk/2011/10/24/father_lisp_ai_john_mccarthy_dies/ Father of Lisp and AI John McCarthy has died • The Register] by [http://search.theregister.co.uk/?author=Iain%20Thomson Iain Thomson ], October 24, 2011
* [http://www.guardian.co.uk/technology/2011/oct/25/john-mccarthy John McCarthy obituary] by [http://www.guardian.co.uk/profile/jackschofield Jack Schofield], [https://en.wikipedia.org/wiki/Guardian.co.uk guardian.co.uk], October 25, 2011
* [http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84] by [http://soe.stanford.edu/research/layout.php?sunetid=admyers Andrew Myers], October 25, 2011
* [http://www.grg.org/breakingnews2011.htm Breaking News for 2011 - "Obituary: Emeritus Professor John McCarthy of Stanford University (1927 - -2011)"] by [[L. Stephen Coles]]
* John McCarthy (1927-2011): Artificial Intelligence - [https://en.wikipedia.org/wiki/Thinking_Allowed_%28PBS%29 Thinking Allowed] by [http://www.thinkingallowed.com/jm.html Jeffrey Mishlove] (1989), [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: {{#evu:https://www.youtube.com/watch?v=Ozipf13jRr4|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
