Приветствую Вас, уважаемые Читатели! Продолжаем разговаривать о великих математических умах. Сегодня поговорим о неоднозначной фигуре знаменитого английского математика Алана Мэтисона Тьюринга - одного из-отцов основателей информатики и криптографии 20 века, кавалера всего, что есть на свете. Труды Тьюринга не только показали миру, на что способна информатика, но и внесли огромный вклад в современный искусственный интеллект.
Альма-матер Тьюринга - Королевский колледж Кембриджа, а первым его наставником был не менее легендарный Годфри Харди
Знакомый персонаж, не правда ли? Он еще был учителем индийского математика, познавшего бесконечность - Сринивасы Рамануджана
Самым известным открытием Тьюринга была одноименная абстрактная машина, которая появилась в результате изменения теоремы Геделя о неполноте, - Тьюринг заменил формальный арифметический язык на элементарные устройства, которые впоследствии стали машинами Тьюринга.
Ученый доказал, что такая машина может произвести любые математические вычисления, представленные в виде алгоритмов. Впоследствии Тьюринг также доказал, что решения для гильбертовской «проблемы разрешения» не существует.
Проблема разрешения состоит в том, чтобы придумать некий алгоритм на языке формальной арифметики, который для любого утверждения после конечного числа шагов даёт ответ об истинности этого утверждения. Тьюринг доказал, что такого алгоритма не существует.
Большое внимание Тьюринг уделял и криптоанализу – с 1938 года ученый работал на британскую организацию GCHQ, специализировавшуюся на взломе шифров. Тьюринг совместно с Дилли Ноксом занимался криптоанализом «Энигмы», шифровальной машины, с помощью который передавалась секретная информация среди фашистского командования войск. Тьюринг разработал свою методику расшифровки сообщений, которая основывалась на методе перебора текста.
Разработки Тьюринга внесли большой вклад в деятельность службы разведки Британии, поэтому в 1945 году ученого наградили орденом Британской империи за военную службу, однако этот факт долгое время был засекречен. После войны Тьюринг также продолжал работу со спец службами.
За следующие годы Тьюринг увлекся шахматным программированием, курировал создание первого американского программируемого компьютера - Марк 1, а затем и вовсе разработал т.н. тест Тьюринга, призванный определить: является ли собеседник машиной или человеком?
В 1951 благодаря огромному компьютеру, созданному Тьюрингом, специалисты студии ВВС смогли записать первую музыку, генерируемую машиной. Это событие сделало Тьюринга музыкальным новатором.
Тьюринг был приверженцем нетрадиционной ориентации, но не выпячивал своё "Я" и не кричал об этом на каждом углу, доказывал всё гениальными разработками, во многом определившими ход истории всего человечества. Некоторым стоит у него поучиться.
Умер Тьюринг так же эпично и красиво, как жил – ученый был найден в своей квартире мертвым, а рядом лежало откушенное яблоко, начиненное цианидом. По мнению знакомых Тьюринга, ученый хотел воссоздать сцену из своего любимого мультфильма «Белоснежка» - его особенно впечатлило, как Злая Королева изощренно отравила девочку.
Читайте про удивительную математическую формулу, которая воспроизводит сама себя!
ССЫЛКА НА ДЗЕН-КАНАЛ и TELEGRAM.
