Alfred Horn
personne mathématicien américain
Alfred Horn (17 février 1918 - 16 avril 2001) est un mathématicien américain réputé pour ses travaux dans le domaine des treillis et de l'algèbre universelle. Son article intitulé « On sentences which are true of direct unions of algebras » (Journal of Symbolic Logic (16), pp.14–21, 1951) introduit ce qui est désormais appelé sous le nom de clause de Horn. Ce concept fonde la programmation logique. — Wikipédia (CC BY-SA)
Nature : être humain
- décès
- avril 2001
- naissance
- février 1918
- genre
- masculin
- lieu de décès
- Pacific Palisades
- lieu de naissance
- Manhattan
- nationalité
- États-Unis
- occupation
- professeur d'université
Catégories : mathématiciens · professeurs d'université · enseignants · scientifiques · personnes