Alfred Horn
American mathematician (1918ā2001) / From Wikipedia, the free encyclopedia
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.
Quick Facts Born, Died ...
Alfred Horn | |
---|---|
Born | (1918-02-17)February 17, 1918 |
Died | April 16, 2001(2001-04-16) (aged 83) |
Known for | Horn clause |
Academic background | |
Education | City College of New York (BS), New York University (MS), University of California, Berkeley (PhD) |
Thesis | On sentences which are true of direct unions of algebras (1951; 73 years ago (1951)) |
Academic work | |
Discipline | Mathematician, Logician |
Main interests | Lattice theory, Universal algebra |
Close