23 июня 2012 года исполняется 100 лет со дня рождения Алана Тьюринга - английского математика, логика, криптографа, оказавшего существенное влияние на развитие информатики.
Алан Матисон Тьюринг (Alan Mathison Turing) родился 23 июня 1912 года в Лондоне в семье колониального чиновника, служившего в Индии. Его родители ‑ Юлиус Мэтисон Тьюринг (Julius Mathison) и Этель Сара Стоуни (Ethel Sara Stoney) познакомились и обвенчались в Индии.
Алан Тьюринг учился в престижной Шерборнской школе (Sherborne Public School) в Англии, где проявил незаурядные способности к математике и химии, затем в 1931 году поступил в Кингз‑колледж (King"s College) Кембриджского университета.
В 1935 году он защитил диссертацию "Центральная предельная теорема теории вероятности" (которую он самостоятельно переоткрыл, не зная об аналогичной предшествующей работе) и был избран членом Научного общества колледжа. В этом же году он впервые начал работать в области математической логики и проводить исследования, которые уже через год привели к выдающимся результатам.
В своей работе "О вычислимых числах, с приложением к проблеме разрешимости" (On the Computable Numbers, with an Application to the Entscheidungsproblem, 1936) Тьюринг ввел математическое понятие абстрактного эквивалента алгоритма, или вычислимой функции, получившее затем название "машины Тьюринга". Это был проект устройства, имеющего все основные свойства современной информационной системы: программное управление, память и пошаговый способ действий.
"Машина Тьюринга" открыла дискуссию по теории автоматов и создала теоретическую базу для работы цифровых компьютеров, которые появились в 1940‑е годы.
Тьюринг продолжил учебу в США - в Принстонском университете, где под руководством американского математика и логика Алонзо Чёрча (Alonzo Church) в 1938 году получил степень доктора философии. Затем он вернулся в Великобританию и получил стипендию Кингз‑колледжа для занятий логикой и теорией чисел.
В это же время началось его конфиденциальное сотрудничество с правительственной Школой кодов и шифров (Government Code and Cypher School) в Блечли‑Парке, где он еще до войны участвовал в работах по раскрытию немецких шифров.
В 1939 году британское военное ведомство поставило перед Тьюрингом задачу разгадать секрет "Энигмы" - специального устройства, использовавшегося для шифровки радиограмм в германском военно‑морском флоте и в "люфтваффе". Британская разведка раздобыла это устройство, но расшифровывать перехваченные радиограммы немцев не удавалось. Тьюринг пригласил в созданный им отдел нескольких друзей‑шахматистов. Уже через полгода было разработано устройство, названное им "Бомбой", которое позволяло читать практически все сообщения "люфтваффе". А спустя ещё год был "взломан" и более сложный вариант "Энигмы" , использовавшийся нацистскими подводниками. Это во многом предопределило военные успехи британского флота.
Тьюринг занимался также разработкой шифров для переписки премьер-министра Великобритании Уинстона Черчилля и президента США Франклина Рузвельта, проведя период с ноября 1942 года по март 1943 года в США.
Заслуги Алана Тьюринга были по достоинству оценены: после разгрома Германии он был удостоен звания кавалера Ордена Британской империи 4‑й степени.
В 1945 году Тьюринг был принят в Национальную физическую лабораторию в Лондоне, где возглавил разработку большого автоматического вычислительного устройства АСЕ (Automatic Computing Engine).
Разработанные в 1947 году Тьюрингом "Сокращенные кодовые инструкции" (Abbreviated Code Instructions) положили начало созданию, исследованию и практическому использованию языков программирования.
В 1948 году ученый был назначен заместителем Макса Ньюмена (Max Newman), директора вычислительной лаборатории Манчестерского университета, где создавался компьютер с самой большой по тому времени памятью - манчестерская автоматическая цифровая машина, или "Мадам" (Manchester Automatic Digital Machine), как ее называли в прессе. Тьюринг написал для нее несколько программ, пользуясь буквенно‑цифровым кодом.
Тьюринг считается основоположником не только вычислительной техники, но также и искусственного интеллекта. Исключительную роль в развитии этого исследовательского направления сыграла небольшая статья "Вычислительные машины и разум" (Computing Machinery and Intellegence), опубликованная в журнале Mind в 1950 году и впоследствии многократно перепечатывавшаяся, в которой Тьюринг предложил ставший знаменитым мысленный эксперимент (тест Тьюринга) ‑ операциональный способ решения вопроса "мыслит ли машина?".
В 1951 году Алан Тьюринг стал членом Королевского научного общества.
В конце жизни он занялся вопросами биологии, а именно, разработкой химической теории морфогенеза. Эта работа осталась незаконченной. Предварительный доклад 1952 года и отчет, который появился уже после его смерти, описывают только первые наброски этой теории.
В 1952 году Тьюринг попал под суд по обвинению в нетрадиционной сексуальной ориентации. Вскоре скандал стал достоянием публики, ученый подвергся осуждению и потерял право работать в области криптографии.
8 июня 1954 года Тьюринг был найден мертвым в своем доме в Уилмслоу близ Манчестера. Смерть наступила 7 июня от отравления цианидом и была признана самоубийством.
В честь Алана Тьюринга Ассоциация по вычислительной технике (Association for Computing Machnery, АСМ) учредила премию его имени. Первым лауреатом премии Тьюринга в 1966 году стал Алан Перлис, один из создателей языка программирования Алгол, первый президент АСМ.
Материал подготовлен на основе информации открытых источников
В рубрике «Икона эпохи» мы рассказываем о художниках, дизайнерах, режиссёрах, музыкантах и других творческих профессионалах, которым удалось создать узнаваемый стиль и повлиять на современную культуру. Наш герой на этой неделе - основоположник информатики, математик и криптограф Алан Тьюринг, который был посмертно помилован 24 декабря королевой Великобритании.
Алан Мэтисон
Тьюринг
(Alan Mathison Turing)
1912-1954, Великобритания
математик, логик, криптограф
Первые годы и успехи в учёбе
Историю современных компьютеров можно рассказывать по-разному: в «Википедии» она, например, начинается с изобретения счёта в Древнем Вавилоне примерно 6 000 лет назад. Однако наиболее значительный скачок, который привёл к появлению компьютеров, произошёл в первой половине XX века, когда были изобретены первые вычислительные машины. Одной из них была «машина Тьюринга» - гипотетическое устройство, придуманное в 1936 году Аланом Тьюрингом - учёным, которого считают одним из основоположников информатики.
Изобретателю вычислительной машины было всего 24 года - будущий математик и учёный с детства проявлял нетипичные способности и быстро достиг высот в математике. Он поступил в школу в 6 лет, и уже тогда его преподаватели заметили, что он одарённый ребенок. В 13 лет Тьюринг начал учиться в знаменитой независимой школе для мальчиков Sherborne School в Дорсете, которая существует с XVI века: там он добился больших успехов в математике, но его учителя не одобряли этого, потому что считали гуманитарные науки более важными.
В 1928 году Тьюринг познакомился с Кристофером Морком - одарённым мальчиком, который тоже интересовался математикой и новыми технологиями. Два года спустя Морком умер от «бычьего туберкулеза». Тьюринг предчувствовал смерть близкого друга и был поражён тем, что наука не может объяснить такие ощущения. Смерть Моркома очень повлияла на учёного, его философские взгляды и представление о смерти. На протяжении всей своей жизни он пытался найти рациональное объяснение таким событиям, и его размышления на эту тему легли в основу статьи «О вычислимых числах в приложении к проблеме разрешения».
«Машина Тьюринга» и расшифровка сообщений «Энигмы»
В 1931 году будущий учёный поступил в Кембридж, где его учителем был известный математик Годфри Харолд Харди, исследовавший теорию чисел и теорию функций. Закончив колледж в 1934 году, Тьюринг начал посещать лекции учёного Макса Ньюмена, где узнал о проблеме «разрешимости» Гилберта . Размышляя над этой проблемой, Тьюринг придумал устройство, которое могло бы выполнять функции любой другой машины, то есть вычислять всё, что возможно вычислить. Эта концепция была названа «машиной Тьюринга». Кроме того, в своей статье Тьюринг доказал, что проблема остановки такой машины неразрешима, опровергнув теорию Гилберта. Это же доказал и математик и логик Алонзо Чёрч, с которым Тьюринг работал в 1936-1938 гг. в Принстонском университете.
«Бомба»
В конце 1930-х Тьюринг начал работать в Блетчли-парке - особняке в Милтон Кинсе (город неподалёку от Лондона), где то время находилось главное шифровальное подразделение Великобритании, которое сейчас называется Центром правительственной связи (GCHQ). Там Тьюринг вместе с другими учёными пытался дешифровать «Энигму» - портативную машину для шифрования сообщений, которые использовали немецкие военные. На основе криптографического анализа алгоритма «Энигмы», который провёл Тьюринг, в 1940 году была построена дешифровальная машина «Бомба». Она расшифровала множество сообщений немцев: благодаря ей англичане узнали о планах вторжения в СССР и о деятельности немецких подводных лодок во время операции «Битва за Атлантику» .
Блетчли-парк
Последние годы и посмертное признание
Гомосексуализм считался преступлением в Великобритании с конца XVI века: сначала, согласно «Акту о содомии», гомосексуалистов казнили, но в XIX веке это наказание было заменено тюремным заключением. В 1885 году была принята «поправка Лабушера» , по которой был осуждён Оскар Уайльд - она действовала до 1967 года, и именно в соответствии с ней судили и Тьюринга. Он никогда не скрывал свою ориентацию - об этом знали все его друзья и коллеги, в том числе и те, которые работали с ним во время войны.
Однако в 1952 году Тьюринга осудили за связь с 19-летним Арнольдом Мюреем. Молодой человек обокрал дом учёного, Тьюринг заявил в полицию, и ему пришлось рассказать полицейским о связи с Мюреем. Учёного осудили: он должен был выбрать между тюремным заключением и химической кастрацией. Он выбрал последнее. Кроме того, ему было запрещено работать в GCHQ, и это стало трагедией для Тьюринга - в 1954 году он покончил жизнь самоубийством.
В последующие десятилетия, когда «поправка Лабушера» была отменена, Тьюринга признали одним из 100 величайших британцев в истории, а 24 декабря 2013 года он был посмертно помилован королевой Великобритании. Кроме того, Тьюринг стал иконой британского квир-сообщества и кумиром многих математиков - спустя 100 лет после его рождения, в 2012 году, в Великобритании и других странах отмечался «Год Алана Тьюринга» , в рамках которого было организованы научные конференции, выставки и другие события.
Таймлайн
Знакомится с Кристофером Морком
Поступает King’s College в Кембридже
Изобретает «машину Тьюринга», пишет статью
«О вычислимых числах в приложении к проблеме разрешения» и начинает работать в Принстонском университете
Начинает работать в GCHQ
Отправляется в США для строительства «Бомбы» в Вашингтоне
Награждён орденом Британской империи за военную службуне могут его пройти.
Становление информатики как науки
Тьюринг считается одним из основоположников информатики. В своих статьях он формализировал важное для этой науки понятие «алгоритма». Кроме того, учёный фактически изобрел устройство-прототип IBM и всех современных компьютеров - «машину Тьюринга». До нее существовала только механическая вычислительная машина Чарльза Бэббиджа, который построил ее в начале XIX века.
А́лан Мэ́тисон Тью́ринг, OBE - английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Кавалер Ордена Британской империи, член Лондонского королевского общества.
Алан Матисон Тьюринг OBE (англ. Alan Mathison Turing; 23 июня 1912 — 7 июня 1954) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Предложенная им в 1936 году абстрактная вычислительная «Машина Тьюринга» позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований.
Жизнь Алана Тьюринга закончилась трагически. Он был признан «одной из самых известных жертв гомофобии в Великобритании».
Сын британского чиновника в Индии, Алан учился во Франции, Англии и, затем, в США. Тогда многие математики пытались создать алгоритм для определения истинности высказываний.
Но Гёделю удалось доказать, что любая полезная математическая система аксиом неполна в смысле, что в ней существует высказывание, истинность которого нельзя ни опровергнуть, ни подтвердить. Это побудило Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика всегда будет содержать недоказуемые высказывания.
В своей работе Тьюринг предложил проект простого устройства, имеющего все основные свойства современной информационной системы: программное управление, память, и пошаговый способ действий. Эта воображаемая машина, получившая название «машины Тьюринга», используется в теории автоматов или компьютеров.
Когда Тьюринг из США возвратился в Англию, началась вторая мировая война. Одним из важнейших вооружений этой войны была ЭВМ «Колосс» по проекту «Ультра», начавшая в 1943 году взламывать сверхсложные шифры немцев. Работа этой системы значительно помогла союзникам в борьбе с немецко-фашистскими захватчиками.
После войны в 1945 Алан возглавил проект создания компьютера «ТУЗ» (ACE, Automatic Computing Engine), а в 1948 Тьюринг стал работать с «МАДАМ» (MADAM, Manchester Automatic DigitAl Machine), компьютером с самой большой памятью в мире в то время.
Работы Алана по сооружению первых ЭВМ и развитию методов программирования имели неоценимую важность, дав основу большинству исследований в области искусственного интеллекта. Он полагал, что компьютеры, в конце концов, смогут мыслить как человек, и предложил простую проверку, известную как тест Тьюринга, оценивающую способность машины мыслить: побеседуйте с ЭВМ, и пусть она убедит вас, что она — человек.
В 1952 году Тьюринг издал первую часть его теоретического изучения развития форм живых организмов. Но эта работа осталась незаконченной.
В 1952 г. обворовали квартиру Тьюринга, и в ходе расследования полиция выяснила, что кражу совершил друг его любовника. Скандал получил широкую огласку — и 30 марта 1953 года состоялся судебный процесс, на котором Тьюринг был обвинен в мужеложестве. На выбор ему было предложено два приговора-либо заключение в тюрьме, либо подавление либидо с помощью инъекций женского гормона эстрогена. Ученый выбрал второе.
Последствия суда были катастрофическими — Алана Тьюринга уволили из шифроаналитического бюро и Манчестерского университета. Правда, потом ему все-таки вернули возможность преподавать. Тем не менее учёный до 1954 г. прожил в затворничестве, играя в свою любимую игру «Необитаемый остров», которая заключалась в получении всевозможных химических веществ из популярных продуктов.
8 июня 1954 года Алан Мэтисон Тьюринг был найден мертвым в своем доме — отравился цианидом. Яблоко, начиненное этой отравой, лежало рядом на ночном столике. До сих пор точно не известно, было ли это самоубийством или Тьюринга погубили завистники. Его мать считала, что он отравился случайно, так как всегда небрежно работал с химикатами.
Было обнаружено, что компьютеры всё-таки могут решить не любую математическую задачу. Алан Тьюринг доказал в 1936 году, что общий алгоритм для решения проблемы остановки для любых возможных входных данных не может существовать.
Во время Второй мировой войны Тьюринг работал в Блечли Парке — британском криптографическом центре, где возглавлял одну из пяти групп, Hut 8, занимавшихся в рамках проекта «Ультра» расшифровкой закодированных немецкой шифровальной машиной «Энигма» сообщений кригсмарине и люфтваффе. Вклад Тьюринга в работы по криптографическому анализу алгоритма, реализованного в «Энигме» основывался на более раннем криптоанализе предыдущих версий шифровальной машины, выполненных в 1938 году польским криптоаналитиком Марианом Реевским.
В начале 1940 года он разработал дешифровальную машину «Бомба», позволявшую читать сообщения люфтваффе. Принцип работы «Бомбы» состоял в переборе возможных вариантов ключа шифра и попыток расшифровки текста, если была известна часть открытого текста или структура расшифровываемого сообщения.
Перебор ключей выполнялся за счёт вращения механических барабанов, сопровождавшегося звуком, похожим на тиканье часов, из-за чего «Бомба» и получила свое название. Для каждого возможного значения ключа, заданного положениями роторов (количество ключей равнялось примерно 1019 для сухопутной «Энигмы» и 1022 для шифровальных машин, используемых в подводных лодках), «Бомба» выполняла сверку с известным открытым текстом, выполнявшуюся электрически.
Первая в Блетчли «Бомба» Тьюринга была запущена 18 марта 1940 года. Дизайн «Бомб» Тьюринга так же был основан на дизайне одноимённой машины Реевского.
Через полгода удалось взломать и более стойкий шифр Кригсмарине. Позже, к 1943 году, Тьюринг внес ощутимый вклад в создание более совершенной дешифровальной электронно-вычислительной машины «Колосс», использующейся в тех же целях.
Даже читая зашифрованные немецкие сообщения, в марте 1943 года Великобритания стояла на грани поражения в Битве за Атлантику и во всей Второй мировой войне. Вполне вероятно, что без расшифровки кода «Энигмы» ход этой войны был бы иным.
Любая интуитивно вычислимая функция является частично рекурсивной, или, эквивалентно, может быть вычислена с помощью некоторой машины Тьюринга.
Алан Тьюринг высказал предположение (известное как тезис Чёрча — Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга.
Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (то есть проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах).
Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки).
Она состоит в следующем: требуется найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго.
Тьюринг является основателем теории искусственного интеллекта.
Машина Тьюринга является расширением модели конечного автомата и способна имитировать (при наличии соответствующей программы) любую машину, действие которой заключается в переходе от одного дискретного состояния к другому.
Тест Тьюринга — тест, предложенный Аланом Тьюрингом в 1950 году в статье «Вычислительные машины и разум» (англ. Computing Machinery and Intelligence) для проверки, является ли компьютер разумным в человеческом смысле слова. В этом тесте один или несколько людей должны задавать вопросы двум тайным собеседникам и на основании ответов определять, кто из них машина, а кто человек. Если не удавалось раскрыть машину, которая маскировалась под человека, предполагалось, что машина разумна.
Тьюринг был гомосексуалистом. В то время в Великобритании гомосексуальные половые акты были запрещены законом, а гомосексуализм считался психическим заболеванием.
В 1952 году ему были предъявлены обвинения в «грубой непристойности» (англ. gross indecency) за то, что он был геем. Тьюринг был осужден, и ему предоставили выбор между двухлетним тюремным заключением и гормональной терапией в виде инъекций эстрогена, которая, по сути, была химической кастрацией.
Тьюринг выбрал терапию. Одним из эффектов была растущая грудь и снижение либидо. Кроме того, в результате осуждения он потерял право работать в области криптографии.
Через год после вынесения приговора он умер от отравления цианидом, который, видимо, содержался в яблоке, половину которого Тьюринг съел перед смертью. Было признано, что он покончил жизнь самоубийством. Тем не менее, его мать считала, что он отравился случайно, так как всегда небрежно работал с химикатами.
10 сентября 2009 года Премьер-министр Великобритании Гордон Браун публично принёс извинения за те методы, которым был подвергнут Алан Тьюринг.
В 2009 году Алан Тьюринг был признан «одной из самых известных жертв гомофобии в Великобритании».
— Память об Алане Тьюринге
* Одна из ежегодных наград Ассоциации вычислительной техники называется Премия Тьюринга.
* Алан Тьюринг упоминается в историческом романе «Криптономикон» Нила Стивенсона и фигурирует в романе Роберта Харриса «Энигма».
* Известный писатель-фантаст Гарри Гаррисон в соавторстве с американским учёным в области искусственного интеллекта Марвином Мински написал роман «Выбор по Тьюрингу» («The Turing Option», 1992).
* В романе Уильяма Гибсона «Нейромант» фигурирует «полиция Тьюринга» («регистр Тьюринга»), которая занимается контролем и следит за развитием существующих искусственных интеллектов.
Чтобы произвести расчеты, необходимо разрешить элементы ActiveX!
Многие знают, что Алан Тьюринг был гомосексуалистом, что и привело к трагедии в конце его жизни. Но, наверное, немногие знают, что в жизни Алана Тьюринга была и женщина. Которой он даже сделал предложение. Правда, помолвка продержалась недолго...
Кто же она была такая?
Ее звали Джоан Кларк. Родилась она в семье священника и была самым младшим ребенком в семье. После школы она поступила в Кембридж, чтобы изучать математику. Кембридж Джоан закончила, получив по двум дисциплинам диплом с отличием. Степени не получила только потому, что вплоть до окончания второй мировой Кембридж не допускал женщин к продвижению в академической карьере.
Куратор Джоан по геометрии, который ранее был завербован в Блетчли для декодирования, зная о ее математических способностях, привлек ее к работе в Блетчли-Парк.
Джоан не знала в точности о сути работы, на которую устроилась, только что математика там особо не нужна, однако математики обычно с ней хорошо справляются. Первоначальная должность ее была довольно скромной, она присоединилась к большой группе женщин, которых обычно называли просто “девушки”, и которые занимались рутинной работой клерков. Во время своей работы в Блетчли-Парк Кларк знала еще только одну другую женщину-криптоаналитика, поскольку в этой области доминировали мужчины. Изначально она получала 2 фунта в неделю - мужчинам за аналогичную работу платили на порядок больше.
Первое повышение в должности у нее было до лингвиста - хоть она и не говорила ни на одном другом языке. Это было сделано только для того, чтобы дать ей возможность получать больше денег и показать, что ее вклад ценится. Джоан развлекалась, отвечая в анкетах: “Должность: лингвист, известные языки - ни одного.”
Довольно быстро она продвинулась до собственного стола в маленькой комнате, присоединившись к группе Алана Тьюринга. Вместе они пытались взломать код Энигмы.
Джоан была полна энтузиазма, и часто оставалась в конце своей смены, чтобы посмотреть, не принесут ли еще несколько тестов нужный результат.
Весной 1941 года Джоан Кларк завязала тесные дружеские отношения с Аланом Тьюрингом. На некоторое время они стали неразлучны. Сначала они несколько раз сходили вместе в кино, потом провели вместе несколько выходных. Тьюринг организовал их смены таким образом, чтобы они могли вместе работать. Они регулярно выходили вместе на прогулки и говорили обо всем на свете. Пожалуй, эти отношения можно было назвать платонической любовью. И Тьюринг сделал ей предложение, которое она с радостью приняла.
В 1941 году многие люди не думали, что для брака имеют значение сексуальные пристрастия, как это общепринято в современном мире. В те времена к браку относились в большей степени как к социальному долгу. Однако Алан Тьюринг, обладая честностью, пусть в ущерб самому себе, не мог скрывать от Джоан подобные вещи. Через несколько дней после помолвки он сказал ей, что они не должны так уж расчитывать на то, что их брак сработает, поскольку у него есть "гомосексуальные наклонности".
Он ожидал, что это признание приведет к разрыву их отношений, и был удивлен, когда этого не произошло. Алан недооценил Джоан - она была не из тех, кого бы это отпугнуло. Обручение продолжалось. Он подарил ей кольцо, и они поехали в его родной город, чтобы познакомиться с семьей Тьюрингов, что прошло достаточно хорошо. На обратном пути они заехали к Кларкам.
Все же он чувствовал, что не был до конце с ней честным - слово "наклонности" не описывало в полной мере его отношения с мужчинами. Это его тревожило. Но они были оба одаренными людьми, и он в частности говорил ей, что рад, что может разговаривать с ней "как с мужчиной". Алан часто терялся в разговорах с женщинами, потому что ему было сложно поддерживать светскую беседу ни о чем.
Джоан не носила свое кольцо на работу, сказали про обручение только одному из сотрудников, но остальные могли видеть, что что-то происходит, и Алан в конце концов устроил в офисе вечеринку, чтобы объявить о случившемся.
Вне службы они не очень много говорили о будущем. Алан сказал, что ему бы хотелось, чтобы у них были дети, но конечно сейчас нельзя было и ожидать, что она сможет оставить такую важную работу в такое время. Был 1941 год, и война казалось никогда не кончится.
Когда Алан говорил, что он может говорить с ней, как с мужчиной, конечно же, это не означало, что он должен быть официально-серьезным. Наоборот - он был свободен быть самим собой, а не стандартно вежливым. Если ему в голову приходил какой-то план или развлечение, они оба участвовали в нем с радостью. Он научился вязать, и даже связал пару перчаток, только не знал, как завершить. Джоан ему показала, что нужно делать. (Хочу тут указать, что в данном случае вязание не было указанием на гомосексуальность Тьюринга, а суровой необходимостью. Шла война, и с новыми вещами в Британии была напряженка. Приходилось выкручиваться.)
В своей дружбе они легко разделяли и радость, и трудности. Они оба были увлечены шахматами, и были хорошими партнерами по игре друг для друга, несмотря на то, что Джоан была в шахматах новичком. Алан называл их игру "сонные шахматы", потому что они играли в них после девятичасовой ночной смены. У Джоан был только карманный набор шахмат, настоящие фигурки во время войны было не раздобыть, так что они симпровизировали свое решение. Алан раздобыл немного глины, и они вместе слепили фигурки. Алан затем обжег их в камине своего номера в гостинице. Полученный набор был вполне себе используемым, только что легко бьющимся.
Они делились друг с другом прочитанными книгами, ездили на долгие велосипедные прогулки по окрестностям. И поскольку она изучала в школе ботанику, то была способна присоединится к этому увлечению Алана. Он в особенности был заинтересован в росте и форме растений.
Однако через несколько месяцев их обручение закончилось. Алан так и не смог себя убедить, что их брак сработает.
Yet each man kills the thing he loves
By each let this be heard,
Some do it with a bitter look,
Some with a flattering word,
The coward does it with a kiss,
The brave man with a sword!
Но убивают все любимых, -
Пусть знают все о том, -
Один убьет жестоким взглядом,
Другой - обманным сном,
Трусливый - лживым поцелуем,
И тот, кто смел, - мечом!
(перевод Бальмонта)
Несколько раз в жизни он говорил: "я люблю тебя". У Алана не было проблем с недостатком любви...
Разрыв создал сложную ситуацию на работе. Он сказал одному из сотрудников. что обручение было разорвано, но не истинную причину. Он использовал сон как объяснение, сказав, что ему приснилось, будто они поехали вместе к его родным, и семья ее не приняла. Алан перестал работать по сменам, так что поначалу ему и Джоан не нужно было встречаться чаще, чем необходимо. Эта ситуация была очень тяжелой для них обоих, но он вел себя так, что она знала, что как личность ее не отвергли. Разрыв был барьером, но понимание его позволило сохранить отношения.
Джоан оставалась другом Тьюринга до конца его жизни.
Через несколько лет Тьюринг даже сделал попытку возобновить все, заведя с Джоан разговор на тему, что они могли бы попробовать снова. Но Джоан не поддержала эту инициативу.
После войны Джоан Клар вышла замуж за вышедшего в отставку офицера. Детей у нее не было.
Когда начался судебный процесс против Тьюринга по обвинению в гомосексуализме, Джоан была одной из тех - наряду с его матерью и братом, кому он сразу же написал письма, чтобы они не узнали об этом из газет.
Когда Эндрю Ходжс начал писать биографию Тьюринга (на факты из которой я в основном опиралась при написании этого поста), Джоан Кларк помогала ему с этим.
Однако когда на основании этой книги Хью Уитмор в 1986 году написал пьесу, которая с большим успехом была показана сначала в лондонском Вест-Энде, а после на Бродвее (в обоих случаях Алана Тьюринга играл Дерек Джейкоби), Джоан Кларк на спектакль не пошла. Объяснив, что это было бы для нее "слишком болезненно."
Алан Матисон Тьюринг OBE (англ. Alan Mathison Turing; 23 июня 1912 - 7 июня 1954) - английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Предложенная им в 1936 году абстрактная вычислительная «Машина Тьюринга» позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований.
Жизнь Алана Тьюринга закончилась трагически. Он был признан «одной из самых известных жертв гомофобии в Великобритании».
«В отсутствии законов поведения, которые в своей совокупности определяли бы нашу жизнь, нельзя убедиться так же легко, как в отсутствии законченного списка правил действия. Единственный известный нам способ отыскания таких законов есть научное объяснение, и конечно мы никогда … не можем сказать: «Мы достаточно уже исследовали. Законов, которые полностью определяли бы нашу жизнь и поведение, не существует».
Тьюринг Алан Матисон
Сын британского чиновника в Индии, Алан учился во Франции, Англии и, затем, в США. Тогда многие математики пытались создать алгоритм для определения истинности высказываний.
Но Гёделю удалось доказать, что любая полезная математическая система аксиом неполна в смысле, что в ней существует высказывание, истинность которого нельзя ни опровергнуть, ни подтвердить. Это побудило Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика всегда будет содержать недоказуемые высказывания.
В своей работе Тьюринг предложил проект простого устройства, имеющего все основные свойства современной информационной системы: программное управление, память, и пошаговый способ действий. Эта воображаемая машина, получившая название «машины Тьюринга», используется в теории автоматов или компьютеров.
Когда Тьюринг из США возвратился в Англию, началась вторая мировая война. Одним из важнейших вооружений этой войны была ЭВМ «Колосс» по проекту «Ультра», начавшая в 1943 году взламывать сверхсложные шифры немцев. Работа этой системы значительно помогла союзникам в борьбе с немецко-фашистскими захватчиками.
После войны в 1945 Алан возглавил проект создания компьютера «ТУЗ» (ACE, Automatic Computing Engine), а в 1948 Тьюринг стал работать с «МАДАМ» (MADAM, Manchester Automatic DigitAl Machine), компьютером с самой большой памятью в мире в то время.
Работы Алана по сооружению первых ЭВМ и развитию методов программирования имели неоценимую важность, дав основу большинству исследований в области искусственного интеллекта. Он полагал, что компьютеры, в конце концов, смогут мыслить как человек, и предложил простую проверку, известную как тест Тьюринга, оценивающую способность машины мыслить: побеседуйте с ЭВМ, и пусть она убедит вас, что она - человек.
В 1952 году Тьюринг издал первую часть его теоретического изучения развития форм живых организмов. Но эта работа осталась незаконченной.
В 1952 г. обворовали квартиру Тьюринга, и в ходе расследования полиция выяснила, что кражу совершил друг его любовника. Скандал получил широкую огласку - и 30 марта 1953 года состоялся судебный процесс, на котором Тьюринг был обвинен в мужеложестве. На выбор ему было предложено два приговора-либо заключение в тюрьме, либо подавление либидо с помощью инъекций женского гормона эстрогена. Ученый выбрал второе.
Последствия суда были катастрофическими - Алана Тьюринга уволили из шифроаналитического бюро и Манчестерского университета. Правда, потом ему все-таки вернули возможность преподавать. Тем не менее учёный до 1954 г. прожил в затворничестве, играя в свою любимую игру «Необитаемый остров», которая заключалась в получении всевозможных химических веществ из популярных продуктов.
8 июня 1954 года Алан Мэтисон Тьюринг был найден мертвым в своем доме - отравился цианидом. Яблоко, начиненное этой отравой, лежало рядом на ночном столике. До сих пор точно не известно, было ли это самоубийством или Тьюринга погубили завистники. Его мать считала, что он отравился случайно, так как всегда небрежно работал с химикатами.
Было обнаружено, что компьютеры всё-таки могут решить не любую математическую задачу. Алан Тьюринг доказал в 1936 году, что общий алгоритм для решения проблемы остановки для любых возможных входных данных не может существовать.
Во время Второй мировой войны Тьюринг работал в Блечли Парке - британском криптографическом центре, где возглавлял одну из пяти групп, Hut 8, занимавшихся в рамках проекта «Ультра» расшифровкой закодированных немецкой шифровальной машиной «Энигма» сообщений кригсмарине и люфтваффе. Вклад Тьюринга в работы по криптографическому анализу алгоритма, реализованного в «Энигме» основывался на более раннем криптоанализе предыдущих версий шифровальной машины, выполненных в 1938 году польским криптоаналитиком Марианом Реевским.
В начале 1940 года он разработал дешифровальную машину «Бомба», позволявшую читать сообщения люфтваффе. Принцип работы «Бомбы» состоял в переборе возможных вариантов ключа шифра и попыток расшифровки текста, если была известна часть открытого текста или структура расшифровываемого сообщения.
Перебор ключей выполнялся за счёт вращения механических барабанов, сопровождавшегося звуком, похожим на тиканье часов, из-за чего «Бомба» и получила свое название. Для каждого возможного значения ключа, заданного положениями роторов (количество ключей равнялось примерно 1019 для сухопутной «Энигмы» и 1022 для шифровальных машин, используемых в подводных лодках), «Бомба» выполняла сверку с известным открытым текстом, выполнявшуюся электрически.
Первая в Блетчли «Бомба» Тьюринга была запущена 18 марта 1940 года. Дизайн «Бомб» Тьюринга так же был основан на дизайне одноимённой машины Реевского.
Через полгода удалось взломать и более стойкий шифр Кригсмарине. Позже, к 1943 году, Тьюринг внес ощутимый вклад в создание более совершенной дешифровальной электронно-вычислительной машины «Колосс», использующейся в тех же целях.
Даже читая зашифрованные немецкие сообщения, в марте 1943 года Великобритания стояла на грани поражения в Битве за Атлантику и во всей Второй мировой войне. Вполне вероятно, что без расшифровки кода «Энигмы» ход этой войны был бы иным.
Любая интуитивно вычислимая функция является частично рекурсивной, или, эквивалентно, может быть вычислена с помощью некоторой машины Тьюринга.
Алан Тьюринг высказал предположение (известное как тезис Чёрча - Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга.
Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (то есть проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах).
Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки).
Она состоит в следующем: требуется найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго.
Тьюринг является основателем теории искусственного интеллекта.
Машина Тьюринга является расширением модели конечного автомата и способна имитировать (при наличии соответствующей программы) любую машину, действие которой заключается в переходе от одного дискретного состояния к другому.
Тест Тьюринга - тест, предложенный Аланом Тьюрингом в 1950 году в статье «Вычислительные машины и разум» (англ. Computing Machinery and Intelligence) для проверки, является ли компьютер разумным в человеческом смысле слова. В этом тесте один или несколько людей должны задавать вопросы двум тайным собеседникам и на основании ответов определять, кто из них машина, а кто человек. Если не удавалось раскрыть машину, которая маскировалась под человека, предполагалось, что машина разумна.
Тьюринг был гомосексуалистом. В то время в Великобритании гомосексуальные половые акты были запрещены законом, а гомосексуализм считался психическим заболеванием.
В 1952 году ему были предъявлены обвинения в «грубой непристойности» (англ. gross indecency) за то, что он был геем. Тьюринг был осужден, и ему предоставили выбор между двухлетним тюремным заключением и гормональной терапией в виде инъекций эстрогена, которая, по сути, была химической кастрацией.
Тьюринг выбрал терапию. Одним из эффектов была растущая грудь и снижение либидо. Кроме того, в результате осуждения он потерял право работать в области криптографии.
Через год после вынесения приговора он умер от отравления цианидом, который, видимо, содержался в яблоке, половину которого Тьюринг съел перед смертью. Было признано, что он покончил жизнь самоубийством. Тем не менее, его мать считала, что он отравился случайно, так как всегда небрежно работал с химикатами.
10 сентября 2009 года Премьер-министр Великобритании Гордон Браун публично принёс извинения за те методы, которым был подвергнут Алан Тьюринг.
В 2009 году Алан Тьюринг был признан «одной из самых известных жертв гомофобии в Великобритании».
Память об Алане Тьюринге
* Одна из ежегодных наград Ассоциации вычислительной техники называется Премия
Тьюринга.
* Алан Тьюринг упоминается в историческом романе «Криптономикон» Нила
Стивенсона и фигурирует в романе Роберта Харриса «Энигма».
* Известный писатель-фантаст Гарри Гаррисон в соавторстве с американским учёным
в области искусственного интеллекта Марвином Мински написал роман «Выбор по
Тьюрингу» («The Turing Option», 1992).
* В романе Уильяма Гибсона «Нейромант» фигурирует «полиция Тьюринга» («регистр
Тьюринга»), которая занимается контролем и следит за развитием существующих
искусственных интеллектов.
Алан Матисон Тьюринг - фото