Патрик Карл Фишер (3 декабря 1935 г. — 26 августа 2011 г.) — американский учёный-компьютерщик , известный исследователь в области теории сложности вычислений и теории баз данных , а также объект нападок Унабомбера . [ 1] [2] [3] [4] [5]
Фишер родился 3 декабря 1935 года в Сент-Луисе, штат Миссури . [2] [3] Его отец, Карл Х. Фишер, стал профессором актуарной математики в Мичиганском университете в 1941 году, [6] и семья переехала в Энн-Арбор, штат Мичиган , где он вырос. [2] Сам Фишер поступил в Мичиганский университет, получив степень бакалавра в 1957 году [2] [3] и степень магистра делового администрирования в 1958 году. [7] Он продолжил обучение в аспирантуре Массачусетского технологического института , получив степень доктора философии в 1962 году под руководством Хартли Роджерса-младшего , защитив диссертацию на тему теории рекурсии . [2] [3] [8]
Получив докторскую степень в 1962 году, Фишер присоединился к факультету Гарвардского университета в качестве доцента прикладной математики ; среди его студентов в Гарварде были Альберт Р. Мейер , через которого у Фишера более 250 академических потомков , а также известные ученые-компьютерщики Деннис Ритчи и Арнольд Л. Розенберг . [8] В 1965 году он перешел на постоянную должность доцента кафедры компьютерных наук в Корнеллском университете . После преподавания в Университете Британской Колумбии с 1967 по 1968 год (где он встретил свою вторую жену Шарлотту Фрезе) он перешел в Университет Ватерлоо , где стал профессором прикладного анализа и компьютерных наук. В Ватерлоо он был заведующим кафедрой с 1972 по 1974 год. Затем он перешёл в Университет штата Пенсильвания в 1974 году, где возглавил кафедру компьютерных наук, и снова перешёл в Университет Вандербильта в качестве заведующего кафедрой в 1980 году. [1] [2] [3] Он преподавал в Университете Вандербильта в течение 18 лет и был заведующим кафедрой в течение 15 лет. [5] Он вышел на пенсию в 1998 году, [2] и умер от рака желудка 26 августа 2011 года в Роквилле, штат Мэриленд . [1] [2] [3]
Как и его отец, Фишер стал членом Общества актуариев . [9] Вторая жена Фишера, Шарлотта Фрезе Фишер , также была профессором компьютерных наук в Университете Вандербильта и Университете Британской Колумбии, а его брат, Майкл Дж. Фишер , является профессором компьютерных наук в Йельском университете. [3] [1]
Диссертация Фишера касалась влияния различных моделей вычислений на эффективность решения задач. Например, он показал, как генерировать последовательность простых чисел с помощью одномерного клеточного автомата , основываясь на более ранних решениях проблемы синхронизации расстрельного отряда , [10] и его работа в этой области заложила основу для гораздо более поздних работ по параллельным алгоритмам . [1] Совместно с Мейером и Розенбергом Фишер провел влиятельные ранние исследования по счетчиковым машинам , показав, что они подчиняются теоремам об иерархии времени и пространственной иерархии, аналогичным теоремам для машин Тьюринга. [11]
Фишер был одним из первых лидеров в области вычислительной сложности и помог создать теоретическую информатику как дисциплину, отдельную от математики и электротехники . [4] Он был первым председателем SIGACT , Специальной группы по алгоритмам и теории вычислений Ассоциации вычислительной техники , которую он основал в 1968 году. [1] [2] Он также основал ежегодный Симпозиум по теории вычислений , который вместе с Симпозиумом по основам компьютерной науки является одной из двух флагманских конференций в области теоретической информатики , и он пять раз был председателем конференции. [1]
В 1980-х годах исследовательские интересы Фишера переместились в область теории баз данных . Его исследования в этой области включали изучение семантики баз данных, метаданных и неполной информации. [1] Фишер проделал важную работу по определению вложенной реляционной модели баз данных, в которой значения в ячейках реляционной базы данных сами по себе могут быть отношениями, [12] [13] а его работа над математическими основами языков запросов к базам данных стала центральной для баз данных, которые сейчас используются основными веб-серверами по всему миру. [2]
Фишер также был экспертом в области информационных систем и их использования в образовательных учреждениях. [3] [5]
Тед Качинский , известный как Унабомбер, был аспирантом по математике в Мичиганском университете, где отец Фишера был профессором. [3] В 1982 году Качинский отправил пятую из своих почтовых бомб Фишеру на его адрес в Пенсильванском университете; она была переправлена в Вандербильт, где ее вскрыла 5 мая секретарь Фишера Джанет Смит, которая была госпитализирована на три недели после атаки. [3] [2] Фишер утверждал, что никогда не встречался с Качинским, [1] [2] и предполагал, что он стал целью, потому что он «перешел от чистой математики к теоретической информатике». [2]
Качиньский был задержан только в 1996 году и отбывал пожизненное заключение за свои преступления до своей смерти в 2023 году. [14]