Алан Матисон Тюринг (таваллуд 23 июни 1912 - вафот 7 июни 1954) математик, олими компютер ва криптологи англис буд. Вай асосгузори илми информатика ҳисобида мешавад. Бо озмоиши Тюринг, ки таҳия кардааст, ӯ меъёреро ба миён гузошт, ки оё мошинҳо ва компютерҳо қобилияти фикр карданро доранд.
II. Вай қаҳрамони ҷанг ҳисоб мешуд, зеро вай дар вайрон кардани кодексҳои Олмон дар давраи Ҷанги Дуюми Ҷаҳон нақши ҳалкунанда дошт. Инчунин, дар тӯли солҳои дар Донишгоҳи Манчестер буданаш, вай бо таърифи алгоритме бо номи мошини Turing асоси консептуалии компютерҳои муосирро гузошт.
Номи ӯ инчунин дар таърихи математика бо гипотезаи Черч-Тюринг, ки бо муаллими рисолаи худ Алонзо Черч, ки дар Принстон бо ӯ кор кардааст, таҳия шудааст. Дар ин рисола омадааст, ки ҳамаи ҳисобҳое, ки бо алгоритм тавсиф карда мешаванд, аз ҳисобҳое мебошанд, ки бо чор амалиёт, амалиётҳои проексия, артикуляция ва сканеркунӣ тавсиф карда мешаванд. Ин фарзияи раднашаванда дар бораи фалсафаи математика аст, на теоремаи математикӣ.
Дар соли 1952, Тюринг, ки ба полис бо шикоят дар бораи шантаж шуданаш ва эълом кардани ҳамҷинсгаро шуданаш ба полис муроҷиат кардааст, бо иттиҳоми ҳамҷинсбозӣ муҳокима карда шуд ва ҳукми паррондан бо сӯзандоруи эстроген, ки ҳамчун усули кастрати химиявӣ барои 1 сол. Вай соли 1954 аз заҳролудшавӣ бо сианиди калий вафот кард. Тафтиши полис муайян кард, ки Тюринг дар натиҷаи худкушӣ бо заҳри сианид бо себи хӯрдааш ҷон додааст. Аммо, гуфта мешавад, ки заҳролудшавии Тюринг ба сабаби худкушӣ аз ҷониби худи ӯ рух надодааст ва дар ин марги шубҳанок дигарон даст доранд.
Вай бо ҷоизаи Тюринг, ки дар хотираи ӯ номгузорӣ шудааст ва Нобели илми информатика ҳисобида мешавад, ба як бахши ҷаҳони информатикаи информатикӣ мубаддал гашт.
Модели реаксия-диффузия, ки яке аз муҳимтарин моделҳои математикии биологияи рушд мебошад, низ аз ҷониби Тюринг таҳия шудааст.
Кӯдакӣ ва ҷавонӣ
Модари ӯ Сара дар шаҳри Чатрапури Ориссаи Ҳиндустон ҳомиладор шуд. Падари ӯ Ҷулиус Матисон Тюринг як ходими давлатии Ҳиндустон дар маъмурияти мустамликаи Ҳиндустони Бритониё буд. Ҷулиус ва модараш Сара мехостанд дар Англия таваллуд шаванд, бинобар ин онҳо ба Лондон омада, дар хонае дар Майде Вейл (ҳозира меҳмонхонаи Колоннад) ҷойгир шуданд, ки Алан Тюринг 23 июни соли 1912 таваллуд шудааст. Ӯ як бародари калонӣ бо номи Ҷон дошт. Падари ӯ дар тиҷорати Хадамоти давлатии Ҳиндустон буд ва дар тифлии Тюринг оила байни Гилдфорд, Англия ва Ҳиндустон сафар карда, ду писари худро боқӣ гузошт, то дар назди дӯстонаш дар Хастингси Англия монад. Тюринг дар аввали ҳаёт нишонаҳои доҳиро нишон медод ва онҳоро пайваста нишон медод.
Волидонаш ӯро дар Сент Майклс, мактаби рӯзона, вақте ки ӯ 6 сола буд, номнавис карданд. Дигар устодони ӯ ва баъд мудири мактаб зиракии ӯро зуд шинохтанд. Соли 1926, дар синни 14-солагӣ, вай ба мактаби Шерборн, як мактаби машҳури хусусии хеле гарон дар Дорсет дохил шуд. Рӯзи аввали давраи мактаб бо корпартоии умумӣ дар Англия рост омад; аммо, Тюринг нисбат ба мактаби худ чунон дилгарм буд, ки дар он рӯз дар кишвар ягон қатора набуд, ӯ танҳо аз Саутгемптон то мактаб ба масофаи беш аз 60 мил роҳ гашт ва шабро дар меҳмонхонае дар нимароҳ гузаронд.
Муносибати табиии Тюринг нисбат ба математика ва илм ӯро ба эҳтироми муаллимонаш, ки таърифи таълим дар Шерборн бештар ба юнонӣ ва лотинии қадимии классикӣ равона карда буданд, ба даст наовард. Директори мактаб ба хонаводааш навиштааст: «Умедворам, ки дар байни ду мактаб бехабар намонад. Агар ӯ дар мактаби хусусӣ бимонад, ӯ бояд таҳсилоти махсуси мактаби хусусиро қабул кунад; Агар ӯ танҳо як олими содиқ бошад, вай вақти худро дар ин мактаби хусусӣ беҳуда сарф мекунад. ”
Бо вуҷуди ин, Тюринг истеъдоди барҷастаи худро дар омӯзишҳои дӯстдоштааш идома дода, масъалаҳои математикаи олии олиро пеш аз омӯхтани мавзӯъҳои ҳосилавӣ ва ҳамгироӣ дар синфҳои худ ҳал мекард. Дар синни 1928-солагӣ дар 16, ӯ бо кори Алберт Эйнштейн дучор омад; на танҳо онро дарк кард; ӯ инро тавассути омӯзиши танқидҳои Эйнштейн ба даъвоҳои ҳаракати Нютон (бидуни истифодаи матнҳои дарсӣ, ки онҳоро шарҳ надодаанд) ошкор кард.
Тюринг бо Кристофер Морком, як донишҷӯи каме калонтар дар мактаб, дӯстии наздик ва романтикаро ба вуҷуд овард. Морком ҳамагӣ чанд ҳафта пас аз ба охир расидани семестри охирини худ дар Шерборн аз бемории сил вафот кард, ки вай дар овони кӯдакӣ аз нӯшидани шири гови туберкулез гирифтор шудааст. Имони динии Тюринг хароб шуд ва ӯ атеист шуд. Вай эътиқодро қабул кард, ки тамоми падидаҳои ҷаҳонӣ, аз ҷумла кори мағзи сари инсон, моддӣ ҳастанд.
Донишгоҳ ва кори ӯ оид ба ҳисоббарорӣ
Нахостани Тюринг ба омӯзиши забонҳои классикии юнонӣ ва лотинии қадим ва математика ва илмро ҳамеша бартарӣ медод, ӯро аз гирифтани стипендия дар Коллеҷи Тринити Кембриҷ монеъ шуд. Вай ба Коллеҷи Кингс Кембриҷ рафт, ки интихоби дуюмаш буд. Вай аз соли 1931 то соли 1934 дар он чо студент буд, бо дипломи фахрй сохиб шуд ва соли 1935 барои диссертация дар бораи теоремаи лимити марказй узви академики Коллеҷи Кингз интихоб шуд.
Дар як мақолаи хеле муҳим, Рақамҳои ҳисобшаванда: Истифода ба мушкилоти қабули қарор, ки 28 майи соли 1936 пешниҳод шудааст, Курт Годел натиҷаҳои исботи ҳудуди ҳисоб ва исботи соли 1931 бо забони расмии арифметикӣ асосёфтаро ислоҳ кардааст , онро ҳоло ҳамчун мошинҳои Тюринг иваз карда, ӯ далелҳои дар боло зикршударо ба усулҳои соддатар ва расмӣ асоснок кард. Вай исбот кард, ки ҳама гуна масъалаҳои математикии тасаввуршавандаро бо истифодаи чунин мошин ҳал кардан мумкин аст, агар он бо алгоритм ифода карда шавад.
Мошинҳои тюринг унсури асосии тадқиқоти назарияҳои имрӯзаи ҳисоб мебошанд. Вай идома дод исбот кард, ки Масъалаи қатъкунӣ барои мошинҳои Тюринг ҳалношаванда аст ва он оқибати Мушкилоти Қарор нест: дар маҷмӯъ, тасмим гирифтан ғайриимкон аст, ҳатто агар мошини алюминий пешниҳодшудаи Тюринг ҳамеша қатъ шавад. Гарчанде ки исботи ӯ дертар аз далели ба Алонзо Калисои ба натиҷаи Тюринг асосёфта дар назарияи ҳисоббарории лямбда нашр шудааст, кори Тюринг хеле қобили қабул ва беихтиёр буд. Ҷанбаи нави назарияи ӯ мафҳуми "Мошини универсалӣ (Тюринг)", идеяи мошине буд, ки вазифаҳои ҳар як мошини дигарро иҷро мекард. Дар мақола инчунин мафҳуми рақамҳои муайяншаванда ҷорӣ карда шудааст.
Аз сентябри соли 1936 то июли соли 1938 ӯ қариб пайваста дар паҳлӯи Калисои Алонзо дар Институти таҳқиқоти пешқадами Донишгоҳи Принстон кор мекард. Ба гайр аз математикаи абстрактй, вай инчунин бо криптология кор карда, инчунин се мархалаи мошини зарбкунии чорзинаи электромеханикии бинариро анчом дод. Вай дар моҳи июни соли 1938 рисолаи худро пешниҳод кард ва унвони доктори фалсафаро аз Принстон ба даст овард. Дар рисолаи илмии худ, ӯ консепсияи ҳисобкуниро бо мошинҳои Тюринг, ки бо мошинҳои фолбинӣ алоқаманданд, баррасӣ кард ва ба ӯ имкон дод, ки мушкилотеро, ки мошини Тюринг ҳал карда наметавонад, тафтиш кунад.
Ба Кембриҷи Англия баргашта, ӯ дар лексияҳои Людвиг Витгенштейн оид ба асосҳои математика иштирок кард. Ҳардуи онҳо баҳс карданд ва бо ҳам созиш карда натавонистанд. Тюринг формализмро ҳимоят мекард ва Витгенштейн изҳор дошт, ки математика далелҳои навро ихтироъ кардааст, на онҳоро аз нав кашф мекунад Вай инчунин дар Кодекси Ҳукумат ва Мактаби Cipher (GCCS) ғоибона кор кардааст.
Мошини "бомба" -и Тюринг-Уэлчман
Чанд ҳафта пас аз пайвастан ба Блетчли Парк, Тюринг як мошини электромеханикиро таҳия кард, ки ба шикастани Энигма зуд кумак мекунад; Номи Бомбе ба ин мошин дода шудааст, ишора ба номи Бомбе, ки ба дастгоҳ дода шудааст, ки қаблан аз мошинҳои тарроҳии Лаҳистон дар соли 1932 сохта шуда буд. Бо иловаҳои пешниҳодии математик Гордон Велчман, Bombe Enigma ҳамчун мошини муҳимтарин ва танҳо пурра автоматикунонидашудаи рамзгузорӣ дар ҳамла ба трафики ҳифзшаванда истифода шудааст.
Профессор Ҷек Гуд, ки ҳамзамон бо Тюринг дар Блетчли Парк оид ба криптанализ кор мекард, баъдтар Тюрингро бо ин суханон қадрдонӣ кард: «Муҳимтарин саҳми Тюринг, ба назари ман, тарроҳии мошини криптанализии Бомбе мебошад. Он ба як теоремаи мантиқӣ асос ёфта буд, ки ба гӯши омӯзнашуда бемаънӣ менамуд ва ё ҳатто ғояи зиддунақиз, ки эҳтимолияти ҳама чизро фаҳмиданро дошт ».
Бомб танзимоти дурусти имконпазирро (масалан, фармонҳои печ, танзимоти ког ва ғ.) Барои истифода дар паёми мошини Enigma таҳқиқ карда, онро барои санҷиши ёфтани матни мувофиқ ва оқилона истифода бурд. Барои чархҳо 1019 ҳолати имконпазир барои мошинҳои сеҷарбаи умумии Enigma ва 4 ҳолатҳои имконпазир барои мошинҳои зериобии 1022-чархи Enigma мавҷуд буданд. Бомбе як қатор хулосаҳои мантиқиро дар асоси гаҳвора ба намоиш гузошт, ки бо роҳи электрикӣ анҷом ёфтанд. Бомб ҳангоми пайдо шудани конфликт муайян карда шуд ва таҳрирҳоро ба дигараш гузаронида онро нест кард. Бисёре аз созишномаҳои эҳтимолӣ номувофиқ буданд ва боқимондаҳо партофта шуданд, чанде барои тафсилот омӯхта шуданд. Бомби Тюринг бори аввал 18 марти 1940 насб карда шуд. Дар охири ҷанг, беш аз дусад бомба амал мекард.
Аввалин компютерҳо ва озмоиши Тюринг
Вай дар Лабораторияи Миллии Физика буд ва дар он аз соли 1945 то 1947 дар тарҳи ACE (Engine Automatic Computer Engine) кор мекард. 19 феврали соли 1946 вай мақоларо дар бораи тарҳи муфассали аввалин компютери хотира барномарезӣ кард. Гарчанде ки ACE як тарҳи қобили амал буд, махфӣ дар атрофи корҳои ҷанг дар Блэкли Парк боиси таъхир дар оғози лоиҳа гардид ва онро тасаввурнопазир кард. Охири соли 1947, пас аз шаш соли таҳсили пайваста, ӯ ба Кембриҷ баргашт ва дар соҳаи интихобкардаи худ кор кард. Вақте ки ӯ дар Кембриҷ буд, дар вақти набудани ӯ Pilot ACE анҷом ёфт. Барномаи аввалини он 10 майи соли 1950 баргузор шуда буд.
Соли 1948 ӯро лектори кафедраи математикаи Манчестер таъин карданд. Соли 1949 вай муовини директори лабораторияи компютерии Донишгоҳи Манчестер шуд ва дар яке аз аввалин компютерҳои воқеӣ дар нармафзори Manchester Mark 1 кор кард. Дар ин муддат ӯ корҳои абстрактиро идома дод ва дар 'Механизми компютерӣ ва зеҳнӣ' (Ақл, октябри 1950) Тюринг ба зеҳни сунъӣ ишора кард ва таҷрибаро, ки ҳоло бо номи озмоиши Тюринг маъруф аст, талош кард, ки стандартро барои як мошин муқаррар кунад ки "интеллектуалӣ" номида шавад. Даъвои ӯ ин буд, ки фикр кардан дар бораи компютер имконпазир аст, агар он саволдиҳандаро фиреб диҳад, ки ӯ дар муколама инсон аст.
Дар соли 1948 Тюринг ба навиштани барномаи шоҳмот барои компютере, ки ҳанӯз вуҷуд надошт, ҳангоми кор бо ҳамтои хатмкардааш Д.Г.Чемпернов оғоз кард. Дар соли 1952, компютереро, ки барои иҷрои барнома кофӣ буд, пур кард, ӯ бозӣ бозӣ кард, ки дар он ба компютери Тюринг тақлид кард, ки ҳар як ҳаракат тақрибан ним соат тӯл мекашид. Бозӣ сабт шудааст, ҳарчанд гуфта мешавад, ки Чемперноун дар бозӣ бар занаш пирӯз шудааст, барнома ба ҳамтои Тюринг Алик Гленни мағлуб шуд.
Форматкунии намуна ва биологияи математикӣ
Тюринг аз соли 1952 то маргаш дар соли 1954 дар биологияи математикӣ, алахусус морфогенез кор кардааст. Дар соли 1952 ӯ коғазе бо номи 'Асоси кимиёвии морфогенез' навишт, ки фарзияи ташаккули намунаи Тюрингро таҳия кардааст. Таваҷҷӯҳи асосӣ ба ин соҳа фаҳмидани мавҷудияти рақамҳои Фибоначчи дар сохтори мавҷудоти зинда ва филлотакси Фибоначчи мебошад. Дар мисол муодилаи реаксия-диффузия, ки ҳоло дар майдони ташаккулёбанда марказӣ аст, истифода шудааст. Мақолаҳои охирини ӯ то интишори маҷмӯи таҳқиқоти А.М.Тюринг дар соли 1992 нашр нашудаанд.
Маҳкум кардани бадахлоқии қабеҳ
Гомосексуализм дар Британияи Кабир ғайриқонунӣ буд ва бемории рӯҳӣ ҳисобида мешуд, аммо ҳамчун ҷинояти ҷиноятӣ шомил карда мешуд. Дар моҳи январи соли 1952, Тюринг бо як ҷавони 19-сола Алан Мюррей дар як кинотеатр вохӯрд ва Алан Мюррей якчанд маротиба ба хонаи Тюринг рафт, то бо ӯ бимонад. Пас аз чанд ҳафта, Алан Мюррей бо як шиносаш барои ғорати хонаи Тюринг рафт. Тюринг дар бораи ин дуздӣ ба полис хабар додааст. Полис дуздонро дастгир кард ва ҳангоми тафтиш далели муносибати ҳамҷинсгароёнаи Алан Мюррей бо Тюринг ошкор шуд. Тюринг эътироф кард, ки ин ҳам дуруст буд. Тюринг ва Мюррей барои бадахлоқии қабеҳ айбдор карда шуданд ва тибқи фасли 1885-и замимаи Кодекси ҷиноии соли 11 ба додгоҳ кашида шуданд. Тюринг тавба накард ва бо ҳамон ҷинояте, ки Оскар Уайлд 50 сол қабл муҷрим шинохта шуд.
Ба Тюринг интихоби байни маҳкумият ва вобаста аз ҳолаташ, санҷиши табобати ҳормонии доимии ӯ барои коҳиш додани libido пешниҳод карда шуд. Барои гурехтан аз зиндон, ӯ тазриқи ҳормони эстрогенро қабул кард, ки дар тӯли як сол ӯро кастрация мекард. Азбаски ӯ гунаҳкор дониста шуд, тозакунии эътимоднокии ӯ дар умури махфии ҳукумат лағв карда шуд ва машварати доимии ӯ оид ба масъалаҳои криптографӣ дар вақти махфии GCHQ низ қатъ карда шуд. Он замон ҳукумати Бритониё бо мушкили Панҷ Кембриҷ, як гурӯҳ агентҳо (Гай Бургессс ва Доналд Маклин) сарукор дошт, ки аксарияти онҳо ҳангоми таҳсили илмӣ дар Оксфорд-Кембриҷ розӣ буданд, ки ба Иттиҳоди Шӯравӣ ҷосусӣ кунанд. баъдан рутбаҳои баландтаринро дар зиёиёни Бритониё ишғол карданд. Нигаронӣ аз он буд, ки ҷосусон ва агентҳои Шӯравӣ метавонанд ҳамҷинсгароёнро дар мансабҳои баланд ба доми худ кашанд. Тюринг ҳатто пас аз ин ҳама солҳо дар Блетчли Парк мақомҳои баландро ишғол мекард ва барои ҳамҷинсгароӣ маҳкум шуд.
8 июни соли 1954, посбонаш ӯро дар хонаи Манчестераш мурда ёфт. Эълон карда шуд, ки вай як рӯз пеш, бо хӯрдани себи нимхӯрдаи заҳролудшуда, ки дар ҷойгаҳаш монда буд, аз заҳролудшавӣ бо сианид вафот кардааст. Бо ягон сабаб, худи себ ҳеҷ гоҳ барои заҳри сианид санҷида нашудааст. Бо вуҷуди даъво, ки сабаби марг заҳролудшавӣ бо сианид аст, барои ҷасади ӯ пас аз марг анҷом дода нашудааст.
Ин ба эътиқод оварда расонд, ки марги Тюринг, шахсе, ки дар вазифаҳои хеле муҳими умури махфии давлат кор кардааст ва ба таври шубҳанок фавтидааст, қасдан, ҳатто сӯиқасд аз ҷониби хадамоти Бритониёи MI5 (ҷосусии махфӣ) буд ва буд бо назардошти намуди худкушӣ. Модараш бошад, доимо даъво мекард, ки заҳр тасодуфан ба себи хӯрдааш сироят ёфтааст, бинобар сабаби беэҳтиётона нигоҳ доштани писараш ва истифодаи дорусозии лабораторӣ. Баъзе одамон боварӣ доранд, ки Тюринг бо вонамуд кардани Барф сафед худкушӣ кардааст. Дигарон қайд мекунанд, ки гарчанде Тюринг эътибори расмии худро гум кардааст, шиносномаи ӯро нагирифтанд ва пас аз ин муқаррарот (гарчанде ки ИМА онро қабул накард) ба ӯ иҷозат доданд, ки бо сабабҳои академикӣ якчанд маротиба ба Аврупо равад. Маълум аст, ки эҳтимолияти сӯиқасд ба Тюринг дар ин сафарҳо хеле баланд аст. Бо вуҷуди ин, мақомоти Бритониё дидаву дониста мебинанд, ки онҳо аз ин боздидҳо ва эҳтимоли зиёди куштор чашм мепӯшанд. Биографи Тюринг, Эндрю Ҳоджес, исбот мекунад, ки худкушии Тюринг бо ин роҳ ба модараш додани радди оқилона аст.
Ёдбуди пас аз марг
Аз соли 1966 ҷоизаи Тюринг ҳамасола аз ҷониби Ассотсиатсияи Механизмҳои Компютерӣ ба шахсе дода мешавад, ки барои ҷомеаи компютер мақолаҳои техникӣ навиштааст. Ин ҷоиза имрӯз ҳамчун ҷоизаи Нобели ҷаҳони компютерӣ пазируфта шудааст.
Дар ҳар як бино дар назди зодгоҳи Тюринг дар Лондон (ҳозира меҳмонхонаи Colonnade) ва дар назди хонаи ӯ дар Манчестер, ки ӯ дар он ҷо зиндагӣ ва мурд, лавҳаи кабуд гузошта шудааст, то нишон диҳад, ки шахсиятҳои муҳими таърихии Англия дар он ҷо зиндагӣ мекарданд.
23 июни соли 2001 маросими ифтитоҳи ҳайкали биринҷии Тюринг дар Саквилл Парк, воқеъ дар байни биноҳои донишгоҳ дар Уитворти кӯчаи Манчестер баргузор шуд. 28 октябри соли 2004 дар шаҳраки "Донишгоҳи Суррей" дар Гилдфорди ҷанубии Англия муҷассамаи биринҷии ҳайкалтароши "Ҷон В. Миллс" ифтитоҳ ёфт. Дар Белтчли Парк, ки Тюринг дар он ҷо кор мекард, боз як муҷассамаи 1,5-тоннагии Тюринг, ки онро ҳайкалтарош Стивен Кеттл аз сангҳои тунуки шифери Уэлс сохтааст, 19 июни соли 2007 бо маросим муаррифӣ карда шуд.
Бо мақсади ҷовидон гардонидани хотираи Тюринг дар Англия ва дар гӯшаҳои гуногуни ҷаҳон, хусусан дар донишгоҳҳо чорабиниҳои гуногун баргузор мешаванд ва толорҳо, биноҳо ва майдонҳои махсусро дар факултетҳо ва шаҳракҳои донишҷӯён Тюринг меноманд. Масалан, ҳар сол дар Донишгоҳи Билги Истанбул як симпозиуми илмӣ бо иштироки байналмилалӣ бо номи 'Рӯзҳои Тюринг' ташкил карда мешавад. Ҳадафи ҷаласа эҷоди платформаест, ки дар он тамоюлҳо ва пешрафтҳои нави 'Назарияи ҳисоббарорӣ ва илмҳои компютерӣ' дар доираҳои байналмилалӣ муҳокима ва муаррифӣ карда мешаванд.
10 сентябри соли 2009, пас аз 50 соли марги Алан Тюринг, сарвазири Бритониё Гордон Браун иқрор кард, ки он чизе, ки бо риёзидони маъруф карда шуд, даҳшатбор буд.Ва дар соли 2013, малика Елизавета II пас аз маргаш ба Тюринг афви шоҳӣ дод ва дастовардҳои бемисли ӯро қадр кард .
Аваллин эзоҳро диҳед