Пол Кокшотт-ученый-компьютерщик и политический экономист, работающий в Университете Глазго. Его последние книги — «Вычисление и его пределы» (с Маккензи и Майклсоном) и «Аргументы в пользу социализма» (с Захарией). Его исследования включают языки программирования и параллелизм, гиперкомпьютинг и вычисляемость, обработку изображений и экспериментальные компьютеры. Эта статья первоначально появилась в блоге OUP.
Этот год широко отмечается как столетие Тьюринга. Его приветствуют как изобретателя компьютера, который, возможно, преувеличивает, и как основателя вычислительной науки, что более важно. Можно утверждать, что его роль в реальном производстве компьютеров первого поколения, хотя и была реальной, не была жизненно важной. В 1946 году он разработал автоматический вычислительный двигатель (ACE), очень продвинутый проект компьютера для своего времени, но из-за его сложного масштаба первоначально была построена только урезанная версия (пилотный ACE) (и теперь ее можно увидеть в Музее науки, Лондон). С 1952 по 1955 год «пилот Эйс» был самым быстрым компьютером в мире, и его успешно коммерциализировали как «двойку». С инженерной точки зрения, однако, ни одна из отличительных черт Тьюринга ACE не сохранилась в современных компьютерных конструкциях. Независимая работа Цузе в Германии или Атанасова в США показывает, что электронные компьютеры были технологией, ожидающей открытия во всем промышленном мире.
Что отличало Тьюринга от других пионеров компьютерных разработок, так это его гораздо больший философский вклад. Тьюринг глубоко задумался о том, что такое вычисление, каковы его пределы и что оно говорит нам о природе интеллекта и самого мышления.
Статья Тьюринга 1936 года о вычислимых вещественных числах знаменует эпистемологический разрыв между идеализмом и материализмом в математике. До Тьюринга было трудно отделаться от мысли, что с помощью математического разума человеческий разум получил доступ к более высокой области платонических истин. Первое предложение Тьюринга относительно универсальной вычислительной машины основано на неявном отказе от этой точки зрения. Его машина предназначена для моделирования того, что делает человек-математик при вычислении или рассуждении, и, показывая, с какими ограничениями сталкивается эта машина, он определяет ограничения, которые связывают математическое рассуждение в целом (независимо от того, сделано ли это людьми или машинами).
С самого начала он подчеркивает ограниченность наших умственных способностей и нашу зависимость от искусственных вспомогательных средств — карандаша и бумаги, например, — чтобы справиться с большими проблемами. Он утверждал, что у нас есть только конечное число «состояний ума», в которых мы можем находиться, производя вычисления. В нашей памяти есть определенный запас того, что он называет «эмпирическими правилами», которые могут быть применены к проблеме. Наше зрение позволяет нам видеть только ограниченное число математических символов одновременно, и мы можем записать только один символ растущей формулы или растущего числа одновременно. Акцент здесь, даже когда он смотрит на человека-математика, делается на мирском, материальном, ограничивающем.
В своих более поздних эссе об искусственном интеллекте Тьюринг не одобряет никаких особых просьб о человеческом разуме. Он доказывает со своим знаменитым тестом Тьюринга, что те же критерии, которые мы используем для приписывания интеллекта и сознания другим человеческим существам, в принципе могут быть использованы для приписывания их машинам (при условии, что эти машины общаются таким образом, что мы не можем отличить их от человеческого поведения). В своем эссе «вычислительная техника и интеллект» он сталкивается с возражением, что машины никогда не могут делать ничего нового, только то, что они запрограммированы делать. — Лучший вариант возражения гласит, что машина никогда не сможет «застать нас врасплох». Машины захватывают меня врасплох с большой частотой. Это происходит главным образом потому, что я не делаю достаточных вычислений, чтобы решить, чего ожидать от них, или, скорее, потому, что, хотя я делаю вычисления, я делаю это поспешно, небрежно, рискуя.”
Тьюринг начинает философскую традицию обоснования математики на материале и, следовательно, в конечном счете на том, что может быть разрешено законами физики. Истины математики становятся истинами, подобными истинам любой другой науки-утверждениями о множествах возможных конфигураций материи. Таким образом, истина арифметики-это предсказание поведения реальных физических вычислительных систем, будь то дети с мелками и грифельными досками или микропроцессоры. С этой точки зрения рассматривать математические абстракции как платоновские идеалы имеет не больше смысла, чем утверждать существование идеальных дверей и чаш, частичными проявлениями которых являются действительные двери и чаши. Математика тогда становится технологией моделирования одной части материального мира с другой. В формулировке Дейча принципа Тьюринга любая конечная физическая система может быть смоделирована с произвольной степенью точности универсальной машиной Тьюринга.
