Хартли Роджерс-младший.

Хартли Роджерс-младший (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). «Рекурсивные функции над хорошо упорядоченными частичными порядками». Proc. Amer. Math. Soc. 10 (6): 847–853. doi : 10.1090/s0002-9939-1959-0111685-8 . MR 0111685.
Крайдер, Дональд Л .; Роджерс, Хартли (1961). «Конструктивные версии классов порядковых чисел». Trans. Amer. Math. Soc. 100 (2): 325–369. doi : 10.1090/s0002-9947-1961-0151396-x . MR 0151396.
Роджерс, Хартли (1965). «Об универсальных функциях». Proc. Amer. Math. Soc . 16 : 39–44. doi : 10.1090/s0002-9939-1965-0171705-4 . MR 0171705.
Хартли Роджерс-младший, Теория рекурсивных функций и эффективная вычислимость , MIT Press, ISBN 0-262-68052-1 (мягкая обложка), ISBN 0-07-053522-1 (учебник) ^[5]

^ abcde "Хартли Роджерс-младший, почетный профессор математики". Математический факультет Массачусетского технологического института. 22 июля 2015 г. Получено 28 июня 2024 г.
^ ab Хартли Роджерс-младший в проекте «Генеалогия математики»
^ Хартли Роджерс-младший (1967). Теория рекурсивных функций и эффективная вычислимость . McGraw Hill.
^ Роджерс-младший, Хартли (1964). «Теория информации». Mathematics Magazine . 37 (2): 63–78. doi :10.1080/0025570X.1964.11975485.
^ Йейтс, CEM (март 1971 г.). «Обзор: Теория рекурсивных функций и эффективная вычислимость , Хартли Роджерс-младший». J. Symb. Log. 36 (1): 141–146. doi :10.2307/2271523. JSTOR 2271523. S2CID 222039152.