Alfred Horn (17 de febrero de 1918 - 16 de abril de 2001) fue un matemático estadounidense notable por su trabajo en teoría de redes y álgebra universal . Su artículo de 1951 "Sobre oraciones que son verdaderas en uniones directas de álgebras" describió las cláusulas de Horn y las oraciones de Horn , que más tarde formarían la base de la programación lógica .
Horn nació en el Lower East Side, Manhattan . Ambos padres eran sordos y su padre murió cuando Horn tenía tres años. En ese momento, los niños se mudaron con sus abuelos maternos. 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 obtuvo su Doctorado en Filosofía 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 .