Alfred Horn | |
|---|---|
 Alfred Horn about 1973 | |
| Born | February 17, 1918 |
| Died | April 16, 2001 (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) |
| Academic work | |
| Discipline | Mathematician, Logician |
| Main interests | Lattice theory, Universal algebra |
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.