Herbert Leo Gelernter (December 17, 1929 – May 28, 2015)[1][2][3] was a professor in the Computer Science Department of Stony Brook University.
[4][5] Gelernter's extended visit to the European Organization for Nuclear Research (CERN) in 1960/61, while he was developing a prototype of his 'vidicon' (a system which dispensed with film, and used a television-camera tube to record a spark-chamber event and store it as digitized data on magnetic tape) stimulated the development of a data-handling system for spark chambers in early 1961.
[10] It is a logical AI system that can prove theorems in planar geometry about parallel lines, congruence, and equality and inequality of segments and angles.
[11] The work for this was done with Carl Gerberich at IBM, to this end producing the Fortran list processing language (FLPL).
[citation needed] In 1952, Gelernter married Ruth, a daughter of rabbi Theodore Norton Lewis.