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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Alfred_Horn
Lien Wikidata : https://www.wikidata.org/wiki/Q761863
Propriétés
- date_deces
- +2001-04-1
- date_naissance
- +1918-02-1
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q1370207", "label": "Pacific Palisades"}
- lieu_naissance
- {"qid": "Q11299", "label": "Manhattan"}
- nationalite
- États-Unis
- occupation
- professeur d'université
- p106_all
- professeur d'université, mathématicien ou mathématicienne, informaticien ou informaticienne