Alfred Horn - Alfred Horn
Alfred Horn | |
---|---|
Geboren |
|
17. Februar 1918
Ist gestorben | 16. April 2001 |
(83 Jahre)
Bekannt für | Hornklausel |
Akademischer Hintergrund | |
Bildung | City College von New York (BS), New York University (MS), Universität von Kalifornien, Berkeley (PhD) |
These | Zu Sätzen, die für direkte Gewerkschaften von Algebren gelten (1951 | )
Akademische Arbeit | |
Disziplin | Mathematiker , Logiker |
Hauptinteressen | Gittertheorie , Universelle Algebra |
Alfred Horn (17. Februar 1918 - 16. April 2001) war ein amerikanischer Mathematiker, der sich durch seine Arbeit in der Gittertheorie und der universellen Algebra auszeichnete . In seiner Arbeit von 1951 "Über Sätze, die für direkte Vereinigungen von Algebren gelten" wurden Hornklauseln und Hornsätze beschrieben , die später die Grundlage der Logikprogrammierung bilden sollten .
Biografie
Horn wurde in Lower East Side, Manhattan, geboren . Seine Eltern waren beide taub und sein Vater starb, als Horn drei Jahre alt war. Zu diesem Zeitpunkt zogen die Kinder mütterlicherseits bei ihren Großeltern ein. Sie zogen später nach Brooklyn, wo Horn den größten Teil seiner Kindheit verbrachte und von seiner Großfamilie aufgezogen wurde.
Horn besuchte das City College in New York und später die New York University, wo er einen Master in Mathematik erwarb . Er fuhr fort, seinen Ph.D. 1946 an der University of California in Berkeley . Ein Jahr später begann er an der University of California in Los Angeles zu arbeiten , wo er bis zu seiner Pensionierung 1988 blieb.
Er starb 2001 in Pacific Palisades, Los Angeles, nach acht Jahren im Kampf gegen Prostatakrebs .
Verweise
- Alfred Horn, Palisadian seit 1954 und Noted UCLA Math Professor - Nachruf von der UCLA
- Veröffentlichungen von Alfred Horn - eine Liste, die von Dimiter Skordev zusammengestellt wurde
- Alfred Horn - die Informationen über ihn im Mathematics Genealogy Project