Математика

Сроки Фотографий Деньги Марки Эскиз Поиск

Alan Mathison Turing

Дата рождения:

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

Дата смерти:

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

23 June 1912

London, England

7 June 1954

Wilmslow, Cheshire, England

Презентации Википедия
ВНИМАНИЕ - Автоматический перевод с английского версии

Алан Turing родился на кольцевой развязке Paddington, Лондон. Его отец, Джулиус Матисон Turing, является членом Британской Индии гражданской службе, и он часто за границей. Алан мать, Этель Сара Stoney, была дочерью человека, главный инженер в Мадрасе железных дорог и Алан родители встретились, и в браке в Индии. Когда Алану было около года назад его мать мужа вернулся в Индию, оставив Алана в Англии с друзьями семьи. Алан был направлен в школу, но, по-видимому, не получить никакой выгоды, поэтому он был исключен из школы в течение нескольких месяцев.

Далее он был направлен Хазлехурст Подготовительной школы, где он, как представляется, является "средней по хорошим" учеником в большинстве вопросов, но очень занимает следующие его идеи. Он был заинтересован в шахматы, а в этой школе, и он также присоединился к дискуссионный клуб. Он завершил свой Общие вступительные экзамены в 1926 а затем в Шерборне школы. Теперь 1926 году о всеобщей забастовке и, когда забастовка продолжается Turing циклическим 60 миль в школу из своего дома, не слишком обременительным задача Turing, который позднее стал штраф спортсмена почти олимпийского стандарта. Он считает очень трудно вписывается то, что ожидается на этом государственную школу, но его мать была тем, что он должен иметь государственного школьного образования. Многие из самых оригинальных мыслителей нашли обычного школьного почти непонятным процесс, и это, по-видимому, в случае Turing. Его гений вынудили его в собственные направления, а не требует его учителей.

Он упрекали за его руки, боролись на английском, и даже в математике он был слишком заинтересованы в его собственных идей для подготовки решения проблем, используя методы, научил его учителей. Несмотря производства нетрадиционных ответов, Turing ли выиграть практически все возможные математики, а приз в Шерборне. В химии, предметом которых были заинтересованы его с самого раннего возраста, он выполнял эксперименты после его собственную повестку дня, которые не выполните его учителем. Turing в директора писал (см., например):

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

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

В случае который был значительно повлиять Turing всей своей жизни проходил в 1928. Он сформировал тесной дружбы с Кристофер Морком, учащаяся в году над ним в школе, и двое работали вместе над научной идеи. Пожалуй, впервые Turing смог найти кого-то, с кем он мог бы поделиться своими мыслями и идеями. Однако Морком умер в феврале 1930 года, а опыт был калечат одного до Turing. Он имеет premonition от Морком смерти в самом мгновение, что он был плохо, и считает, что это было что-то за то, что наука может объяснить. Он писал позже (см., например):

Это не трудно объяснить это - вдали, но я хотел бы знать!

Несмотря на трудные школьные годы, Turing вошел Королевский колледж, Кембридж, в 1931 для изучения математики. Это было достигнуто не без трудностей. Turing сидел стипендий экзаменов в 1929 и выиграл выставку, но не стипендии. Не удовлетворен этой деятельности, он принял экзамены снова в следующем году, на этот раз выиграть стипендию. Во многих отношениях Кембридж был намного проще для нетрадиционных людей, как Turing чем школу было. Он был теперь гораздо больше возможностей изучать его идеи и он читал Рассел "ы Введение в математическую философию в 1933. В то же время он читал фон Нойманн "с 1932 текст квантовой механики теме он вернулся в несколько раз всей своей жизни.

Год 1933 видел начало Turing интерес в математической логики. Он зачитал документ о нравственности науки клуба в Кембридже в декабре этого года из которых следующие минуты был зафиксирован (см., например):

A M Turing читать документ "Математика и логика". Он отметил, что чисто логистических зрения математики является недостаточным; И что математические предложения обладают различные толкования, которые материально-технической был лишь один.

Конечно 1933 был также годом роста Гитлера в Германии и в антивоенных движение в Великобритании. Turing присоединились к антивоенной передвижения, но он не сползание к марксизма, ни пацифизм, как это случилось со многими.

Turing окончил в 1934 а затем, весной 1935, он присутствовал Макс Ньюмен "ы курс об основах математики. Этот курс изучается Gödel "ы неполноты результатов и Хилберт" ы вопрос о decidability. В каком-то смысле "decidability" была простой вопрос, а именно дать математическое предложение можно найти алгоритм который примет решение, если предложение действительно ложной. Для многих предложений было легко найти такой алгоритм. Реальные трудности возникают доказать, что для некоторых предложений нет такого алгоритма не существует. Когда предоставлена алгоритм решения проблемы, было ясно, что, действительно, алгоритм, но нет определения алгоритма который был строгий, чтобы позволить одной до доказать, что никто не существовало. Turing начал работать над этими идеями.

Turing был избран член Королевского колледжа, Кембридж, в 1935 за диссертацию На гауссовой ошибки функция, которая оказалась основных результатов по теории вероятности, именно теорема центрального предела. Хотя основные ограничения теоремы недавно было обнаружено, Turing не знает об этом и обнаружил его самостоятельно. В 1936 Turing был Смита Приземан.

Turing достижений в Кембридже были по причине его работы в теории вероятности. Однако он работает на decidability вопросы после посещения Ньюман "ы конечно. В 1936 он опубликовал На Computable номера, с применением к Entscheidungsproblem. Именно в этом документе, который представил Turing абстрактная машина, в настоящее время называется "Turing автомат", который перемещается от одного состояния к другому, используя точный конечный набор правил ( которое выдается конечный таблицу) и в зависимости от одного символа он читает ленту.

В Turing машина может написать символ на ленте, или удалить символ из ленты. Turing писал:

Некоторые символы записаны будут составлять последовательность цифр которых является десятичной в реальное число, которое вычисляется. Остальные - только приблизительные примечаниях к "помогать памяти". Она будет только эти приблизительные отмечает, который будет обязан стирание.

Он определяется как вычислимого числа реальное количество десятичных расширение которого могут быть получены в машину Turing начиная с пустой ленты. Он показал, что было вычислимого, но, поскольку только countably многие реальные цифры вычислимого, наиболее реальные цифры не вычислимого. Затем он описал ряд, не вычислимого и замечания, что это, по-видимому, парадокс, поскольку он, по-видимому, говорится в ограниченных условиях, несколько, которые не могут быть описаны в ограниченных условиях. Однако Turing понимает источником явного парадокса. Невозможно принимать решения (с помощью другой машины Turing) ли машина Turing с данной таблице инструкции производства бесконечной последовательности чисел.

Хотя этот документ содержит идеи, которые оказались основополагающее значение математики и компьютерных наук с тех пор, как, публикуя его в ходе разбирательства в Лондоне математическим обществом оказалась не простой. Причина заключается в том, что Алонсо Церкви опубликовала В неразрешимой проблемой в теории элементарных номер в American Journal математики в 1936, которые также доказывает, что нет решения, процедура арифметического. Turing подход очень отличается от церкви, но Ньюман был утверждать, в случае публикации Turing документ перед Лондонским математическим обществом бы опубликовать. Turing пересмотренный документ содержит ссылку на церковь "с результатами, и в документе, во-первых завершено в апреле 1936 года, был изменен таким образом в августе 1936 году, она появилась в печати в 1937 году.

Хорошим элементом в результате обсуждений с церковью, что Turing стал аспирант в Принстонском университете в 1936. В Принстоне, Turing провел исследование под церковь "с руководством, и он вернулся в Англию в 1938, получив назад в Англии на летние каникулы в 1937, когда он впервые встретился Виттгенштайн. Основные публикации, которые вышли из его работу в Принстоне был Системы Logic основе Ordinals который был опубликован в 1939. Ньюман пишет в:

Этот документ представляет собой полный интересных предложений и идей. ... [Он] проливает свет на многое Turing взгляды на место интуиции в математических доказательств.

Прежде чем этот документ, по-видимому, Turing опубликованы два других документах, а о более традиционных математических тем. Один из этих документов, рассмотренных методов согласования Цзы групп конечных групп. Другой документ свидетельствует о распространении результатов групп, которые были впервые доказано Рейнхольд Баер, т.е. более простой и более единый подход.

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

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

Хотя на Turing один "компьютер" был лицом провели расчет, мы должны видеть в его описание универсальной машины Turing то, что мы сегодня считаем, как компьютер с лентой в качестве программы.

Хотя в Принстоне Turing сыграли с идеей построения компьютера. Когда она вернулась в Кембридже в 1938 он начинает строить аналоговые устройства для расследования гипотеза Римана, которые многие считают сегодня крупнейшей из нерешенных проблем в математике. Однако его работа вскоре взять на себя новый аспект он обратился вскоре после его возвращения в правительство кодекса и Сипхер школы, которые попросили его помочь им в их работе над преодолением немецкий Enigma кодексы.

После войны было объявлено в 1939 Turing немедленно перенести работать полный рабочий день на правительство кодекса и Сипхер школу в Блетчли парк. Несмотря на работу, проводимую в Блетчли парк освещалась в Закон о государственной тайне, многое в последнее время общественности. Turing в блестящих идей в решении коды и развивающихся компьютеров помочь разорвать их, возможно, спасти больше жизней военнослужащих в ходе войны, чем любой другой. Кроме того, было счастливое время для него:

... возможно, самых счастливых в его жизни, в полном объеме за его изобретательность, мягкая обычной формировать день, и благоприятной набор соотечественников работников.

Вместе с другим математиком W G Велхман, Turing разработала Бомбе, машину на основе ранее работы польских математиков, которые с конца 1940 было декодирования все сообщения, отправленные с машины Enigma в Luftwaffe. В Enigma машины немецкого военно-морского флота было гораздо труднее разорвать, но это типа вызов, который Turing пользуются. К середине 1941 Turing статистического подхода, а также захватили информации, которые привели к германской военно-морской время декодированных сигналов в Блетчли.

С ноября 1942 до марта 1943 Turing было в Соединенных Штатах в связи декодирования вопросы, а также на речи тайна системы. Изменения в том, как немцы в кодировке свои сообщения означало, что Блетчли потеряли способность декодировать сообщения. Turing непосредственно не связанных с успешного выхода из них более сложные коды, но его идеи оказалось огромное значение в этой работе. Turing была присуждена O.B.E. в 1945 за его важный вклад в военные усилия.

В конце войны Turing был приглашен Национальной физической лаборатории в Лондоне, чтобы дизайн компьютера. Его доклад предлагает Автоматический вычислительный двигателя (АСЕ), был представлен в марте 1946 года. Turing дизайн был на тот момент оригинальный дизайн и подробный проспект для компьютера в современном смысле. Размер хранения он планируется на АСЕ рассматривается большинством который рассмотрел доклад, как безнадежно сверхамбициозной и имеются задержки в осуществлении проекта одобрена.

Turing вернулся в Кембридж на учебный год 1947-48, когда его интересы варьировались на протяжении многих темы далеки от компьютеров или математики; В частности, он изучал неврологии и физиологии. Он не забывать о компьютерах в течение этого периода, однако, и он писал код для программирования компьютеров. Он интересов вне академического мира тоже, приняв меры легкой атлетикой серьезно после окончания войны. Он был членом Уолтон Атлетик Клуб победы их 3 мили и 10 миль чемпионат в рекордные сроки. Он побежал в A.A.A. Марафон в 1947 и был помещен пятую.

В 1948 Ньюмен был профессором математики в Университете Манчестера и он предложил Turing читателей существует. Turing уволился из Национальной физической лаборатории принять на пост в Манчестере. Ньюман пишет, что в в Манчестере:

... начинает работы по строительству в вычислительной машине F C Уильямс и Т Кильбурн. Следует надеяться, что Turing приведет математической стороне работы, и в течение нескольких лет он продолжал работать, в первую очередь на дизайн в subroutines из которых крупных программ для такой машины построены, а затем, как подобного рода работы стал стандартизирован, по более общим проблемам численного анализа.

В 1950 Turing опубликованные вычислительной техники и разведки в Разум. Это еще один замечательный работе его блестяще внимание изобретательской который, как предвидеть вопросы, которые будут возникать как компьютеры разработаны. Он изучал проблемы, которые сегодня лежат в основе искусственного интеллекта. Именно в этом 1950 документ, что он предложил Turing испытаний, которые еще сегодня испытания народа применяется в попытке ответить ли компьютер может быть разумным:

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

Turing не забывать о вопросах decidability который стал отправной точкой для его блестящим математических публикаций. Одна из основных проблем в теории групп презентации был вопрос: учитывая любое слово в finitely представлены группы есть алгоритм, чтобы решить, если слово составляет личность. Почтовый оказалось, что для semigroups не такой алгоритм существует. Turing мысли вначале, что он оказался такой же результат для групп, но только до того, семинар по его доказательство, он обнаружил ошибку. Он смог спасти его от ошибочных доказательств того, что существует cancellative semigroup с неразрешимой проблемой слово, и он опубликовал этот результат в 1950. Boone используются идеи этого документа Turing доказать существование группы с неразрешимой проблемой слово в 1957.

Turing был избран членом Королевского общества в Лондоне в 1951, главным образом за его работу по Turing машин в 1936. В 1951 он работал на применение математической теории биологических форм. В 1952 он выпустил первую часть его теоретического исследования Морфогенез, разработка структуры и в виде живых организмов.

Turing был арестован за нарушение устава британского гомосексуализм в 1952, когда он сообщил в полицию подробную информацию о гомосексуальных делом. Он уехал в полиции, потому что он был под угрозой шантажа. Он был осужден как гомосексуальные 31 марта 1952 года, предлагая не обороны, не о том, что он видит ничего плохого в своих действиях. Найдено виновным ему альтернативы в тюрьме или oestrogen инъекции за год. Он согласился с ними и вернулся на широкий круг учебным целям.

Не только он добиваться дальнейшего изучения Морфогенез, но он также работал на новых идей в квантовой теории, о представительстве элементарных частиц в spinors, и о теории относительности. Хотя он был полностью открыты относительно его сексуальной жизни, он еще несчастий, которые ему было запрещено говорить о результате в Закон о государственной тайне.

В декодирования операции в Блетчли парк стал основой для нового декодирования и разведывательной деятельности на GCHQ. С холодной войны это стало важной операции и Turing продолжило работу по GCHQ, хотя его коллеги Манчестере были полностью знают об этом. После его осуждения, его безопасности, снимается. Хуже, чем о том, что сотрудники службы безопасности в настоящее время очень обеспокоены тем, что кто-то с полным знание работы осуществляются на GCHQ сейчас назвать угрозу безопасности. Он многие зарубежные коллеги, как и любые научные будет, но полиция приступила к расследованию его иностранных туристов. А праздник, который Turing занимает в Греции в 1953 в результате возмущения среди сотрудников служб безопасности.

Turing умерли от отравления цианидом калия при проведении электролиза экспериментов. В цианид был найден на половину съел яблоко рядом с ним. В дознания к выводу, что самостоятельное, но его мать всегда считала, что это авария.

Source:School of Mathematics and Statistics University of St Andrews, Scotland