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