Alfred Horn
✓ Source-basedrisingAmerican mathematician (1918-2001)
Fame42.4
Momentum12.6
Languages9
In century#142,945
Alfred Horn 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 became used in logic programming.
Also inDeutsch
Photos 1
Academics from United States 6
About this person
Country
United StatesCategory
Academics
Type
Academic
Status
deceased
Dates
Lived 1918 to 2001 · aged 83
Written about in
9 languages
Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.