Difference between revisions of "Paul W. Abrahams"

From Chessprogramming wiki
Jump to: navigation, search
(Created page with "'''Home * People * Paul W. Abrahams''' '''Paul W. Abrahams''',<br/> an American mathematician, consulting computer scientist, and past president of the AC...")
 
Line 10: Line 10:
 
=Selected Publications=  
 
=Selected Publications=  
 
<ref>[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Abrahams:Paul_W=.html DBLP: Paul W. Abrahams]</ref>
 
<ref>[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Abrahams:Paul_W=.html DBLP: Paul W. Abrahams]</ref>
* [[John McCarthy]], [[Paul W. Abrahams]], [[Daniel Edwards|Daniel J. Edwards]], [[Timothy Hart|Timothy P. Hart]] and [[Michael Levin|Michael I. 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>
+
* [[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>
 
* [[Paul W. Abrahams]] ('''1963'''). ''Machine Verification of Mathematical Proof''. Ph.D. Thesis in Mathematics, [[Massachusetts Institute of Technology]], Cambridge, Massachusetts
 
* [[Paul W. Abrahams]] ('''1963'''). ''Machine Verification of Mathematical Proof''. Ph.D. Thesis in Mathematics, [[Massachusetts Institute of Technology]], Cambridge, Massachusetts
 
* [[Paul W. Abrahams]] ('''1966'''). ''A final solution to the Dangling else of ALGOL 60 and related languages''. [[ACM#Communications|Communications of the ACM]] Vol. 9, No. 9
 
* [[Paul W. Abrahams]] ('''1966'''). ''A final solution to the Dangling else of ALGOL 60 and related languages''. [[ACM#Communications|Communications of the ACM]] Vol. 9, No. 9
Line 32: Line 32:
  
 
'''[[People|Up one level]]'''
 
'''[[People|Up one level]]'''
 +
[[Category:Mathematician|Abrahams]]
 +
[[Category:Researcher|Abrahams]]

Revision as of 14:26, 1 October 2018

Home * People * Paul W. Abrahams

Paul W. Abrahams,
an American mathematician, consulting computer scientist, and past president of the Association for Computing Machinery. Paul W. Abrahams received a bachelor's degree in mathematics in 1956, and a Ph.D. in mathematics in 1963 on Machine Verification of Mathematical Proof, both from Massachusetts Institute of Technology, studying artificial intelligence under Marvin Minsky and John McCarthy. He is one of the designers of the first Lisp system and also the designer of the CIMS PL/I system.

Kotok-McCarthy

Paul W. Abrahams contributed to the Kotok-McCarthy-Program, as mentioned in Alan Kotok's memo and thesis about the program [1] [2]:

 In the fall of 1960 the chess group, without Mr. Berlekamp, began planning for the general chess program. It was decided to retain the original McCarthy/Abrahams move routines, and to continue coding in FORTRAN  and FAP. The program was to be a variable depth search with a "stable position" termination. An evaluation was to be made at the terminal points of the move tree. This evaluation would be a weighted sum of such criteria as material balance, center control, pawn structure, "tempo" advantage, and development. 

Selected Publications

[3]

External Links

References

  1. Alan Kotok (1962). Artificial Intelligence Project - MIT Computation Center: Memo 41 - A Chess Playing Program. pdf
  2. Alan Kotok (1962). A Chess Playing Program for the IBM 7090. B.S. Thesis, MIT, AI Project Memo 41, Computation Center, Cambridge MA. pdf
  3. DBLP: Paul W. Abrahams
  4. McCarthy et al. LISP 1.5 Programmer's Manual. from The Computer History Museum Software Preservation Group
  5. TeX from Wikipedia

Up one level