🗊2012 – Год Алана Тьюринга 100 лет со дня рождения Алана Тьюринга

2012 – Год Алана Тьюринга 100 лет со дня рождения Алана Тьюринга

Структура доклада

Год Алана Тьюринга Более 70 университетов мира Более 50 организаций - партнеров проекта Более 80 запланированных мероприятий Международные научные и творческие конкурсы, конкурсы на получение стипендий Экспозиции, посвященные Алану Тьюрингу и его деятельности Циклы кино- и телепоказов Издание целого ряда книг

Год Алана Тьюринга в России и Украине Седьмой международный симпозиум по компьютерным наукам в России (Нижегородский государственный университет им. Н.И. Лобачевского) Результаты поиска по украинским ресурсам:

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

Истоки Корни семьи Тьюрингов восходят к XIV веку, к старому шотландскому роду баронетов Turins of Foveran из графства Абердиншир. Дед, Джон Роберт Тьюринг: ученая степень по математике в Кембридже. Отец, Джулиус Мэтисон Тьюринг: степень бакалавра по истории и литературе в Оксфорде; изучение индийской истории и языков. Мать, Этель Сара Стоуни: изучала искусство и музыку в Сорбонне. Род Стоуни: известная в научном мире семья, давшая миру известного физика Джорджа Стоуни , члена английского Королевского общества.

Школьные годы Книги, которые потрясли: “Чудеса природы, о которых должен знать каждый ребенок” (Эдвин Брюстер) “Природа физического мира” (Артур Эддингтон)

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

Кембридж (1931-1936) Книги, которые потрясли: “Математические основы квантовой механики”, (Джон фон Нейман) Вернер Гейзенберг, Эрвин Шредингер (труды по квантовой механике) “Введение в математическую философию” (Бертран Рассел) “Основы арифметики” (Готлиб Фреге )

Машина Тьюринга Тезис Чёрча – Тьюринга: доказательство принципиальной неразрешимости «проблемы разрешимости» (доказательства непротиворечивости системы аксиом обычной ариф­метики) Давида Гильберта. Опровержение надежд Д. Гильберта и его последователей, полагавших, что математику как самую формализованную часть человеческого знания можно представить в виде набора аксиом и теорем.  Именно для решения этой задачи Тьюрингом было разработано понятие абстрактной цифровой вычислительной машины. Четкое определение понятия метода как некоего алгорит­ма, который может быть выполнен механически, без творческого вмешательства. Модель вычислительного процесса: каждый алгоритм разбивается на последова­тельность простых, элементарных шагов Неэффективность построения специализированных вычислительных машин и идея универсальной электронной вычислительной машины. Эта логическая конструкция и была впоследствии названа «машиной Тьюринга».

Машина Тьюринга (1935-1936, с 1945) Выводы: Любой вычислительный или логический процесс, для которого существует алгоритм, может быть автоматизирован с помощью такой примитивной машины. И наоборот: все, что можно сделать с помощью этой машины, подчинено алгоритму. Задачи, которые этой машиной не решаются - алгоритмически неразрешимы для любой, даже самой мощной, машины не только сегодняшнего дня, но и будущего . С алгоритмически неразрешимыми задачами способен справиться только мозг человека.

Машина Тьюринга Принстонский университет, получение степени PhD. Работа с Алонзо Чёрчем, Джоном фон Нейманом, Альбертом Эйншейном и другими выдающимися физиками и математиками. Первые дискуссии по вычисли­тельным и “думающим” машинам с Джоном фон Нейманом. Снова Кембридж: работа в Национальной физической лаборатории Кембриджа в группе по проектированию и созданию вычислительной машины АСЕ (Automatic Computing Engine).

Криптография (1939-1945 гг. )

Тест Тьюринга (1939-1945 гг. )

Трагедия личной жизни Преследования за гомосексуальность, обвинение в «непристойном поведении». 31 марта 1953 года - суд и приговор: тюремное заключение, либо инъекции женского гормона эстрогена (способ химической кастрации). Он выбрал второе. Увольнение из Департамента кодов. 8 июня 1954 года: тело Алана Тьюринга обнаружила домработница. Вердикт следствия: самоубийство путем отравления цианистым калием. 10 сентября 2009 года: Премьер-министр Великобритании Гордон Браун публично принёс извинения за преследования, которым был подвергнут Алан Тьюринг и тысячи других мужчин-геев, осуждённых по гомофобным законам.

Признание Огромное количество биографический и исследовательской литературы. Упоминания в исторических и фантастических романах Нила Стивенсона, Роберта Харриса, Гарри Гаррисона, Марвина Мински, Уильяма Гибсона. Как минимум две оперы и несколько песен, в том числе, на китайском языке. Постановка в лондонском театре Вест-энда и на Бродвее пьесы «Breaking the Code» («Взламывая код»), получившей целый ряд наград. 1986 : фильм «Breaking the Code» («Взламывая код»); 2011: фильм "Игра имитатора" (не завершен). 2002: 21 место в списке 100 величайших британцев в истории по результатам опроса ВВС. 1999: журнал Time назвал Тьюринга в числе 100 наиболее значимых людей 20 века.

Признание В 1974 году Ассоциацией по вычислительной технике — ACM (Association for Computing Machnery) учреждена премия имени Алана Тьюринга, признанная в мировом компьютерном сообществе высшей наградой. Также именем Алана Тьюринга названы: Памятники и монументы: в Блетчли Парке, на территории Орегонского университета, на территории университета Суррея, в Сэквилль парке в Манчестере. Компьютерные лаборатории целого ряда университетов. Аллея Алана Тьюринга (Alan Turing Road) на территории университета Суррея (Великобритания); Кольцевая дорога вокруг Манчестера - «Путь Тьюринга» (The Turing Way»), а мост, по которому она проходит, назван «Мостом Алана Тьюринга». (The Alan Turing Bridge). Учебные корпуса в университетах Манчестера, Оксфорд Брукс, University of Manchester, the Open University, Oxford Brookes University and Aarhus University (Дани), Международной школы информационных наук (Франция) и др. Ежегодные конференции и конкурсы в целом ряде городов мира. Язык программирования, созданный в 1982 году учеными университета в Торонто.

Современные вариации теста Минимальный интеллектуальный Signal-тест (MIST). Предложен Крисом Мак-Кинстри. Разрешены лишь два типа ответов — «да» и «нет». Используется для сбора статистической информации для измерения производительности программ, реализующих искусственный интеллект. Тест бессмертия. Определяет, качественно ли передан характер человека, а именно возможно ли отличить скопированный характер от характера человека, послужившего его источником. Мета-тест Тьюринга. Субъект (в частности, компьютер) считают разумным, если он создал нечто, что он сам хочет проверить на разумность.

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

Критика теста Тьюринга В статье «Is the Brain’s Mind a Computer Program?» («Является ли мозговое мышление компьютерной программой?»), опубликованной в 1990 году, Сёрль описывает доказывает, что при проведении теста Тьюринга не существует никакой возможности отличить действительно мыслительную деятельность программы от механического исполнения правильно подготовленным инструкциям.

Прогнозы Премия Лёбнера (англ. Loebner prize) — премия размером в 100 тысяч долларов, учрежденная в 1990 году американским ученым и филантропом Хью Лебнером и присуждаемая победителю ежегодного конкурса, в котором компьютерные программы соревнуются в прохождении теста Тьюринга. Элиза (ELIZA) (названа в честь Элизы Дулитл из пьесы «Пигмалион» Бернарда Шоу) - одна из первых программ, принявших участие в конкурсе Лёбнера; создана немецко-американским ученым Джозефом Вейценбаумом в 1966 году. A.L.I.C.E. (аббревиатура от англ. Artificial Linguistic Internet Computer Entity, что дословно можно перевести как «Искусственное лингвистическое интернет-компьютерное существо») – лидер в своем роде программ, которая три раза (в 2000, 2001, 2004 годах) становилась победителем премии Лёбнера.

Прогнозы

2012 – Год Алана Тьюринга 100 лет со дня рождения Алана Тьюринга