Тьюринг Алан Матисон

Главное изображение:

Литературная фамилия:

Литературное имя:

Литературное отчество:

Инициалы:

Фактическая фамилия:

Фактическое имя:

Фактическое отчество:

Пол:

Женский Мужской

Место рождения:

Год рождения:

известно точно

Место смерти:

Год смерти:

известно точно

Главная информация:

Биография:

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

Источник биографии:

Статус:

Черновик Публикация Архив

<p><img style="margin: 10px 20px; float: left;" src="http://www.lomonosov-fund.ru/enc/file/?objectId=27993&trim_x=50&trim_y=50" alt="" width="279" height="371" /><strong>Тьюринг</strong> (Turing) Алан Матисон (23.6.1912, Лондон, — 7.6.1954, Уилмслоу, близ Манчестера) -  английский математик, логик. Внес значительный вклад в символическую логику и основания математики, введя понятие абстрактной (воображаемой) "вычислительной машины" (называемой ныне машиной Тьюринга), способной доказывать утверждения механическим путем. Машина Тьюринга послужила основой для создания современного компьютера, объяснив принцип его действия и логические возможности за десятилетие до того, как была сконструирована первая машина такого рода.</p> <p>Тьюринг родился в Лондоне 23 июня 1912. Учился в Шерборнской школе, затем в Кембриджском университете, который окончил в 1935. В том же году был избран членом совета Кингз-колледжа.</p> <p>В 1936-1938 работал над докторской диссертацией в Принстонском университете в США. В 1937 он опубликовал известную работу О вычислимых числах, с приложением к проблеме разрешимости (On the Computable Numbers, with an Application to the Entscheidungsproblem), в которой, используя "машины Тьюринга", показал невозможность существования формальной, чисто механической процедуры, которая позволяла бы решать, выводимо ли данное высказывание из некоторого набора математических аксиом. Вместе с К.Геделем Тьюринг похоронил надежды Д.Гильберта и его последователей, полагавших, что всю математику можно представить в виде набора аксиом и получаемых на их основе теорем. Поскольку машина Тьюринга является абстрактной вычислительной машиной, было доказано, что существует класс логических задач, не разрешимых с помощью любого компьютера.</p> <p>Во время Второй мировой войны Тьюринг работал в организации, занимавшейся расшифровкой кодов противника. Принимал участие в создании электромеханического устройства для дешифровки текстов, получаемых с помощью немецкой шифровальной машины "Энигма", и в течение некоторого времени возглавлял отдел, осуществлявший радиоперехват. После войны Тьюринг предложил весьма амбициозный проект АСЕ (Automatic Computing Engine - Автоматическая Вычислительная Машина), над которой работал в Национальной физической лаборатории в 1945-1948. Когда работа над проектом замедлилась по бюрократическим причинам, он перешел на преподавательскую работу в Манчестерский университет, где к его услугам был уже действовавший небольшой компьютер "Марк-1".</p> <p>С конца 1940-х годов Тьюринг занимался математическими проблемами биологии. Свои идеи Тьюринг сформулировал в нескольких выступлениях и интервью, а также в статье Вычислительные машины и разум (Computing Machinery and Intellegence), опубликованной в журнале "Майнд" ("Mind") (1950). Эта статья стала эпохальной для той отрасли компьютерной науки, за которой впоследствии закрепилось название "искусственный интеллект". В 1951 Тьюринг был избран членом Лондонского королевского общества.</p> <p>Умер Тьюринг в своем доме в Уилмслоу, близ Манчестера, 7 июня 1954.</p>

Описание изменения: