Alfred Horn (17 de febrero de 1918 - 16 de abril de 2001) fue un matemático estadounidense conocido por su trabajo en teoría de retículos y álgebra universal . Su artículo de 1951, "Sobre oraciones que son verdaderas de uniones directas de álgebras", describió las cláusulas de Horn y las oraciones de Horn , que posteriormente se utilizaron en la programación lógica .
Biografía
Horn nació en el Lower East Side de Manhattan . Sus padres eran sordos y su padre falleció cuando Horn tenía tres años. En ese momento, los niños se mudaron con sus abuelos maternos. Más tarde se trasladaron a Brooklyn, donde Horn pasó la mayor parte de su infancia, criado por su familia extendida.
Horn estudió en el City College de Nueva York y, posteriormente, en la Universidad de Nueva York, donde obtuvo una maestría en matemáticas . En 1946, se doctoró en filosofía en la Universidad de California, Berkeley. Un año después, comenzó a trabajar en la Universidad de California, Los Ángeles , donde permaneció hasta su jubilación en 1988. Falleció en 2001 en Pacific Palisades, Los Ángeles .
Véase también
Referencias
- Alfred Horn, residente de Palisades desde 1954 y destacado profesor de matemáticas de la UCLA – obituario de la UCLA
- Publicaciones de Alfred Horn : una lista recopilada por Dimiter Skordev.
- Alfred Horn : información sobre él en el Proyecto de Genealogía Matemática
- Nacimientos de 1918
- Muertes en 2001
- matemáticos estadounidenses del siglo XX
- lógicos estadounidenses
- teóricos de retículos
- ex alumnos del City College de Nueva York
- exalumnos de la Universidad de Nueva York
- exalumnos de la Universidad de California, Berkeley
- Profesorado de la Universidad de California, Los Ángeles
- Filósofos del estado de Nueva York
- Filósofos de California
- Gente del Lower East Side
- Matemáticos de Brooklyn