Changes

'''[[Main Page|Home]] * [[People]] * John McCarthy'''

''See main article [[Kotok-McCarthy-Program]]'' 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-220]] computer. The match played over nine months was won 3-1 by the The ITEP program.

* [[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) [Mathematician#TKnight|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) [Mathematician#TKnight|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) [Mathematician#TKnight|Tom Knight]]* [[John McCarthy ]] ('''1959'''). ''Programs with Common Sense''. [https://www.cs.cornell.edu/selman/cs672/readings/mccarthy-upd.pdf pdf]

* [[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]]

* [[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]] * [https://en.wikipedia.org/wiki/Gio_Wiederhold Gio Wiederhold], [[John McCarthy]], [[Edward Feigenbaum]] ('''1990'''). ''Memorial Resolution: Arthur L. Samuel (1901 - 1990)''. [[AAAI#AIMAG|AI Magazine]], Vol. 11, No. 3* [[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 2000 ...==* [https://en.wikipedia.org/wiki/Pamela_McCorduck Pamela McCorduck] ('''2004'''). ''[[Artificial Intelligence#MachinesWhoThink|Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence]]''. [https://en.wikipedia.org/wiki/A_K_Peters A. K. Peters] (25th anniversary edition)