Альфред Хорн - Alfred Horn

Альфред Хорн (17 февраля 1918 - 16 апреля 2001) Американец математик известен своей работой в теория решетки и универсальная алгебра. В его статье 1951 г. «О предложениях, истинных для прямых объединений алгебр» описывается Роговые оговорки и Роговые предложения, которые впоследствии легли в основу логическое программирование.

Альфред Хорн о 1973 году

биография

Хорн родился Нижний Ист-Сайд, Манхэттен. Его родители оба были глухой, а его отец умер, когда Хорну было три года. В этот момент дети переехали к бабушке и дедушке по материнской линии. Позже они переедут в Бруклин где Хорн провел большую часть своего детства, воспитанный его большой семьей.

Хорн присутствовал на Городской колледж Нью-Йорка, и позже, Нью-Йоркский университет где он заработал Степень магистра в математика. Он продолжал зарабатывать Кандидат наук. в Калифорнийский университет в Беркли в 1946 году. Через год он начал работать на Калифорнийский университет в Лос-Анджелесе, где он оставался до выхода на пенсию в 1988 году.

Он умер в 2001 году в Pacific Palisades, Лос-Анджелес после восьми лет борьбы рак простаты.

Рекомендации