Articulo de referencia

Alfred Horn

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 19...

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