Празднование столетия Тьюринга в Принстоне


Во время Года Алана Тьюринга во всем мире проходят празднования; много в местах, где сам Тьюринг никогда не бывал. Однако он провел два года в Принстонском университете, который только что провел трехдневную конференцию, посвященную его связи с Тьюрингом.

В 2008 году Алан Тьюринг был признан вторым по влиятельности принстонцем в его истории – лидером опроса стал Джеймс Мэдисон, первый аспирант Принстона в 1771 году и президент США в 1809–1817 годах. Тьюринг был в Принстоне два года с 1936 года и не очень подходил ему. Он писал матери, что его трудно было узнать, когда Эйнштейн и фон Нейман были в самом конце коридора.

Получив докторскую степень в диссертации «Системы логики, основанные на порядковых числах», фон Нейман предложил Тьюрингу место в Институте перспективных исследований, чтобы продолжить его математические исследования, но он предпочел вернуться в Англию.

Это изображение, логотип веб-сайта Turing Centennial Celebration, использует фотографию из файла аспирантуры Тьюринга и составлено из частей его докторской диссертации.

Так как же случилось так, что Тьюринг, который был одиноким и застенчивым до грани социального несоответствия, прибыл в Принстон, где оказался в такой возвышенной компании?

Будучи аспирантом Кембриджского университета, Тьюринг написал свою основополагающую статью о вычислимых числах, в которой он задокументировал свою идею машины Тьюринга, даже не подозревая об этой теме, доказав неразрешимость того, является ли утверждение в логике первого порядка Теорема, проблема Entscheidungsproblem, была решена Алонзо Черчем. Доказательство Черча, впервые представленное в 1935 году перед Американским математическим обществом, а затем опубликованное в Journal of Symbolic Logic, использовало лямбда-исчисление в качестве системы вычислений, но использовало технику диагонализации, аналогичную той, которую Тьюринг использовал в отношении своих машин.

Макс Ньюман, куратор Тьюринга в Кембридже, написал Черчу о работе Тьюринга:

“Его подход, заключающийся в описании машины, которая будет обрабатывать любую вычислимую последовательность, довольно сильно отличается от вашего, но, кажется, имеет большое значение, и я думаю, что очень важно, чтобы он приехал и поработал с вами в следующем году, если это вообще возможно ».

Тьюринг был одним из аспирантов факультета математики Черча. Во время своего двухлетнего пребывания он не только защитил кандидатскую диссертацию, но и написал статью по лямбда-исчислению, две статьи по теории групп и дополнение к книге «О вычислимых числах», которое сопоставило его работу с работой Черча. Однако, кроме фон Неймана, похоже, мало кто обращал на него внимание.

Согласно отчету Джона Эдвардса, со-координатора празднования столетия Тьюринга в Принстоне:

Когда-либо скромный и явно неспособный к саморекламе, его доклад в Принстоне о машине Тьюринга был редко посещен. Он получил только два запроса на перепечатку своей статьи. Мало кто из его коллег казался достаточно терпеливым, чтобы вникнуть в его сложные аргументы. И, как сам Тьюринг написал об этом в записке для своей матери, решение проблемы entsheidung не было таким уж большим делом, когда Эйнштейн был прямо в коридоре.

Эдвардс также отмечает, что Черч, похоже, не считал Тьюринга одним из своих учеников, заявив в интервью в 1984 году:

Ну, он был в Принстоне, но не только под моим наблюдением, потому что, конечно, он работал с M.H.A. Ньюман в Англии. Когда он работал с Ньюманом, родились его поистине оригинальные идеи.

Однако, оглядываясь назад, Принстон теперь считает Алана Тьюринга одним из своих престижных выпускников и организовал серию мероприятий в ознаменование ассоциации.

Торжества начались в апреле, когда биограф Тьюринга, профессор Эндрю Ходжес из Оксфордского университета прочитал лекцию «Алан Тьюринг: атлантическая перспектива».

видеоплатформавидеоменеджментвидеорешениявидеоплеер

Издательство Принстонского университета также опубликовало столетнее издание книги Эндрю Ходжеса «Алан Тьюринг: Загадка» в США, см. Врезку.

Другая книга, выпущенная к празднованию столетия, – это «Системы логики: Принстонский тезис» Алана Тьюринга, репродукция и анализ принстонской диссертации Тьюринга с эссе Соломона Фефермана и Эндрю Аппеля.

Эндрю Аппель также снял короткое видео «Наследие Тьюринга для компьютерных наук» в Принстоне:

На видео Аппель, нынешний профессор компьютерных наук в Принстоне, говорит:

Можно сказать, что величайшим факультетом информатики в мире в 1930-х годах был факультет математики Принстона, потому что лямбда-исчисление Черча стало прототипом языков программирования, которые мы используем; Машина Тьюринга стала прототипом компьютеров, разработанных Джоном фон Нейманом в Институте перспективных исследований в Принстоне, в которых программа просто хранится в виде данных в памяти компьютера.

Наследие Тьюринга, а также будущее вычислительной техники обсуждалось на Принстонской конференции столетия Тьюринга, на которой выступили восемь лауреатов премии Тьюринга. Генеральный директор Google Эрик Шмидт выступил с публичным обращением, и его выступление было полностью записано:

Большинство других ораторов согласились на запись своих выступлений, и ожидается, что они будут доступны. До тех пор краткое изложение восемнадцати часовых переговоров любезно предоставлено Диком Липтоном и Кеном Риганом на вечеринке по случаю дня рождения тигра Тьюринга.


Добавить комментарий