Alfred Horn (17 de febrero de 1918 - 16 de abril de 2001) fue un matemático estadounidense notable por su trabajo en la teoría de celosía y el álgebra universal . Su artículo de 1951 "Sobre las oraciones que son verdaderas de uniones directas de álgebras" describía las cláusulas de Horn y las oraciones de Horn , que más tarde formarían la base de la programación lógica .
Alfred Horn | |
---|---|
Nació | Lower East Side, Manhattan , Estados Unidos | 17 de febrero de 1918
Fallecido | 16 de abril de 2001 Pacific Palisades, Los Ángeles , EE. UU. | (83 años)
Conocido por | Cláusula de cuerno |
Antecedentes académicos | |
Educación | City College of New York (BS), New York University (MS), University of California, Berkeley (PhD) |
Tesis | Sobre oraciones que son verdaderas de uniones directas de álgebras (1951 | )
Trabajo académico | |
Disciplina | Matemático , lógico |
Intereses principales | Teoría de celosía , álgebra universal |
Biografía
Horn nació en Lower East Side, Manhattan . Sus padres eran sordos y su padre murió cuando Horn tenía tres años. En este punto, los niños se mudaron con sus abuelos por parte de la madre. Más tarde se mudarían a Brooklyn, donde Horn pasó la mayor parte de su infancia, criado por su familia extendida.
Horn asistió al City College de Nueva York y, más tarde, a la Universidad de Nueva York, donde obtuvo una maestría en matemáticas . Luego pasó a obtener su Ph.D. en la Universidad de California, Berkeley en 1946. Un año después, comenzó a trabajar en la Universidad de California, Los Ángeles , donde permaneció hasta su jubilación en 1988.
Murió en 2001 en Pacific Palisades, Los Ángeles, después de ocho años de luchar contra el cáncer de próstata .
Referencias
- Alfred Horn, Palisadian Since 1954 y destacado profesor de matemáticas de UCLA - obituario de UCLA
- Publicaciones de Alfred Horn : una lista compilada por Dimiter Skordev
- Alfred Horn : la información sobre él en el Proyecto de genealogía matemática