Alfred Horn (mathematician)

Alfred Horn (born February 17, 1918 in Lower East Side , Manhattan , † April 16, 2001 in Pacific Palisades , California ) was an American mathematician . In his work, On sentences which are true of direct unions of algebras , published in 1951, he introduced the Horn clauses and Horn formulas , which formed the basis for logical programming from the 1970s onwards .

Alfred Horn grew up in Manhattan . His parents were both deaf and Horn's father died when Alfred was three years old. He later moved to Brooklyn , where he spent most of his childhood.

He attended City College of New York and later New York University , where he received a master's degree in mathematics. In 1946 he received his Ph. D. from the University of California, Berkeley . In 1947 he was appointed professor of mathematics at the University of California at Los Angeles , where he stayed until his retirement in 1988. He published 35 works.

In 2001 he died of prostate cancer , which he had suffered from eight years earlier.

supporting documents

• Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor. ( Memento from September 5, 2013 in the web archive archive.today ). On: Math.UCLA.edu. (Reprint of the Palisades Post ). Obituary (English).