Премия Тьюринга, присужденная Юрису Хартманису (Juris Hartmanis) в 1993 году, официально признала его роль в создании математических основ теории вычислительной сложности. На протяжении всей своей карьеры этот ученый, родившийся в Латвии, определял, как вычислительные задачи классифицируются по времени и пространству, необходимым для их решения, что фундаментально сформировало траекторию современных исследований в области компьютерных наук и развитие академических кафедр.
Ранняя жизнь и академический фундамент
Юрис Хартманис родился в Риге в 1928 году и в конечном итоге переехал в США после того, как провел некоторое время в Германии. Он получил последипломное образование в Университете Миссури в Канзас-Сити, получив степень магистра прикладной математики в 1951 году. Он завершил свое формальное образование в Калифорнийском технологическом институте в 1955 году, получив докторскую степень под руководством Роберта П. Дилворта. Его ранняя карьера включала преподавательскую деятельность в Корнеллском университете и Университете штата Огайо, прежде чем он присоединился к исследовательской лаборатории General Electric в 1958 году.
Теория вычислительной сложности
Во время работы в General Electric Хартманис сотрудничал с Ричардом Э. Стернсом для формализации изучения вычислительной сложности. Их работа ввела классификацию задач на основе вычислительного времени, установив теорему о временной иерархии. Вместе с П.М. Льюисом II Хартманис расширил эти концепции, включив использование памяти, что способствовало появлению первых идей относительно детерминированной пространственной сложности. В последующие десятилетия он исследовал структуру NP-полных множеств и определил булеву иерархию, что повлияло на более широкое понимание вычислительных пределов.
Институциональное лидерство и адвокация
Хартманис вернулся в Корнеллский университет в 1965 году, где работал профессором и стал первым главой одного из первых в мире факультетов компьютерных наук. Он сохранял твердую приверженность развитию дисциплины, возглавляя важное исследование Национального исследовательского совета под названием Computing the Future, опубликованное в 1992 году. В период с 1996 по 1998 год он занимал должность заместителя директора Управления компьютерных и информационных наук и инженерии в Национальном научном фонде.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Признание и профессиональное членство
На протяжении своей карьеры Хартманис был избран членом Национальной инженерной академии, Национальной академии наук и Американской академии искусств и наук. Он был членом Ассоциации вычислительной техники и Американского математического общества. Его родная страна отметила его научный вклад Большой медалью Латвийской академии наук в 2001 году. Он оставался активным членом международного исследовательского сообщества до своей смерти в 2022 году.
Краткие факты
- Рождение: 1928, Рига - Смерть: 2022 - Лауреат премии Тьюринга: 1993 - Гражданство: США; Латвия - Учреждение, где получена докторская степень: Калифорнийский технологический институт - Основная область: Теория вычислительной сложности - Избрание в Национальную инженерную академию: 1989 - Академический дом: Корнеллский университет
Вопросы читателей
### Каков основной вклад Юриса Хартманиса в компьютерные науки?
Он заложил основы теории вычислительной сложности, которая классифицирует задачи на основе ресурсов времени и памяти, необходимых для их решения.
### Получил ли Хартманис академическое признание от страны своего рождения?
Да, он был членом Латвийской академии наук и получил их Большую медаль в 2001 году.
