Алан тьюринг, биография, личная жизнь

Преследование и посмертное помилование

В 1952 году, работая уже в Манчестере, гомосексуалист Тьюринг был арестован и подвергнут уголовному преследованию за тогда еще противозаконную связь с 19-летним молодым человеком. Его поставили перед суровым выбором – тюрьма или «лечение» эстрогеном, процесс, по сути своей являвшийся ничем иным как химической кастрацией.

Через год после такого «лечения» в 1954 году, за две недели до своего 42-го дня рождения Тьюринг принял дозу цианистого калия. Расследование постановило, что смерть наступила в результате самоубийства.

Однако в последние годы свидетельства, легшие в основу заключения о смерти математика в 1954 году, были поставлены некоторыми экспертами под сомнения.

Искусственный интеллект

В то время Алан очень интересовался искусственным интеллектом. То есть, Он был очарован тем, как можно искусственно имитировать функции человеческого мозга. Его лучший вклад в эту область снова был в области теории. В своем исследовании они создали различные основы искусственного интеллекта и предложили тип теста, чтобы определить, разумна машина или нет.

После инцидента с возлюбленной Алан Тьюринг был арестован за гомосексуализм и осужден, хотя судья предоставил ему испытательный срок в обмен на гормональное лечение, чтобы иметь возможность вылечить себя. Все это произошло в 1952 году. Это лекарство серьезно повредило его здоровью и оставило его в депрессии, которая якобы привела к самоубийству. Как вы видете, грязь прежних времен была не такой, как сейчас, и этот ученый мог бы внести гораздо больший вклад в принятие гомосексуализма.

Я надеюсь, что с этой информацией вы сможете больше узнать об Алане Тьюринге и его достижениях в науке.

Машина Тьюринга

В 24 года Алан Тьюринг создал теорию логических вычисляющих машин, которая вписала его имя в историю. В литературе по математике сокращение ТМ (Turing machine, машина Тьюринга) часто даже не поясняют, настолько оно общепринято.

Идея Тьюринга заключалась в создании программы, хранимой в памяти некой универсальной машины, которая умеет решать любые задачи.

Конечно, машиной как таковой, модель Тьюринга не являлась. Это было условное устройство, по писанию и способу функционирования похожее на вычислительную машину. Его память, а точнее запоминающая лента, была бесконечной, чем не может похвастаться ни один современный компьютер. Можно сказать, что в 30-х годах прошлого века Тьюринг придумал сверхкомпьютер.

Абстрактная машина Тьюринга состояла из трех частей:

  1. Ячеистая лента бесконечной длины с движущейся по ней «головкой» (прототип памяти компьютера).
  2. Алфавит, имеющий ограниченное число символов.
  3. Таблица, где отражается состояние конкретного символа алфавита (прототип компьютерной программы).

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

Машина Тьюринга демонстрировала главную идею создания компьютерной программы: ее построение должно быть основано на алгоритме – поэтапном исполнении инструкций.

Любое современное устройство, будь то стиральная машина, телевизор или смартфон, работает благодаря концепции, разработанной Тьюрингом.

Биография Алана Тьюринга

Как и ожидалось, в древности было столько информации об области, что человек мог специализироваться в различных областях науки. В данном случае мы видели, что этот ученый посвятил себя многочисленным отраслям науки, поэтому он мог внести свой вклад в различных аспектах. Алану Тьюрингу было приказано возглавить миссию возможность расшифровывать нацистские сообщения, зашифрованные во время Второй мировой войны. С ранних лет он давал отличные ответы на различные математические задачи и был принят в Королевский колледж Кембриджского университета, одного из самых престижных научных учреждений в мире.

В этом институте он чувствовал себя вполне комфортно и признал себя и еще нескольких человек гомосексуалистом. В то время это было незаконно в Великобритании, поэтому мало кто мог знать. Во время учебы в университете сначала мы со студентом занимаемся этим как преподаватель, он общался с другими учеными своего времени.

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

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

Тест Тьюринга: беседы с компьютером

Появление в середине XX века первых вычислительных машин породило идею о создании искусственного интеллекта (ИИ). Ученые задались вопросом: каким критериям должен соответствовать ИИ? Алан Тьюринг взялся ответить на этот вопрос.

Он придумал тест. Идея теста проста: человек должен пообщаться с несколькими собеседниками за ширмой, среди которых есть робот. Если человеку не удается понять, что он общается с роботом, то можно утверждать: ИИ создан. Тьюринг предположил, что в начале XXI века машина сможет за 5 минут убедить 30% судей, что те ведут беседу с живым человеком, а не с роботом.

Тест был создан в 1950 году, но активных попыток его пройти не предпринималось.

Лишь в 90-х годах появились желающие пройти тест Тьюринга. Программисты из разных стран пытались создать бота, общение с которым неотличимо от человеческого. В 2014 году это удалось разработчикам из России. Программа «Евгений Густман» была признана первым виртуальным собеседником, прошедшим тест Тьюринга.

На основе теста Тьюринга создана современная CAPTCHA («капча») – программа-тест, цель которой – определить, кто взаимодействует с системой: человек или робот. Каждый пользователь Интернета хоть раз встречал «капчу» на просторах Сети.

Например, вас просили ввести символы с картинки, выполнить сложение простых чисел или из 9 фото выбрать те, где изображен пешеходный переход. Эти шарады и есть «капча». Человек справится с ними без труда, а вот робот «забуксует». Задача «капчи» – не допустить на сайт ботов, созданных для взлома, рассылки спама и прочих вредных действий.

Гомосексуализм, осуждение и смерть

Гомосексуализм был запрещен в Соединенном Королевстве в начале 1950-х годов, поэтому, когда Тьюринг признался в полиции, которую он вызвал в свой дом после взлома в январе 1952 года, что у него были сексуальные отношения с преступником, 19-летним Арнольдом Мюрреем, он был обвинен в непристойности. После ареста Тьюрингу пришлось выбирать между временным испытательным сроком при условии, что он получит гормональное лечение для снижения либидо или тюремное заключение. Он выбрал первое и вскоре подвергся химической кастрации посредством инъекций синтетического гормона эстрогена в течение года, что в конечном итоге сделало его бессильным.

В результате его осуждения, было снято разрешение и было запрещено продолжать  работу с криптографией в GCCS, которая стала GCHQ в 1946 году.

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

В статье BBC, опубликованной в июне 2012 года, профессор философии и эксперт по Тьюрингу, Джек Коупленд утверждал, что смерть Тьюринга, возможно, была несчастным случаем: яблоко никогда не проверялось на цианид, ничто в отчетах Тьюринга не было последним, одни предполагали, что он был самоубийцей, и у Тьюринга в его доме был цианид для химических экспериментов, которые он проводил в своей комнате.

Наука

Незадолго до начала Второй мировой войны (1939-1945) Алан разработал устройство, которое стало известно под названием «машины Тьюринга». Ему удалось обосновать, что такая машина могла выполнять любые математические вычисления.

Сама идея работы «Универсальной Машины», способной вычислить все что можно, вызвала большой интерес в научной среде. Любопытно, что его машина и сегодня является базовым объектом при изучении теории алгоритмов.

В период биографии 1936-1938 гг. Алан Тьюринг трудился в Принстоне, где ему предстояло закончить свой докторат под предводительством Черча. Тогда же, он глубоко исследовал криптографию и одновременно с этим создавал электромеханический бинарный умножитель.

ЭВМ Алана Тьюринга расшифровывающая «Энигму»

Когда разразилась война ученый трудился в Правительственной школе кодов и шифров, которая тогда занималась взломом шифровок нацистов и их союзников. Проявляя незаурядные способности Алан был назначен главой группы «Hut 8», ответственной за криптоанализ.

В кратчайшие сроки Тьюринг разработал ряд способов взлома, включая теоретическую базу для «Bombe» – устройства, применяемого для взлома легендарного шифратора «Enigma». Тогда же он стал автором работ, посвященных дешифровке с помощью математического подхода.

Незадолго до окончания войны Алан обосновался в Лондоне, устроившись в Национальную физическую лабораторию. В это время биографии он возглавлял проект по созданию автоматического вычислительного механизма. В результате, был сконструирован 1-й в мире компьютер с хранимой в памяти программой – ACE.

В 1948 г. математик вошел в состав группы Макса Ньюмана в Университете Манчестера, которая занималась разработкой и производством компьютеров. Позже Тьюринг начал проявлять интерес к математической биологии, где также добился немалых высот.

За несколько лет до смерти Алан увлекся вопросами искусственного интеллекта, написав статью «Вычислительная техника и разведка» (1950). Он предложил «Тест Тьюринга», с помощью которого становилось возможным оценить искусственный интеллект компьютера.

Научная деятельность Алана Тьюринга

До начала Второй мировой войны

В 1936 году вышла работа Тьюринга «О вычисляемых числах», в тексте которой Алан ввел понятие универсальной машины (позже названной «Машиной Тьюринга»). «Машина Тьюринга» вычисляла все, что только возможно. К слову, концепция современного персонального компьютера базируется на проекте, разработанном Тьюрингом.

Затем Тьюринг сосредоточился на изучении математики и криптологии на базе Института перспективных исследований в городе Принстоне, штат Нью-Джерси. После защиты докторской диссертации в Принстонском университете в 1938 году молодой ученый вернулся в Кембридж, где устроился на работу на неполный рабочий день в Центр правительственной связи – британскую правительственную организацию, которая работала над взломом шифров.

Вторая мировая война

Во время Второй мировой войны Тьюринг стал ведущим участником разгадывания шифров немцев. Он работал в Bletchley Park, на станции военного времени GCCS, где сделал пять больших открытий в области криптоанализа, включая разработку электромеханического устройства, используемого в целях расшифровки сигналов шифровальной машины Германии «Enigma». Работу, выпущенную Аланом Тьюрингом, и посвященную дешифровке «Энигмы» , его коллеги назвали «Книгой Профи».

Дешифровальная » Машина Тьюринга»

Вклад Тьюринга в процесс взлома кодов этим не ограничивается: Алан также написал две статьи о математических подходах к дешифровке кода, которые считаются стратегически важными активами Кодекса и школы Cypher (позже известной как штаб-квартира правительства). Центр правительственной связи только в апреле 2012 года опубликовал эти разработки в Национальном архиве Соединенного Королевства Великобритании.

После завершения войны

До конца войны Тьюринг переехал в Лондон, где работал в Национальной физической лаборатории. Там Тьюринг руководил проектированием автоматического вычислительного механизма и, в конечном итоге, разработал новаторский план компьютера с соответствующими программными продуктами.

Тьюринг некоторое время еще занимал высокие должности в отделе математике и в вычислительной лаборатории университета в Манчестере. Впервые он занялся изучением проблемы искусственного интеллекта в статье 1950 года «Вычислительная техника и разведка» и предложил эксперимент, известный под названием «Тест Тьюринга» – попытка создать стандарт разработки разведывательной информации для технической отрасли. За последние десятилетия тест повлиял на дискуссии по поводу искусственного интеллекта.

Слайды и текст этой презентации

Слайд 1

Текст слайда:

р

Алан Тьюринг

Расшифровка «Энигмы»

Слайд 2

Текст слайда:

1 сентября 1939 года немецкие войска вторглись в Польшу. Великобритания и Франция объявили войну Германии. В течение 1939—1941 годов Германия разгромила Польшу, Данию, Норвегию, Люксембург, Нидерланды, Бельгию, Францию, Грецию, Югославию. В июне 1941 года Германия вторглась на территорию Советского Союза и заняла часть его территории.

Слайд 3

Текст слайда:

Во время войны для шифрования секретной информации немецкие военные использовали портативную шифровальную машину «Энигма»
Немецкая армия, ВМС, ВВС, нацистская партия, гестапо, и немецкие дипломаты все использовали Энигму, в различных вариантах.

Слайд 4

Текст слайда:

Эни́гма (от греч. — загадка) — портативная шифровальная машина, использовавшаяся для шифрования и дешифрования секретных сообщений.  Чтобы сообщение было правильно зашифровано и расшифровано, машины отправителя и получателя должны были быть одинаково настроены, на новый промежуток времени назначались новые настройки.

Слайд 5

Текст слайда:

Энигма была разработана таким образом, чтобы безопасность сохранялась даже в тех случаях, когда шпиону известны схемы. С неизвестной схемой общее количество возможных конфигураций может быть порядка 10114 , с известной схемой соединений и других операционных настроек этот показатель снижается до 1023 . Пользователи Энигмы были уверены в её безопасности из-за большого количества возможных вариантов. Нереальным было даже начать подбирать возможную конфигурацию

Слайд 6

Текст слайда:

В 1939 году Британская разведка раздобыла это устройство, но расшифровывать перехваченные радиограммы немцев не удавалось. Тогда британское военное ведомство поставило перед
Аланом Мэтисоном Тьюрингом задачу — разгадать секрет «Энигмы»

Слайд 7

Текст слайда:

А́лан Мэ́тисон Тью́ринг ( 23 июня 1912 — 7 июня 1954) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Кавалер Ордена Британской империи , член Лондонского королевского общества. Научные труды А. Тьюринга — общепризнанный вклад в основание теории искусственного интеллекта.

Слайд 8

Текст слайда:

Тьюринг работал в Блечли Парке — британском криптографическом центре, где возглавлял одну из пяти групп, Hut 8, занимавшихся в рамках проекта «Ультра» расшифровкой закодированных немецкой шифровальной машиной «Энигма» сообщений Кригсмарине и Люфтваффе.

Слайд 9

Текст слайда:

В начале 1940 года он разработал дешифровальную машину «Бомба» , позволявшую читать сообщения Люфтваффе. Принцип работы «Бомбы» состоял в переборе возможных вариантов ключа шифра и попыток расшифровки текста, если была известна часть открытого текста или структура расшифровываемого сообщения. Перебор ключей выполнялся за счет вращения механических барабанов, сопровождавшегося звуком, похожим на тиканье часов, из-за чего «Бомба» и получила свое название

Слайд 10

Текст слайда:

Ко второй половине 1941 года расшифровывались 30 000 сообщений Энигмы в месяц. К 1945 году большинство немецких сообщений можно было расшифровать за один или два дня, пока немцы оставались уверены в своей безопасности. Если бы они имели веские основания подозревать, что машина была взломана, они сменили бы систему, заставляя криптоаналитиков союзных сил начать с нуля.

Слайд 11

Текст слайда:

Заслуги Алана Тьюринга были по достоинству оценены: после разгрома Германии он получил орден, был включён в научную группу, занимавшуюся созданием британской электронно-вычислительной машины. Сэр Гарри Хинсли говорил что создание «Бомбы» сократило войну «не менее чем на два, а может и на четыре года», и что неясно как закончилась бы война, если бы Ультра не было.

Слайд 12

Текст слайда:

Алан Тьюринг участвовал в послевоенные годы в создании мощного компьютера — машины с хранимыми в памяти программами, ряд свойств которой он взял от своей гипотетической универсальной машины. В 1947 году Тьюринг в Манчестере создал один из первых компьютеров в мире.
Кроме работы в университете, Тьюринг продолжал сотрудничать и с Департаментом кодов. Только теперь в центре его внимания были уже шифры советской резидентуры в Англии. В 1950 году предложил эмпирический тест Тьюринга для оценки искусственного интеллекта компьютера. В 1951 году он был избран членом королевского научного общества.

2. Научные достижения и открытия

2.1. Проблема остановки

Было обнаружено, что компьютеры всё-таки не могут решить любую математическую задачу. Алан Тьюринг доказал в 1936 году, что общий алгоритм для решения проблемы остановки для любых возможных входных данных не может существовать.

2.2. Расшифровка кода «Энигмы»

Дешифровальная машина «Бомба»

Во время Второй мировой войны Тьюринг работал в Блетчли-парке — британском криптографическом центре, где возглавлял одну из пяти групп, Hut 8, занимавшихся в рамках проекта «Ультра» расшифровкой закодированных немецкой шифровальной машиной «Энигма» сообщений кригсмарине и люфтваффе. Вклад Тьюринга в работы по криптографическому анализу алгоритма, реализованного в «Энигме», основывался на более раннем криптоанализе предыдущих версий шифровальной машины, выполненных в 1938 году польским криптоаналитиком Марианом Реевским.

В начале 1940 года он разработал дешифровальную машину «Бомба», позволявшую читать сообщения люфтваффе. Принцип работы «Бомбы» состоял в переборе возможных вариантов ключа шифра и попыток расшифровки текста, если была известна часть открытого текста или структура расшифровываемого сообщения. Перебор ключей выполнялся за счёт вращения механических барабанов, сопровождавшегося звуком, похожим на тиканье часов, из-за чего «Бомба» и получила свое название. Для каждого возможного значения ключа, заданного положениями роторов (количество ключей равнялось примерно 1019 для сухопутной «Энигмы» и 1022 для шифровальных машин, используемых в подводных лодках), «Бомба» выполняла сверку с известным открытым текстом, выполнявшуюся электрически. Первая в Блетчли «Бомба» Тьюринга была запущена 18 марта 1940 года. Дизайн «Бомб» Тьюринга так же был основан на дизайне одноимённой машины Реевского.

Блетчли Парк

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

2.3. Машина Тьюринга

Любая интуитивно вычислимая функция является частично рекурсивной, или, эквивалентно, может быть вычислена с помощью некоторой машины Тьюринга.

Алан Тьюринг высказал предположение (известное как тезис Чёрча — Тьюринга), что любой алгоритм в интуитивном смысле этого слова может быть представлен эквивалентной машиной Тьюринга. Уточнение представления о вычислимости на основе понятия машины Тьюринга (и других эквивалентных ей понятий) открыло возможности для строгого доказательства алгоритмической неразрешимости различных массовых проблем (то есть проблем о нахождении единого метода решения некоторого класса задач, условия которых могут варьироваться в известных пределах). Простейшим примером алгоритмически неразрешимой массовой проблемы является так называемая проблема применимости алгоритма (называемая также проблемой остановки). Она состоит в следующем: требуется найти общий метод, который позволял бы для произвольной машины Тьюринга (заданной посредством своей программы) и произвольного начального состояния ленты этой машины определить, завершится ли работа машины за конечное число шагов, или же будет продолжаться неограниченно долго.

2.4. Теория искусственного интеллекта

Тьюринг является основателем теории искусственного интеллекта.

Машина Тьюринга является расширением модели конечного автомата и способна имитировать (при наличии соответствующей программы) любую машину, действие которой заключается в переходе от одного дискретного состояния к другому.

2.5. Тест Тьюринга

Тест Тьюринга — тест, предложенный Аланом Тьюрингом в 1950 году в статье «Вычислительные машины и разум» (англ. Computing Machinery and Intelligence) для проверки, является ли компьютер разумным в человеческом смысле слова.

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

2.6. Морфогенез

В 1952 году Тьюринг опубликовал работу под названием «Химические основы морфогенеза» (The chemical basis of morphogenesis), где впервые математически описывается процесс самоорганизации материи.

Was ist Enigma und wie sie zu behandeln[править]

Эни́гма (от др.-греч. αἴνιγμα — загадка). Ужос любой разведки мира. Являлась хтоническим адом для всех противников маленького аватара
Сатаны. Эпичная шифровальная коробка, созданная в 1918 году одним тевтонским гением. Изначально она никому, ни для чего, низачем не была нужна. Ну вот ответь, Анонимус, кому нужна в мирное время машина для шифрования текста, кому и нахуя? При всём этом нет сведений о том, что какие нибудь ubel Abwehr (фошиская военная разведка) покупали это говно. Почему говно? Да потому, что первая и вторая машины были высерами: 50 кило, размер в 1,5 больше печатной машинки, и мало вариантов шифрования.
Во время Второй Мировой по Энигме стучали костлявые пальчики обычного, фашистского корма для рыб морячка-радиста. Где-то в 1938 году поляки-таки выкрали и взломали версию Энигмы, которую юзали немцы, но в 1939 году умные nazi отдали своим ученым Энигму на обработку напильником, и те выпустили уже реально работающий нагибатор мирового масштаба. Тевтонские West Coast Customs добавили много свистелок-перделок, которые многократно усложнили шифр, что разорвало не один пердак противникам австрийского художника. Всего было 159.000.000.000.000.000.000 комбинаций Энигмы, и они менялись каждый день.

Университетские годы

Из-за нелюбви к гуманитарным наукам Тьюринг недобрал баллов на экзамене и поэтому после школы поступил в Королевский колледж Кембриджа, хотя намеревался пойти в Тринити-колледж. В Королевском колледже Тьюринг учился с 1931 по 1934 год под руководством известного математика Годфри Харолда Харди.

В 1928 году немецкий математик Давид Гильберт привлёк внимание мировой общественности к проблеме разрешения (Entscheidungsproblem). В своей работе «On Computable Numbers, with an Application to the Entscheidungsproblem», опубликованной 12 ноября 1936 года, Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга. Он доказал, что подобная машина была бы способна произвести любые математические вычисления, представимые в виде алгоритма

Далее Тьюринг показал, что не существует решенияEntscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринганеразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга

Он доказал, что подобная машина была бы способна произвести любые математические вычисления, представимые в виде алгоритма. Далее Тьюринг показал, что не существует решенияEntscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринганеразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга.

Хотя доказательство Тьюринга было обнародовано в скором времени после эквивалентного доказательства Алонзо Чёрча, в котором использовались Лямбда-исчисления, сам Тьюринг был с ним не знаком. Подход Алана Тьюринга принято считать более доступным и интуитивным. Идея «Универсальной Машины», способной выполнять функции любой другой машины, или другими словами, вычислить всё, что можно, в принципе, вычислить, была крайне оригинальной. Фон Нейман признал, что концепция современного компьютера основана на этой работе Алана Тьюринга. Машины Тьюринга по-прежнему являются основным объектом исследования теории алгоритмов.

С сентября 1936 года по июль 1938 года Тьюринг работал под руководством Чёрча в Принстоне, Тьюринг поступил туда в качестве приглашённого студента-последипломника и остался, чтобы завершить свой докторат под началом Чёрча. Кроме занятий математикой, он изучал криптографию, а также конструировал электро-механический бинарный умножитель. В июне 1938 года он защитил докторскую диссертацию «Логические системы, основанные на ординалах», в которой была представлена идеясведения по Тьюрингу, заключающаяся в объединении машины Тьюринга с оракулом. Это позволяет исследовать проблемы, которые невозможно решить с помощью лишь машины Тьюринга.

В Кембридже Тьюринг посещал лекции Людвига Витгенштейна о кризисе оснований математики. Учёные много спорили, так как Тьюринг выступал в защиту формализма, тогда как Витгенштейн считал, что математика не ищет абсолютную правду, а изобретает её.

Алан Тьюринг: вклад в информатику

В 1945 году Алан отказался от работы лектора в Кембриджском университете и по рекомендации М. Ньюмена перешел в Национальную физическую лабораторию, где в это время формировалась группа по проектированию и созданию АСЕ — вычислительной машины. В течение 3 лет (с 1945 по 1948 г.) — периода существования группы — Тьюринг сделал первые наброски и внес несколько важных предложений по ее конструированию.

Отчет по АСЕ ученый передал в исполнительный комитет НФЛ 19 марта 1946 года. В сопроводительной записке, приложенной к нему, говорилось, что работа основана на проекте EDVAG. Однако в проекте имелось большое количество ценных идей, принадлежавших непосредственно английскому математику.

Программное обеспечение для первого компьютера также написал Алан Тьюринг. Информатика без кропотливых трудов этого талантливого ученого, возможно, не достигла бы такого уровня, как сегодня. Тогда же была написана и первая шахматная программа.

В сентябре 1948 года Алан Тьюринг, биография которого всю жизнь была связана с математикой, перевелся на работу в Номинально он занял должность заместителя директора лаборатории вычислительных машин, в действительности же числился в математическом отделе М. Ньюмена и являлся ответственным за программирование.

Краткая биография

Сын британского чиновника в Индии, Алан учился во Франции, Англии и, затем, в США. Тогда многие математики пытались создать алгоритм для определения истинности высказываний. Но Гёделю удалось доказать, что любая полезная математическая система аксиом неполна в смысле, что в ней существует высказывание, истинность которого нельзя ни опровергнуть, ни подтвердить. Это побудило Тьюринга доказать, что нет общего метода определения истинности и, таким образом, математика всегда будет содержать недоказуемые высказывания.

Когда Тьюринг из США возвратился в Англию, началась вторая мировая война. Одним из важнейших вооружений этой войны была ЭВМ «Колосс» по проекту «Ультра», начавшая в 1943 году взламывать сверхсложные шифры немцев. Работа этой системы значительно помогла в борьбе с Германией и её союзниками.

Alan Turing’s trouble with convention

Все видео

После войны в 1945 году Алан возглавил проект создания компьютера «ТУЗ» (ACE, Automatic Computing Engine), а в 1948 Тьюринг стал работать с «МАДАМ» (MADAM, Manchester Automatic DigitAl Machine), компьютером с самой большой памятью в мире в то время

Работы Алана по сооружению первых ЭВМ и развитию методов программирования имели неоценимую важность, дав основу большинству исследований в области искусственного интеллекта. Он полагал, что компьютеры, в конце концов, смогут мыслить как человек, и предложил простую проверку, известную как тест Тьюринга, оценивающую способность машины мыслить: побеседуйте с ЭВМ, и пусть она убедит вас, что она — человек

В 1952 году Тьюринг издал первую часть его теоретического изучения развития форм живых организмов. Но эта работа осталась незаконченной.

В 1952 году обворовали квартиру Тьюринга, и в ходе расследования полиция выяснила, что кражу совершил друг его любовника. Скандал получил широкую огласку, и, 30 марта 1953 года состоялся судебный процесс, на котором Тьюринг был обвинен в мужеложстве. На выбор ему было предложено два приговора — либо заключение в тюрьме, либо подавление либидо с помощью инъекций эстрогена. Учёный выбрал второе.

Последствия суда были катастрофическими — Алана Тьюринга уволили из шифроаналитического бюро и Манчестерского университета. Позже ему вернули возможность преподавать. Учёный до 1954 г. прожил в затворничестве, играя в свою любимую игру «Необитаемый остров», которая заключалась в получении всевозможных химических веществ из популярных продуктов.

8 июня 1954 года Алан Мэтисон Тьюринг был найден мёртвым в своём доме. Смерть наступила в результате отравления цианидом. Яблоко, пропитанное цианидом, лежало рядом на ночном столике. Точно не известно, было ли это самоубийством или Тьюринга погубили завистники.

Его мать считала, что он отравился случайно, так как всегда небрежно работал с химикатами.

Награды, признание и королевское помилование

Вскоре после Второй мировой войны Алан Тьюринг был награжден орденом Британской империи за свою работу. К тому времени, когда ему исполнилось бы 86 лет, биограф Тьюринга Эндрю Ходжес обнародовал официальную голубую мемориальную доску английского наследия в своем доме детства. В июне 2007 года в парке Блетчли в Бакингемшире, Англия, была открыта статуя Тьюринга в натуральную величину. 28 октября 2004 года в Университете Суррея была открыта бронзовая статуя Тьюринга в честь 50-летия со дня его смерти. Кроме того, еженедельник выпускников Принстонского университета назвал Тьюринга вторым по значимости выпускником в истории школы — Джеймс Мэдисон занял первое место.

Тьюринга чтили многими другими способами, особенно в городе Манчестер, где он работал в конце своей жизни. В 1999 году журнал Time назвал его одним из «100 самых важных людей 20-го века», сказав: «Факт остается фактом: каждый, кто нажимает на клавиатуру, открывает электронную таблицу или программу обработки текста, работает над воплощением машины Тьюринга. » Тьюринг также занял 21-е место в общенациональном опросе BBC «100 величайших британцев» в 2002 году. По большому счету, Тьюринг был признан за его влияние на информатику, и многие считают его «основателем» отрасли.

После петиции, поданной Джоном Грэмом-Каммингом, тогдашний премьер-министр Гордон Браун 10 сентября 2009 года опубликовал заявление от имени британского правительства, в котором посмертно извинился перед Тьюрингом за преследование его как гомосексуалиста. «Тысячи людей собрались вместе, чтобы требовать справедливости для Алана Тьюринга и признания ужасающего отношения к нему», — пишет Браун в заявлении. «В то время как с Тьюрингом действовали по закону того времени, и мы не можем отодвинуть часы назад, его обращение, конечно, было совершенно несправедливым, и мне приятно иметь возможность сказать, как глубоко я и все мы сожалеем о том, что произошло ему.

«Это признание статуса Алана как одной из самых известных жертв британской гомофобии — еще один шаг к равенству и давно назревшему. Но даже более того, Алан заслуживает признания за его вклад в развитие человечества », — заявил Браун. Именно благодаря мужчинам и женщинам, полностью приверженным борьбе с фашизмом, таким людям, как Алан Тьюринг, ужасы Холокоста и тотальной войны являются частью истории Европы, а не присутствуют в Европе. Поэтому от имени британского правительства и всех тех, кто живет свободно благодаря работе Алана, я очень горжусь тем, что могу сказать: извините, вы заслужили намного лучшего.

В 2013 году Queen Елизавета II посмертно предоставила Тьюрингу редкое королевское помилование спустя почти 60 лет после того, как он покончил с собой. Три года спустя, 20 октября 2016 года, британское правительство объявило «Закон Тьюринга» о посмертном помиловании тысячи геев и бисексуальных мужчин, которые были осуждены за гомосексуальные действия, когда это считалось преступлением. Согласно заявлению министра юстиции Сэма Гаймы, закон также автоматически помилует живых людей, которые были осуждены за исторические сексуальные преступления, которые были бы невиновны сегодня.

Рейтинг
( Пока оценок нет )
Editor
Editor/ автор статьи

Давно интересуюсь темой. Мне нравится писать о том, в чём разбираюсь.

Понравилась статья? Поделиться с друзьями:
Чтение - всему голова
Добавить комментарий

;-) :| :x :twisted: :smile: :shock: :sad: :roll: :razz: :oops: :o :mrgreen: :lol: :idea: :grin: :evil: :cry: :cool: :arrow: :???: :?: :!: