Кіріспе

Хартли Роджерс-младший (6 шілде 1926 – 17 шілде 2015) – американдық математик, есептеу теориясы саласында жұмыс істеген және Массачусетс технология институтының математика кафедрасының профессоры болған.

Өмірбаян

1926 жылы Нью-Йорктің Буффало қаласында туған ол Принстон университетінде Алонзо Черчтың шәкірті болды және 1952 жылы докторлық диссертациясын қорғады. 1956 жылдан бастап 2015 жылдың 17 шілдесінде қайтыс болғанға дейін MIT факультетінде қызмет етті. Оның артында әйелі, доктор Адрианна Э. Роджерс, үш баласы – Хартли Р. Роджерс, Кэмпбелл Д. К. Роджерс және Кэролайн Р. Бродерик, сондай-ақ 10 немересі қалды. MIT-де ол көптеген ғылыми сабақтан тыс іс-шараларға қатысты, оның ішінде MIT студенттері үшін SPUR (Бакалавриат зерттеулеріндегі жазғы бағдарламаны) ұйымдастыру, жоғары сынып студенттері үшін RSI (Зерттеу ғылымдары институты) математика бөлімін басқару және 1990 жылдан бастап шамамен екі онжылдық бойы MIT Putnam командасын дайындау, соның ішінде 2003 және 2004 жылдары MIT 1979 жылдан бері алғаш рет жеңіске жетті. Ол сонымен қатар "18.S34: Математикалық мәселелерді шешу" атты семинар жүргізді, ол MIT студенттеріне арналған. Роджерс MIT студенттері арасында физиканы оқу үшін берік математикалық негізді қамтамасыз ету мақсатымен жасалған көпөлшемді есептеу курсын (18.022: Теориясы бар көпөлшемді есептеу) әзірлегенімен де белгілі. 2005 жылы ол енді бұл курсты өзі оқымайтынын хабарлады, бірақ болашақта да осы үлгіде оқытылатыны күтілуде. Ол лекцияларындағы тапқыр математикалық пікірлерімен және сыныптағы үздік студенттерге Лейбниц печеньелері мен Fig Newtons сыйлықтарын беру дәстүрімен есте қалады. Көпірмен жүзуді ұнататын ол соңғы кезде Массачусетс штатының Кембридж қаласындағы Чарльз өзеніндегі Кембридж қайық клубының мүшесі болды. Бос уақытында ол көп жыл бойы C.R.A.S.H.B. Sprints Директорлар кеңесінің құрамында Әлемдік жабық су спорты чемпионатының капелланы қызметін атқарды.

Математикалық жұмыс

Роджерс математикалық логика, әсіресе рекурсия теориясы саласында жұмыс істеді және «Рекурсивті функциялар теориясы және тиімді есептеу» атты классикалық еңбекті жазды. Роджерс эквиваленттілік теоремасы оның құрметіне аталған. Оның докторанттарының арасында Патрик Фишер, Луи Ходес, Карл Джокуш, Эндрю Кар, Дэвид Лакхэм, Рохит Парик, Дэвид Парк және Джон Стиллвелл болды. Роджерс 1965 жылы «Ақпарат теориясы» мақаласы үшін Лестер Р. Форд сыйлығына ие болды.

Таңдалған шығармалар

Хартли Роджерс-младший, Рекурсивті функциялар теориясы және тиімді есептеу, MIT Press, (жұмсақ мұқаба), (оқулық)