Войти
Альфред Хорн (17 февраля 1918 г. - 16 апреля 2001 г.) был американским математиком, известным своими работами в области теории решетки и универсальной алгебры. В его статье 1951 года «О предложениях, которые истинны для прямых объединений алгебр» описаны предложения Хорна и предложения Хорна, которые позже лягут в основу логического программирования.
Хорн родился в Нижнем Ист-Сайде, Манхэттен. Его родители были глухими, а его отец умер, когда Хорну было три года. В этот момент дети переехали к бабушке и дедушке по материнской линии. Позже они переехали в Бруклин, где Хорн провел большую часть своего детства, воспитываемый его большой семьей.
Хорн учился в Городском колледже Нью-Йорка, а позже в Нью-Йоркском университете, где получил степень магистра по математике.. В 1946 году он получил степень доктора философии в Калифорнийском университете в Беркли. Год спустя он начал работать в Калифорнийском университете в Лос-Анджелесе, где он оставался до выхода на пенсию в 1988 году.
Он умер в 2001 году в Пасифик Палисейдс, Лос-Анджелес после восьми лет борьбы с раком простаты.
