Alfred Horn
Alfred Horn ( - ) 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.
| Naissance | |
|---|---|
| Décès |
(Ă 83 ans) Pacific Palisades |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
Biographie
Horn est né à Lower East Side, un quartier de Manhattan à New York, aux États-Unis. Ses parents sont sourds tous les deux. Son père meurt alors que le jeune Horn n'est âgé que de trois ans. Les enfants sont alors pris en charge par les grands-parents maternels, avant d'emménager à Brooklyn où Horn passe la majeure partie de son enfance, élevé par sa famille agrandie.
Horn fréquente le Collège de la ville de New York, puis l'université de New York où il obtient une maitrise en mathématiques. Il poursuit un doctorat à l'université de Berkeley, en Californie, qu'il conclut en 1946. Une année plus tard, sa carrière est lancée à l'université de Californie à Los Angeles (UCLA), où il exerce jusqu'à sa retraite en 1988. Il est l'auteur de 35 articles.
Il meurt en 2001 au terme de huit années de lutte contre un cancer de la prostate.
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Alfred Horn » (voir la liste des auteurs).
- (en) Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor - nécrologie de l'université de Californie à Los Angeles (UCLA).
Liens externes
- Ressources relatives Ă la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :