Alfred Horn, Date of Birth, Place of Birth, Date of Death

Alfred Horn

American mathematician

Date of Birth: 17-Feb-1918

Place of Birth: Manhattan, New York, United States

Date of Death: 16-Apr-2001

Profession: mathematician, university teacher

Nationality: United States

Zodiac Sign: Aquarius

Alfred Horn (February 17, 1918 – April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra.
His 1951 paper "On sentences which are true of direct unions of algebras" described Horn clauses and Horn sentences, which later would form the foundation of logic programming.