Самая выдающаяся личность xx века: что нужно знать о математике алане тьюринге

Всегда ли пульс в норме ритмичный?

Оказывается в норме пуль не идеально ритмичный. У нормального здорового человека пульс в небольшой степени реагирует на дыхание : при вдохе ускоряется, при выдохе – замедляется. Этот факт любой человек может проверить на себе. Попробуйте найти на запястье пульс, сделать глубокий вдох, задержать дыхание, потом — выдох. Вы убедитесь, что частота пульса изменяется. Кроме того, пульс может реагировать на физическое напряжение, эмоции. И даже внеочередные сокращения сердца — экстрасистолы – в небольшом количестве допускаются у здорового человека. Более того, идеально ритмичный пульс называют ригидным пульсом. Такое состояние встречается у старых людей и может говорить о снижении способности сердца к адаптации к физическим нагрузкам.

Тьюринг-полнота и неполнота некоторых языков программирования[править]

Доказать Тьюринг-полноту языка программирования можно, предложив способ реализации машины Тьюринга на этом языке. Кроме того, можно предложить на нём интерпретатор Тьюринг-полного языка.

Assembly languageправить

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

Всё необходимое для машины Тьюринга на asm можно сделать примерно так:

 ADDS r0, r0, #1 
 ADDS r0, r0, #-1 
 ADDS , , #1 
 ADDS , , #-1 

И далее использовать инструкцию или ей подобную, чтобы выполнять определённую последовательность команд при определённом текущем значении, таким образом обеспечив ветвление.

Pascalправить

Язык Pascal позволяет смоделировать ленту машины Тьюринга с помощью двунаправленного списка из переменных, создаваемых оператором , семантика которого не предполагает отказа в создании переменной. Также с помощью списков
можно смоделировать сколь угодно большие числа. Стандарт не накладывает никаких ограничений: указательный тип абстрактен, множество значений указательного типа языком не ограничено.
В Паскале есть еще один тип данных с неограниченным множеством значений, файловый, также пригодный для моделирования ленты машины Тьюринга и представления больших чисел. Достаточно утверждений для очевидности Тьюринг-полноты языка Pascal.

Cправить

В языке C нет высокоуровневого понятия переменной (в смысле Паскаля), есть объекты (object), хранящиеся в памяти как последовательно расположенные байты,имеющие адрес (байты в свою очередь состоят из неадресуемых битов). Целые типы ограничены (конечное множество значений), указатель отождествляется с адресом, постулируется возможность хранить адрес в целочисленной переменной (int или long — зависит от реализации), откуда следует ограниченность множества значений указателей, а стало быть, и ограниченность адресного пространства C-машины. То есть язык C, как и язык ассемблера, ориентирован на архитектуру с конечной памятью. Файл не является типом данных языка C, в отличие от Паскаля. Это вещь из окружения, для работы с которой есть операции над потоками в виде набора библиотечных функций. Тип fpos_t, принятый в стандарте C для позиционирования файлов, постулируется как «отличный от массива тип данных (object type)». Следовательно, множество значений этого типа конечно, а значит, максимальная длина файла в языке C ограничена сверху.

SQLправить

Сам по себе SQL никогда не считался полным по Тьюрингу языком. Однако, у него существует множество расширений, позволяющих делать рекурсивные запросы, циклы, списки, деревья и пр., например, с помощью PostgreSQL. Более того, на в 2011 г. Habrahabr появилась статья, где показана машина Тьюринга на SQL (в реализации Firebird 2.1, который ограничивает вложенность рекурсивных запросов до 2014 уровней). Тем не менее, всё ещё остаётся ограниченное query execution time.

HTMLправить

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

Некоторые другие ЯПправить

Название языка	Год изобретения	Парадигма	Уровень	Зависимость от архитектуры процессора	Полнота по Тьюрингу
C	1972	Процедурный	Низкий	зав. от ISO	Да
C++	1983	Мультипарадигменный	Высокий/Низкий	Нет	Да
Язык Ассемблера	1950	Полнофункциональный	Низкий	Да	Да
SQL	1989	Декларативный	Высокий	Нет	Нет
Haskell	1990	Функциональный	Высокий	Нет	Да
HTML	1986	Декларативный	Высокий	Нет	Нет
CSS	1996	Декларативный	Высокий	Нет	Нет
Java	1995	Объектно-ориентированный	Высокий	Нет	Да
JavaScript	1995	Объектно-ориентированный	Высокий	Нет	Да
Python	1991	Объектно-ориентированный	Высокий	Нет	Да
XML	1998	Декларативный	Высокий	Нет	Нет
Brainfuck	1993	Эзотерический	Низкий	Да	Да
Whitespace	2003	Эзотерический	Низкий	Да	Да

Публикации

Комментарии

Салаев Александр Рафикович

Действительный государственный советник Санкт-Петербурга 1-го класса

Наталья Алексеевна Сергунина

руководитель Аппарата Мэра и Правительства Москвы

Радионова Светлана Геннадьевна

руководитель Росприроднадзора (с конца 2018 года), бывший заместитель главы Ростехнадзора

Назаров Андрей Геннадьевич

экономист, юрист, управленц и специалист в сфере горного оборудования

Плутник Александр Альбертович

юрист, генеральный директор АО «ДОМ.РФ»

Токарев Владимир Александрович

российский государственный деятель

Елисеев Алексей Андреевич

Руководитель Департамента капитального ремонта города Москвы

Александр Александрович Ремига

заместитель главы правительства Орловской области

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

В 1935 году ученый Алан Тьюринг впервые применил свои способности в области математической логики и начал проводить исследования, показавшие через год значимые результаты. Он ввел понятие вычислимой функции, которая может быть реализована на так называемой машине Тьюринга. Проект данного устройства имел все основные свойства современных моделей (пошаговый способ действий, память, программное управление) и являлся прообразом цифровых компьютеров, изобретенных спустя десяток лет. В 1936 году математик Алан Тьюринг перебрался в Америку и устроился куратором в Принстонский университет, в 1938 году удостоился степени доктора философии и вернулся в Кембридж, ответив отказом на предложение математика Джона фон Неймана остаться работать в этом учебном заведении в должности ассистента.

[править] Геральдика

Геральдика рода Тюрингов восходит к континентальным франко-нормандским аналогам. В настоящее время известны три варианта фамильного герба. Каждый из этих вариантов соотносится с той или иной датировкой в источниках, а также с той или иной ветвью рода. Единственная печать Тюрингов, которая датируется 1474 годом, стерта (SHS63309), и поэтому самым ранним изображением их герба является гравированная надгробная плита, найденная в церкви Фоверана . На ней увековечены два члена семейства Тюрингов, которые были, по всей вероятности, убиты в битве при Харлоу. Они изображены в доспехах держащими двуручные мечи, изображение которых на этой плите предполагается как наиболее раннее в Шотландии, или даже во всей Британии. Остальная часть могильной надписи, оковка на щитах и все надписи на свитках, которые изящно висят перед лицами каждой фигуры, несомненно первоначально были нанесены, но сейчас отсутствуют. Как омечалось выше, Уильям Тюрин был награждён королем Дэвидом II Брюсом (1329—1371) грамотой на владение Фовераном; за ним следовал его сын, Эндрю Тюрин (1388—1424), и следующие Тюрины из Фоверана (с 1613 года их стали именовать Тюрингами). Герб Тюрингов на плите: в поле щита перевязь, некогда несущая главы трех вепрей (изабражение последних практически не сохранилось). Вероятнее всего, на плите изображены павшие при Харлоу братья (или сыновья) Эндрю Тюрина.

Раннее полное описание герба этого рода имеется в Гербовнике сэра Дэвида Линдсэя (Blazon: Argent, on a bend Sable three boars’ heads couped Or (DL463); 1542 г.) .

Это наиболее древняя версия герба старшей линии рода. Таков герб и нынешнего главы британской ветви — сэра Джона Дермота Тюринга .

Помимо описанного варианта, имеется также иная версия фамильного герба, впервые упоминаемая в Гербовнике Сетона в 1591 г. (Blazon: Or, on a bend Gules three boars’ heads couped Or (SN311)). Эта версия встречалась и позднее в ряде других гербовников.

Наконец, известен еще один вариант их герба, не использовавшийся лэрдами Фоверана (т.е. старшей линией рода). Он блазонируется следующим образом: Hermine, on a bend Gules three boars’ heads couped Or . Геральдический горностаевый мех (hermine) чаще всего (в сравнении с другими территориями Европы) встречается в геральдике Нормандии, Фландрии, Артуа и Шотландии. Более того, в названных регионах, плюс еще Англия и Нидерланды, горностаевый мех использовался с XIII в. как бризура для гербов младших отпрысков знатных домов, о чем убедительно пишет в своих работах по истории и теории геральдики авторитетнейший специалист в данной области Мишель Пастуро . Данный вариант герба Тюрингов можно обнаружить у представителей небританских ветвей рода.

Теорема Геделя о неполноте[править]

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

Теорема:

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

Доказательство:

Предположим, что система полна, т.е. доказывает или опровергает любое утверждение. Сформулируем и запишем на языке арифметики утверждение = «машина Тьюринга точно остановится, если запустить ее с данными «. Переберем все доказательства ( — истинно) и опровержения ( — истинно) в системе , чья длина совпадает с длиной . Так как система полна, рано или поздно мы найдем опровержение или доказательство утверждения Система доказывает не только истинные факты (так как она только непротиворечива), т.е. доказываемое утверждение может быть ложным. Тем не менее, мы фактически решили проблему остановки.

Орфография и пунктуация, стилистика

Спецификация для «Бомбы» было только первым из пяти важнейших достижений Тьюринга в области военного криптоанализа.
Спецификация была достижением. Откуда средний род?

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

Он посетил компьютерную лабораторию в Дайтоне, штат Огайо и его реакция на дизайн американских Бомб была не слишком обнадёживающей.
Штат Огайо — уточнение, обособляется с обеих сторон запятыми. Кроме того, предложение сложносочиненное, перед союзом «и» все равно нужна запятая.

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

В то же время Тюринг продолжал работать над более абстрактными математическими задачами.
Тьюринг.

Игра была записана и в результате программа проиграла коллеге Тьюринга Алеку Глини, но выиграла партию у жены Чамперновна.
Сложносочиненное предложение, перед союзом — запятая.

В 1948 году Тьюринг также изобрёл метод LU-разложение, который сегодня используется для решения уравнений.
Метод разложениЯ.

Учёный предпочёл инъекции стильбэстрола (англ.) — это лечение продолжалось один год, что привело к импотенции и гинекомастии.
Логически вернее «лечение продолжалось один год и привело к импотенции и гинекомастии».

Ходжес и Дэвид Левит предполагают, что Тьюринг воссоздал сцену из мультфильма Уолта Диснея Белоснежка 1937 года — любимой сказки учёного.
«Белоснежка»

В 2013 году королева Великобритании Елизавета II официально помиловала Тьюринга за обвинения в «непристойности».
Нельзя помиловать «за» что-то.
—Tatiana Pion 15:54, 11 февраля 2015 (UTC)

1. {{cite web|url=www.bbc.co.uk/proms/whats-on/2014/july-23/14936 Prom 8: Pet Shop Boys]

Британская операция «Ультра»

В этот же период Британия объявила старт операции «Ультра», целью которой являлось прослушивание разговоров немецких летчиков и их расшифровка. Данным вопросом занимался расположенный в Лондоне отдел правительственной Школы кодов и шифров (Главного шифровального подразделения британской разведки), который по причине угрозы фашистского нападения был срочно вывезен в Блетчли-Парк, расположенный в центре Англии.

Сегодня здесь размещается музей кодировщиков и вычислительной техники. Именно в это секретное место ежедневно поступали перехваченные приемными станциями разведывательные данные; число кодированных сообщений измерялось тысячами единиц. Для каждого входящего текста фиксировались: радиочастота, дата, время перехвата и преамбула. В последней содержался идентификатор сети, позывной приемной станции и отправителя, время отправки сообщений.

Уинстон Черчилль – премьер-министр Великобритании — называл Блетчи-Парк своей курочкой, несущей золотые яйца. Руководителем проекта являлся Алистер Деннистон – ветеран военной разведки. В штат криптоаналитиков он набирал не кадровых разведчиков, а специалистов самого широкого профиля: математиков, лингвистов, шахматистов, египтологов, чемпионов по решению кроссвордов. В столь разнообразную компанию попал и талантливый математик Алан Тьюринг.

Уточнить!

Цитата: «Во время Второй Мировой войны, Тьюринг работал в Бличли Парке — Британском Криптографическом центре. Он сломал немецкий шифр и, тем самым, приблизил окончание войны на несколько лет.»
Кто знает наверняка, уточните:

1) Скорее всего, имеется в виду взлом кода немецкой шифровальной машины «Энигма». Так ли это?

2) В Блечли-парке расшифровкой «Энигмы» занималось пять групп. Можно ли говорить о том, что Тьюринг в одиночку добился победы? — Doomych 06:38, 6 марта 2006 (UTC)

Я сам все уточнил и внес в статью.
Да, именно «Энигма». Нет, не в одиночку. — Doomych 09:22, 10 марта 2006 (UTC)

Я добавил ссылки на цикл статей Г. Далидовича «Заметки об искусственном интеллекте: маргаритки Тьюринга, Энигма Тьюринга, Яблоко Тьюринга». Посмотрите. — Maxal 07:28, 9 июня 2006 (UTC)

Был еще академик Дональд Мичи родился 11 ноября 1923 погиб 7 июля 2007 года , один из экспертов, разгадавших во время второй Мировой войны секрет германской шифровальной машины «Энигма». — Эта реплика добавлена с IP 89.178.130.56 (о) 21 июля 2007 (UTC)

Наоборот, это в каком-то смысле было очень познавательным фактом для нескольких моих знакомых, и дети ничего не имели против. Одна знакомая, изучавшая информатику ещё во времена СССР сказала: «Надо же, в буквальном смысле погубили курицу, несущую золотые яйца. Чужая ж… им, видите ли, мешала». 🙂 И потом долго ещё ходила под этим впечатлением. — Пропп 12:52, 17 июня 2011 (UTC)

Логотип Apple

В статье нигде не указывается, что откусанное яблоко Apple — отсылка к смерти (в данном случае неважно, самоубийство, отравление или по неосторожности) Тьюринга. Мне кажется, небезынтересный и небесполезный факт, который стоит включить в статью.

Это байка, по словам создателя самого логотипа Эпл

Радужные цвета первоначального логотипа не связаны с флагом ЛГБТ движения (он появился годом позже) и здесь нет отсылки к гомосексуальности Тьюринга. Яблоко пришло с самого первого логотипа Apple на котором изображен Ньютон под деревом, а надкушено оно, чтобы идентифицироваться именно с яблоком, а не допусти с персиком, похожей формы.—Stormobile 13:07, 27 ноября 2012 (UTC)

Это байка, по словам создателя самого логотипа Эпл. Радужные цвета первоначального логотипа не связаны с флагом ЛГБТ движения (он появился годом позже) и здесь нет отсылки к гомосексуальности Тьюринга. Яблоко пришло с самого первого логотипа Apple на котором изображен Ньютон под деревом, а надкушено оно, чтобы идентифицироваться именно с яблоком, а не допусти с персиком, похожей формы.—Stormobile 13:07, 27 ноября 2012 (UTC)

Мерцательная аритмия

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

Норма и фибрилляция

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

Диагностика

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

• хаотичного сердцебиения;
• чрезмерной потливости и слабости;
• озноба и ощущения страха;
• полуирии;
• обморочных состояний или головокружения.

Узнать о лечении и характеристиках аритмии подробно можно из видеоролика, представленного ниже:

Машина Тьюринга: как алгоритм стал основой компьютерной эры

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

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

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

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

Портрет

Фотка не из непонятного источника.
Всего портретов Тьюринга в зрелом возрасте 3. Они повсеместно используются в Википедии, что является злостным нарушением, потому что они принадлежат National Portrait Gallery, которая не распространяет их под Creative Commons.
Фото добавленное мной принадлежит к серии из 8-ми изображений формата «на паспорт». Попытки найти владельца прав многие годы предпринимаются например архивом King’s College, Cambridge. Судя по всему владельца не существует, более того именно тот файл, который добавил я используется на сайтах Scientific American с пометкой CopyRight Free. На мой взгляд — это достаточные основания, чтобы заменить невнятное изображение статуи (снятое с хитрого плана, чтобы в кадр попал портрет, защищенный авторским правом).—Stormobile 13:30, 15 ноября 2012 (UTC)

Дайте, пожалуйста, ссылку на ту страницу SA, где написано, что там copyright free. Vlsergey 13:34, 15 ноября 2012 (UTC)

Может быть вот это? 16 лет, автор неизвестен, 1928 год. Фото на паспорт без указания даты, к сожалению, можно лишь предполагать, что это ~1938 год. — Vlsergey 07:35, 16 ноября 2012 (UTC)

-В принципе узнаваем, но фотографий в молодости много достаточно(без копирайта), хотелось добавить зрелое фото. Думаю более спокойное изображение из той серии на паспорт, в зрелости не нарушит авторских прав.—Stormobile 09:11, 16 ноября 2012 (UTC)

Должно пройти 70 лет хотя бы с момента создания фотографии. То есть фотографии должны быть опубликованы до 1942 года (если поиски автора не увенчались успехом). Фотографии на паспорт, к сожалению, не подписаны, и если считать датой публикации момент их передачи в архив… тот тут вообще всё печально 🙁 Vlsergey 10:48, 16 ноября 2012 (UTC)

-Не очень понимаю, как в английской статье может быть то фото, которое есть и при этом статья имеет статус хорошей. Давайте оставим фото, которое предлагаете вы.—Stormobile 11:36, 16 ноября 2012 (UTC)

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

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

Когда Тьюринг из США возвратился в Англию, началась вторая мировая война. Одним из важнейших вооружений этой войны была ЭВМ «Колосс» по проекту «Ультра», начавшая в 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 года Алан Мэтисон Тьюринг был найден мёртвым в своём доме. Смерть наступила в результате отравления цианидом. Яблоко, пропитанное цианидом, лежало рядом на ночном столике. Точно не известно, было ли это самоубийством или Тьюринга погубили завистники.

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

Тьюринговская трясина[править]

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

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

Многие эзотерические языки программирования также являются «трясинами Тьюринга» (напр. Brainfuck, Spoon, Malbolge, Whitespace).

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

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

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

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

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

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

«След» книги

BooleanMinimizeпредложении книг из библиотеки скончавшегося лицадругую из книг по физике (вроде как, Герману Вейлю)Себагу Монтефиоре, приятному молодому человеку, которого вы, возможно, помните Старой Итонской АссоциацииОдеваться в цвета АссоциацииНиколас КермакХью Себаг-Монтефиорекнигу о взломе Энигмы (шифровальной немецкой машины)что случилось с другими книгами Тьюринга?«Об аксиоматических системах в математике и теориях в физике»теории типовправилах выводамоя собственная работая считаю, что порядок любого вычисляемого десятичного числа в двоичной форме меньше восьмиодна из причин, почему современная квантовая теория поля настолько сложна, это только потому, что она имеет дело с объектами довольно сложного типа — функционалами функций…мы вполне могли бы взять наибольший тип общего пользования в качестве показателя математического прогрессавпервые обратил его несколько расфокусированное внимание на исчисление Черчаписьма из архивовНик ФурбанкЭ. М

ФорстераМайка ЙейтсаСобрание сочиненийДермот Тьюрингбаронетомбиографию Алана ТьюрингаMathematicaЭто почерк Робина Ганди!Робин Ганди написал тот таинственный листок бумагиЭто заставляет меня думать, что мне лучше убедиться в том, что я просмотрел все их страницы — просто для того, чтобы узнать, что там может быть любопытного…

Интересные случаи полноты по Тьюрингу[править]

Шаблоны C++править

Шаблоны C++ позволяют производить сложные вычисления ещё на стадии компиляции программы. Впервые это было продемонстрировано Эрвином Унрухом, который реализовал рекурсивный алгоритм распознавания простых чисел в процессе компиляции. Позже в статье Университета Индиана было продемонстрировано кодирование машины Тьюринга в шаблонах C++.

Java Genericsправить

Аналогично C++ Templates, Generics, несмотря на свои отличия, тоже оказались полными по Тьюрингу, что было подтверждено Раду Григор в одной из статей Кентского Университета.

URISCправить

URISC (от англ. Ultimate RISC) — предельный случай процессора типа RISC (буквально: компьютер с предельно сокращённым набором инструкций), который умеет выполнять одну-единственную инструкцию. Обычно это «вычесть и пропустить следующую инструкцию, если вычитаемое было больше уменьшаемого» (англ. «reverse-subtract and skip if borrow»). Аналогичная концепция, основанная именно на «вычесть и перейти, если результат не положительный» (англ. «subtract and branch unless positive»), называется SUBLEQ.

URISC также известен в современной литературе как OISC (англ. One Instruction Set Computer) и является полным по Тьюрингу.

movправить

Утилита M/o/Vfuscator превращает любую программу на языке C в огромную последовательность из инструкций .

Результат работы GCC

Результат работы M/o/Vfuscator

Простые числа с использованием одной инструкции

HTML5 + CSS3править

Excelправить

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

Тьюринг-полнота в играхправить

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

Little Big Planet. Некоторые элементы игры представляют из себя ничто иное, как небольшие клеточные автоматы, которые можно запрограммировать.

Super Mario World. Умелое обращение с багами игры позволяет сделать в ней буквально всё, что позволяет 2d-пространство Nintendo.

Braid.

[править] Тюринги в Форфаршире

Тюринги на шотландской земле изначально поселились в Ангусе (Форфаршир). Точных сведений о времени, когда это точно произошло, нет. Крупнейший российский специалист по шотландской истории Д. Федосов пишет об этом в своей книге «Рожденная в битвах. Шотландия до конца XIV века»: «Жажда земельных приобретений и надежда на удачу, которая влекла нормандских воинов в Англию, на Сицилию, в южную Италию и Палестину, привела их и в Шотландию. Со времени Дэвида I вплоть до конца XIII в., когда дружественные отношения с Англией рухнули, в стране обосновались сотни выходцев с континента, главным образом из Фландрии, Нормандии и Бретани».

В Форфаршире Тюринги владели баронией того же имени — Тюрин (Turin). До сих пор те места, раскинувшиеся в Форфаршире между аббатством Аберлемно (на севере), холмом Питскэндли (на западе), замком Гатри (на востоке) и озером Рэскоби (на юге), называются Тюрин, сохраняя память о своих давних нормандских владельцах. На этой территории топографическая карта дает много интересных примеров исторической памяти: Turin Hill, West Mains of Turin, North Mains of Turin, Nether Turin, Turin House.

После того, как Тюринги покинули Ангус, получив от Дэвида II Брюса во владение Фоверан (Абердиншир), земли Тюрин и Дримми в 1365 г. перешли к клану Олифант. Ранее уже отмечалось. что Тюринги считаются ветвью клана Олифант, который имел «франкское» происхождение (Булонь).