25,161
edits
Changes
Created page with "'''Home * People * Timothy Hart''' FILE:TimHart.jpg|border|right|thumb|link=http://www.etsisi.upm.es/museo_virtual/3g/mccarthy| Timothy Hart <ref>[http://..."
'''[[Main Page|Home]] * [[People]] * Timothy Hart'''
[[FILE:TimHart.jpg|border|right|thumb|link=http://www.etsisi.upm.es/museo_virtual/3g/mccarthy| Timothy Hart <ref>[http://www.etsisi.upm.es/museo_virtual/3g/mccarthy Timothy P. (Tim) Hart y Michael I. Levin | Escuela Técnica Superior de Ingeniería de Sistemas Informáticos] (Spanish)</ref> ]]
'''Timothy P. Hart''', (September 18, 1939 - January 20, 2014 <ref>[https://obittree.com/obituary/us/massachusetts/cambridge/keefe-funeral-homes/timothy-p-hart/1778539/ Timothy P. Hart Obituary - Cambridge, MA | ObitTree™]</ref>)<br/>
was an American computer scientist, in the 60s affiliated with [[Massachusetts Institute of Technology]], and in 1970 co-founder of ''Evans, Griffiths and Hart, Inc'', EGH. As MIT graduate Timothy Hart was involved in the initial development of [[LISP]] within the group of [[John McCarthy]]. Along with [[Daniel Edwards]], Timothy Hart wrote a memo on [[Alpha-Beta]] in December 1961, revised version in 1963 <ref>[[Daniel Edwards]], [[Timothy Hart]] ('''1961'''). ''[https://dspace.mit.edu/handle/1721.1/6098 The Alpha-Beta Heuristic]''. AIM-030</ref>. It also contains a Theorem by [[Michael Levin]], the well known [[Node Types#LeafNodes|formula of the number]] of [[Leaf Node|leaf nodes]] that need to be examined in Alpha-Beta.
=Quotes=
==Alpha-Beta==
{{Quote McCarthy on Alpha-Beta}}
==LISP==
{{Quote McCarthy on LISP}}
=See also=
* [[Alpha-Beta#HistoryAlphaBeta|History of Alpha-Beta]]
* [[Lisp]]
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hy/h/Hart:Timothy_P=.html dblp: Timothy P. Hart]</ref>
* [[Daniel Edwards]], [[Timothy Hart]] ('''1961'''). ''[https://dspace.mit.edu/handle/1721.1/6098 The Alpha-Beta Heuristic]''. AIM-030
* [[John McCarthy]], [[Paul W. Abrahams]], [[Daniel Edwards]], [[Timothy Hart]], [[Michael Levin]] ('''1962''') ''LISP 1.5 Programmer's Manual''. The M.I.T. Press, second edition (1985) as [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>
* [[Timothy Hart]] ('''1963'''). ''[https://dspace.mit.edu/handle/1721.1/6110 A Proposal for a Geometry Theorem Proving Program]''. AIM-056
* [[Timothy Hart]] ('''1963'''). ''[https://dspace.mit.edu/handle/1721.1/6111 MACRO Definitions for LISP]''. AIM-057
* [[Timothy Hart]], [[Michael Levin]] ('''1964'''). ''[https://dspace.mit.edu/handle/1721.1/5924 LISP Exercises]''. AIM-064
* [http://www.informatik.uni-trier.de/~ley/pers/hd/y/Yates:Robert_A=.html Robert A. Yates], [https://en.wikipedia.org/wiki/Bertram_Raphael Bertram Raphael], [[Timothy Hart]] ('''1970'''). ''Resolution Graphs''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence] Vol. 1, No. 4, [http://www.ai.sri.com/pubs/files/1450.pdf pdf]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Pioneer|Hart]]
[[Category:Researcher|Hart]]
[[FILE:TimHart.jpg|border|right|thumb|link=http://www.etsisi.upm.es/museo_virtual/3g/mccarthy| Timothy Hart <ref>[http://www.etsisi.upm.es/museo_virtual/3g/mccarthy Timothy P. (Tim) Hart y Michael I. Levin | Escuela Técnica Superior de Ingeniería de Sistemas Informáticos] (Spanish)</ref> ]]
'''Timothy P. Hart''', (September 18, 1939 - January 20, 2014 <ref>[https://obittree.com/obituary/us/massachusetts/cambridge/keefe-funeral-homes/timothy-p-hart/1778539/ Timothy P. Hart Obituary - Cambridge, MA | ObitTree™]</ref>)<br/>
was an American computer scientist, in the 60s affiliated with [[Massachusetts Institute of Technology]], and in 1970 co-founder of ''Evans, Griffiths and Hart, Inc'', EGH. As MIT graduate Timothy Hart was involved in the initial development of [[LISP]] within the group of [[John McCarthy]]. Along with [[Daniel Edwards]], Timothy Hart wrote a memo on [[Alpha-Beta]] in December 1961, revised version in 1963 <ref>[[Daniel Edwards]], [[Timothy Hart]] ('''1961'''). ''[https://dspace.mit.edu/handle/1721.1/6098 The Alpha-Beta Heuristic]''. AIM-030</ref>. It also contains a Theorem by [[Michael Levin]], the well known [[Node Types#LeafNodes|formula of the number]] of [[Leaf Node|leaf nodes]] that need to be examined in Alpha-Beta.
=Quotes=
==Alpha-Beta==
{{Quote McCarthy on Alpha-Beta}}
==LISP==
{{Quote McCarthy on LISP}}
=See also=
* [[Alpha-Beta#HistoryAlphaBeta|History of Alpha-Beta]]
* [[Lisp]]
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hy/h/Hart:Timothy_P=.html dblp: Timothy P. Hart]</ref>
* [[Daniel Edwards]], [[Timothy Hart]] ('''1961'''). ''[https://dspace.mit.edu/handle/1721.1/6098 The Alpha-Beta Heuristic]''. AIM-030
* [[John McCarthy]], [[Paul W. Abrahams]], [[Daniel Edwards]], [[Timothy Hart]], [[Michael Levin]] ('''1962''') ''LISP 1.5 Programmer's Manual''. The M.I.T. Press, second edition (1985) as [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>
* [[Timothy Hart]] ('''1963'''). ''[https://dspace.mit.edu/handle/1721.1/6110 A Proposal for a Geometry Theorem Proving Program]''. AIM-056
* [[Timothy Hart]] ('''1963'''). ''[https://dspace.mit.edu/handle/1721.1/6111 MACRO Definitions for LISP]''. AIM-057
* [[Timothy Hart]], [[Michael Levin]] ('''1964'''). ''[https://dspace.mit.edu/handle/1721.1/5924 LISP Exercises]''. AIM-064
* [http://www.informatik.uni-trier.de/~ley/pers/hd/y/Yates:Robert_A=.html Robert A. Yates], [https://en.wikipedia.org/wiki/Bertram_Raphael Bertram Raphael], [[Timothy Hart]] ('''1970'''). ''Resolution Graphs''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence] Vol. 1, No. 4, [http://www.ai.sri.com/pubs/files/1450.pdf pdf]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Pioneer|Hart]]
[[Category:Researcher|Hart]]
