Хартли Роджерс мл.
Хартли Роджерс-младший (6 июля 1926 — 17 июля 2015) — американский математик, работавший в области теории вычислимости и профессор математического факультета Массачусетского технологического института .
Биография
[ редактировать ]Роджерс родился в 1926 году в Буффало, штат Нью-Йорк . Он изучал английский язык на бакалавриате Йельского университета , который окончил в 1946 году. После посещения Кембриджского университета по стипендии Генри он вернулся в Йельский университет, чтобы получить степень магистра физики, которую он получил в 1950 году. Он изучал математику у Алонсо Чёрча в Принстоне , получил вторую степень магистра в 1951 году. [1] и получил докторскую степень. там в 1952 г. [2]
Он был преподавателем Бенджамина Пирса в Гарвардском университете с 1952 по 1955 год. После работы в Массачусетском технологическом институте он стал профессором математического факультета Массачусетского технологического института в 1956 году. [1] Среди его докторантов были Патрик Фишер , Луи Ходс , Карл Джокуш , Эндрю Кар , Дэвид Лакхэм , Рохит Парих , Дэвид Парк и Джон Стиллвелл . [2] Он возглавлял сенат факультета Массачусетского технологического института с 1971 по 1973 год и был заместителем проректора университета с 1974 по 1980 год. [1]
Помимо преподавания и исследований, Роджерс был заядлым гребцом и спортсменом по гребле. [1]
Он вышел на пенсию с звания почетного профессора в 2009 году и умер 17 июля 2015 года. [1]
Математическая работа
[ редактировать ]Роджерс работал в области математической логики , особенно теории рекурсии , и написал классический труд « Теория рекурсивных функций и эффективная вычислимость» . [3] Теорема эквивалентности Роджерса названа в его честь.
Роджерс получил премию Лестера Р. Форда в 1965 году за свою пояснительную статью «Теория информации» . [4]
Избранные работы
[ редактировать ]- Роджерс, Хартли (1959). «Рекурсивные функции над хорошо упорядоченными частичными порядками» . Учеб. амер. Математика. Соц. 10 (6): 847–853. дои : 10.1090/s0002-9939-1959-0111685-8 . МР 0111685 .
- Крайдер, Дональд Л .; Роджерс, Хартли (1961). «Конструктивные варианты классов порядковых чисел» . Пер. амер. Математика. Соц. 100 (2): 325–369. дои : 10.1090/s0002-9947-1961-0151396-x . МР 0151396 .
- Роджерс, Хартли (1965). «Об универсальных функциях» . Учеб. амер. Математика. Соц . 16 : 39–44. дои : 10.1090/s0002-9939-1965-0171705-4 . МР 0171705 .
- Хартли Роджерс-младший, Теория рекурсивных функций и эффективная вычислимость , MIT Press, ISBN 0-262-68052-1 (мягкая обложка), ISBN 0-07-053522-1 (учебник) [5]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д и «Хартли Роджерс-младший, почетный профессор математики» . Математический факультет Массачусетского технологического института. 22 июля 2015 года . Проверено 28 июня 2024 г.
- ^ Перейти обратно: а б Хартли Роджерс-младший в проекте «Математическая генеалогия»
- ^ Хартли Роджерс-младший (1967). Теория рекурсивных функций и эффективная вычислимость . МакГроу Хилл.
- ^ Роджерс младший, Хартли (1964). «Теория информации» . Журнал «Математика» . 37 (2): 63–78. дои : 10.1080/0025570X.1964.11975485 .
- ^ Йейтс, CEM (март 1971 г.). «Обзор: Теория рекурсивных функций и эффективная вычислимость Хартли Роджерса-младшего». Дж. Симб. Бревно. 36 (1): 141–146. дои : 10.2307/2271523 . JSTOR 2271523 . S2CID 222039152 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
