Alfred Horn

Alfred Horn ( born February 17, 1918 in Lower East Side, Manhattan, † April 16, 2001 in Pacific Palisades, California ) was an American mathematician. In his 1951 published work "On Which sentences are true of direct unions of algebras ", he introduced the Horn formula, which later formed the basis for logic programming.

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

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

In 2001, he died of prostate cancer, in which he was already suffering eight years earlier.

Documents

• Obituary for website UCLA, Reprint of the Palisades Post Template: Web Archive / Maintenance / Nummerierte_Parameter (English)

• Mathematicians ( 20th century)
• University teachers ( University of California, Los Angeles)
• Americans
• Born in 1918
• Died in 2001
• Man