Alfred Horn
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.
Alfred Horn | |
|---|---|
Alfred Horn about 1973 | |
| Born | February 17, 1918 Lower East Side, Manhattan, U.S. |
| Died | April 16, 2001 (aged 83) Pacific Palisades, Los Angeles, U.S. |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.