Какво означава Тюринг?

Алън Тюринг
Алън Матисън Тюринг (на английски: Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ. Има голям принос в развитието на компютърните науки с формализирането на концепциите за алгоритъм и изчислимост. Машината на Тюринг е абстрактен модел на компютър с общо предназначение. Алън Тюринг се смята за баща на теоретичната информатика и теорията на изкуствения интелект.По време на Втората световна война Тюринг работи за Правителствената школа по кодиране и шифроване в Блечли Парк – британския център за криптоанализ. За известно време оглавява групата, чиято задача е разкодирането на шифрите, ползвани от германските военноморски сили. Създава няколко метода за криптоанализ и прави подобрения на използваната за целта изчислителна електромеханична машина „Бомба", което прави възможно дешифрирането на кодовете на „Енигма“. След войната Алън Тюринг работи в Националната физическа лаборатория, където създава АCE – един от първите програмируеми компютри. През 1948 г. постъпва в Манчестърския университет, където участва в създаването на т.нар. манчестърски компютри. По това време започва да се интересува от математическа биология, пише статии за химичната основа на морфогенезата и предсказва химически реакции, протичащи в колеблив режим като реакцията на Белоусов – Жаботински, наблюдавана за пръв път през 60-те години на XX век. През 1952 г. Тюринг е съден за хомосексуалност, която по това време все още се смята за престъпление във Великобритания. Избира да бъде подложен на химическа кастрация, вместо да отиде в затвора. Умира през 1954 г. от отравяне с цианид, като според следствието става дума за самоубийство, но някои негови близки смятат, че смъртта му е нещастен случай. През 2009 г. след подета обществена кампания за реабилитацията му министър-председателят Гордън Браун се извинява официално за отношението на държавата към Тюринг, а през 2013 г. кралица Елизабет II го помилва посмъртно.

Тюринг (награда)
Наградата „Тюринг“ (A.M. Turing Award) е годишна награда, която се присъжда от Асоциацията по изчислителна техника (Association for Computing Machinery) на личност със съществени приноси към компютърната общност. Приносите трябва да са с продължителна техническа значимост в областта на компютрите. Наградата носи името на Алън Тюринг, британски учен и математик. Наградата Тюринг се смята за най-престижната награда в областта на информатиката. От 2007 до 2013 г. наградата е придружена от парична премия от $250 000, обезпечена от Интел и Гугъл. От 2014 г. насам наградата е придружена от парична премия от $1 000 000, обезпечена от Гугъл. През 2006 г. за първи път наградата е връчена на жена.

Цялостност по Тюринг
В изчислителната теория система от правила за манипулация на данни (като набор от инструкции на компютъра, програмен език, или клетъчен автомат) се смята за цялостна по Тюринг или изчислително универсална, ако може да се използва за симулиране на която и да било еднолентова машина на Тюринг. Концепцията е наречена на името на английския математик Алън Тюринг. Класически пример е ламбда функцията. Тясно свързана концепция е тази за Тюрингова еквивалентност – два компютъра P и Q се наричат ​​еквивалентни, ако P може да симулира Q, то и Q може да симулира P. Тезата „The Church-Тюринг“ предполага, че всяка функция, чиито стойности могат да бъдат изчислени чрез алгоритъм може да бъдат изчислени от една машина на Тюринг, и следователно ако реален компютър може да бъде симулиран от машина на Тюринг, то той е Тюрингов еквивалент на машина на Тюринг. Универсална Тюрингова машина може да се използва за симулиране на всяка машината на Тюринг и по подразбиране на изчислителните аспекти, на който и да било реален компютър. За да докажем, че нещо е цялостно по Тюринг, е достатъчно да се докаже, че може да се използва за симулиране на някаква цялостна Тюринг система. Например, императивен език на програмиране е цялостен по Тюринг, ако има условно разклоняване (например, if и go to изявления, или „разклони в случай на нула" инструкция) и способността да променя произволно количество памет (например умението да поддържа произволен брой променливи). Тъй като това почти винаги е така, повечето (ако не всички) императивни езици са Тюринг цялостни, ако се игнорира ограничението на крайното количество памет.