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