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