Herbert Gelernter: Difference between revisions
The AI Guy (talk | contribs) Moved to Category:Artificial intelligence researchers from Category:Artificial intelligence which doesn't contain people. |
|||
Line 2: | Line 2: | ||
==Short biography== |
==Short biography== |
||
Gelernter studied for his Ph.D. at the [[University of Rochester]] in 1957.<ref name="Stony Brook University"/><ref>[http://books.google.co.uk/books/about/The_two_nucleon_interaction_at_high_ener.html?id=TGUIIAAACAAJ&redir_esc=y ''The two-nucleon interaction at high energies and the Lévy potential'' University of Rochester. Dept. of Physics., (1957)- 260 pages] retrieved 18:03(GMT) 26 October 2011</ref> He implemented, with [[Nathaniel Rochester]], a computer language for list processing within [[FORTRAN]]. The work for this was done, in fact, with [[Carl Gerberich]] at [[IBM]], to this end producing the ''Fortran list processing language'' (FLPL).<ref>[http://www-formal.stanford.edu/jmc/history/lisp/node2.html LISP prehistory John McCarthy Jul 26th 22:37 PDT 1996] retrieved 17:48(GMT) 26 October 2011 [see also: [[Lisp (programming language)]] and [[John McCarthy (computer scientist)|John McCarthy]]</ref> His most ambitious project during his tenure at Stony Brook University was the SYNCHEM expert problem-solving system for the discovery of potential routes to the total synthesis of organic molecules through a self-guided intelligent search and application of its large knowledge base of graph transforms, rules and sophisticated heuristics representing generalized organic reactions organized around recognized functional groups. Prof. Gelernter died on May 28, 2015.<ref>For a remembrance see "A Life That Made Sense," by David Gelernter, The Weekly Standard, September 7, 2015, at 5. </ref> |
Gelernter studied for his Ph.D. at the [[University of Rochester]] in 1957.<ref name="Stony Brook University"/><ref>[http://books.google.co.uk/books/about/The_two_nucleon_interaction_at_high_ener.html?id=TGUIIAAACAAJ&redir_esc=y ''The two-nucleon interaction at high energies and the Lévy potential'' University of Rochester. Dept. of Physics., (1957)- 260 pages] retrieved 18:03(GMT) 26 October 2011</ref> He implemented, with [[Nathaniel Rochester]], a computer language for list processing within [[FORTRAN]]. The work for this was done, in fact, with [[Carl Gerberich]] at [[IBM]], to this end producing the ''Fortran list processing language'' (FLPL).<ref>[http://www-formal.stanford.edu/jmc/history/lisp/node2.html LISP prehistory John McCarthy Jul 26th 22:37 PDT 1996] retrieved 17:48(GMT) 26 October 2011 [see also: [[Lisp (programming language)]] and [[John McCarthy (computer scientist)|John McCarthy]]</ref> His most ambitious project during his tenure at Stony Brook University was the SYNCHEM expert problem-solving system for the discovery of potential routes to the total synthesis of organic molecules through a self-guided intelligent search and application of its large knowledge base of graph transforms, rules and sophisticated heuristics representing generalized organic reactions organized around recognized functional groups. Prof. Gelernter died on May 28, 2015. His son is computer science professor [[David Gelernter]].<ref>For a remembrance see "A Life That Made Sense," by David Gelernter, The Weekly Standard, September 7, 2015, at 5. </ref> |
||
==Further reading== |
==Further reading== |
Revision as of 04:56, 12 February 2016
Herbert Gelernter was a professor emeritus in the Computer Science Department of Stony Brook University.[1]
Short biography
Gelernter studied for his Ph.D. at the University of Rochester in 1957.[1][2] He implemented, with Nathaniel Rochester, a computer language for list processing within FORTRAN. The work for this was done, in fact, with Carl Gerberich at IBM, to this end producing the Fortran list processing language (FLPL).[3] His most ambitious project during his tenure at Stony Brook University was the SYNCHEM expert problem-solving system for the discovery of potential routes to the total synthesis of organic molecules through a self-guided intelligent search and application of its large knowledge base of graph transforms, rules and sophisticated heuristics representing generalized organic reactions organized around recognized functional groups. Prof. Gelernter died on May 28, 2015. His son is computer science professor David Gelernter.[4]
Further reading
- H. Gelernter;J. R. Hansen & C. L. Gerberich, "A Fortran-Compiled List-Processing Language", ACM Digital Library (volume 7 issue 2, April 1960), International Business Machines Co., Yorktown Heights, N.Y. doi>10.1145/321021.321022 17:13(GMT)26.10.2011
- Gelernter, H. L., Rochester, N., "Intelligent Behavior in Problem-Solving Machines", IBM Journal of Research and Development, Oct. 1958; doi 10.1147/rd.24.0336 retrieved 17:19 (GMT) 26 October 2011
- H Gelernter, "Realization of a geometry theorem proving machine", IFIP Congress 1959, retrieved 17:39 26 October 2011
- H. Gelernter; J. R. Hansen; D. W. Loveland, Empirical explorations of the geometry theorem machine, IBM Research Center, Yorktown Heights, New York retrieved 17:44(GMT) 26 October 2011
See also
- List of Jewish American computer scientists
- Nathaniel Rochester (computer scientist)
- History of artificial intelligence
- Timeline of artificial intelligence
References
- ^ a b "Stony Brook University". Retrieved 26 November 2011.
- ^ The two-nucleon interaction at high energies and the Lévy potential University of Rochester. Dept. of Physics., (1957)- 260 pages retrieved 18:03(GMT) 26 October 2011
- ^ LISP prehistory John McCarthy Jul 26th 22:37 PDT 1996 retrieved 17:48(GMT) 26 October 2011 [see also: Lisp (programming language) and John McCarthy
- ^ For a remembrance see "A Life That Made Sense," by David Gelernter, The Weekly Standard, September 7, 2015, at 5.