Математиците

Час линия Снимки Пари Марки Скица Търся

Alan Mathison Turing

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

23 June 1912

London, England

7 June 1954

Wilmslow, Cheshire, England

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

Алън Тюринг е роден в Paddington, Лондон. Баща си, Юлий Mathison Тюринг е британски член на индийския държавната администрация и той е бил често в чужбина. Алън майка, ЕТЕЛ Сара Stoney, е дъщеря на главен механик на Madras железниците и родителите на Алън е срещал и жени в Индия. Когато Алън е около една година майка му rejoined съпруга си в Индия, оставяйки Алън в Англия с приятели на семейството. Алън е изпратено на училище, но не изглежда да е получаването на всяко полза, така той е бил премахнат от училището след няколко месеца.

Напред той бе изпратен Hazlehurst Подготвителен училище, където той изглеждаше да бъде "средната за добра" ученик в повечето теми, но бе много заета със собствените си следните идеи. Той стана интересуват от шах, като в това училище и той също се присъединиха към обсъждането общество. Той си Общата Изпитни през 1926 г. и след това заминава за Sherborne училище. Сега е 1926 година на обща стачка и когато стачка е в процес на Тюринг cycled 60 мили на училището от неговото начало, не е твърде трудна задача за Тюринг които по-късно беше да станете атлет глоба от почти олимпийски стандарт. Той установи, че много трудно да се впише в това, което се очакваше от тази публична училището, но майка му е била определена така, че той трябва да има публичен училищното образование. Много от най-оригиналните thinkers са намерили конвенционални образование, почти неразбираеми процес и това, изглежда, е бил случаят с Тюринг. Неговият гений идваха от неформални го в своя собствена посока, отколкото тези, изисквани от учителите си.

Той е критикуван за своя почерк, бореше най-английски, а дори и в математиката той е бил твърде заинтересована с собствените си идеи, да произвежда решения на проблемите, използвайки методи, преподавани от неговите учители. Въпреки, произвеждащи неконвенционални отговори, Тюринг не спечели почти всички възможни награди, като в математиката Sherborne. В химията, една тема, която му е заинтересована от най-ранна възраст, той извършва следните експерименти своя дневен ред, които не харесвам неговия учител. Тюринг на директора пише (виж например):

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

Това се казва далеч повече за училищната система, която Тюринг е да бъдат изложени на по-Тюринг дошли около себе си. Въпреки това, Тюринг уча математика, докато дълбоко в училище, въпреки че си учители, вероятно не са били наясно с проучванията, които той е бил цел на неговите собствени. Той чете Айнщайн "и документи на относителността и той също да прочетете за квантовата механика в Eddington" и естеството на физическия свят.

Събитие, което беше до голяма степен се отрази Тюринг през целия си живот се проведе през 1928. Той формира тясно приятелство с Кристофър Morcom, един ученик през годината, над него в училище, и двамата работиха заедно за научни идеи. Може би за първи път Тюринг е бил в състояние да намерите някой, с когото той може да акции си мисли и идеи. Въпреки това Morcom почина през февруари 1930 и опит е shattering един до Тюринг. Той имаше premonition на Morcom смъртта на най-бързо, че той е взет болни и смятат, че това е нещо извън това, което науката може да обясни. Той пише по-късно (виж например):

Не е трудно да обясня тези неща, далеч - но, Чудя се!

Въпреки трудните учебни години, вписани Тюринг King's College, Кеймбридж, през 1931 г. да учат математика. Това не е било постигнато без затруднения. Тюринг седна на стипендията изпити през 1929 г. и спечели една изложба, но не и стипендия. Не е изпълнено с това изпълнение, той се на изпити отново през следващата година, този път печели стипендия. В много отношения Кеймбридж е много по-лесно място за хора като неконвенционални Тюринг от училище са. Той е вече много повече в състояние да изследва собствените си идеи и той чете Ръсел "Въведение в математически и философия през 1933 г.. По едно и също време, той чете фон Нойман "и 1932 текст на квантовата механика, предмет Завръща се няколко пъти през целия си живот.

През 1933 видяхме началото на Тюринг интерес в математическата логика. Той прочете една книга за моралните науката клуб в Кеймбридж през декември същата година на които след минута беше записано (виж например):

AM Тюринг прочетете една книга за "Математика и логика". Той смята, че чисто логистична гледна точка на математиката е недостатъчна, и че предложенията математически притежават различни тълкувания на която беше просто една логистична.

Разбира 1933 беше година на основание на Хитлер в Германия и на анти-военни движение във Великобритания. Тюринг се присъединява към анти-военни движение, но той не плаващите към Marxism, нито пацифизъм, както се е случило с много.

Тюринг завършва през 1934 г. След това, през пролетта на 1935 г., той присъстваха Макс Нюман "и напреднал курс по основи на математиката. Това разбира се учи Gödel "и непълнота резултати и Хилберт" и въпрос на decidability. В един смисъл "decidability" беше просто въпрос, а именно даден математически предложения може да намерите един алгоритъм, който ще реши, ако е вярно, предложения на неверни. За много от предложенията е било лесно да се намери такъв алгоритъм. Реалните трудности, които доказват, че са възникнали в някои предложения за такъв алгоритъм не съществува. Когато дадена алгоритъм за решаване на проблем стана ясно, че тя наистина беше един алгоритъм, все още не е имало определение на един алгоритъм, който е строг достатъчно, за да позволи едно да докаже, че нито една съществувала. Тюринг започва осъществяването на тези идеи.

Тюринг е избран за колегите от King's College, Кеймбридж, през 1935 г. за дисертация На Gaussian грешка функция, която се оказа основните резултати по Теория на вероятностите, а именно на централната лимит теорема. Въпреки че централната лимит теорема имаше наскоро бяха открити, Тюринг не е знаела за това и открили, че независимо. През 1936 Тюринг е бил Смит на Prizeman.

Тюринг постиженията в Кеймбридж са за сметка на работата си в Теория на вероятностите. Въпреки това, той бе работата по decidability въпроси, тъй като присъства Нюман "и, разбира се. През 1936 той публикува на Computable Numbers, с молба за Entscheidungsproblem. Тя е в тази книга, че Тюринг въведени абстрактна машина, сега наричан "машина Тюринг", които преместват от една държава към друга с точно границите на набор от правила ( дадена от границите на таблицата) и в зависимост от един символ, той чете от магнитна лента.

В Тюринг машината може да пише в символ на касета или изтриване на символ от магнитна лента. Тюринг написа:

Някои от символите, написани определяне на формата ще редиците на цифрите, което е след десетичната на реално число, което се изчислява. Останалите са само груб бележки към "съдейства на паметта". Тя ще бъде изложена само тези бурни отбелязва, който ще бъде отговорен за изтриване.

Той определил computable номер като реално число, чиято десетичната експанзия може да се произвежда по Тюринг машината започва с празна лента. Той показа, че е computable, но тъй като само countably много реални числа са computable, най-реалните числа не са computable. Той тогава описани редица, която не е computable и забележки, че това изглежда е парадоксално, тъй като той изглежда са описани в крайни срокове, някои, които не могат да бъдат описани в крайни срокове. Въпреки това, разбира Тюринг източника на очевидното парадокс. Е невъзможно да се решат (използвайки друга машина Тюринг) дали дадена машина Тюринг с дадена таблица с инструкциите ще изход безкрайно поредица от номера.

Въпреки, че тази книга съдържа идеи, които се оказаха от фундаментално значение за математика и компютърни науки всякога, тъй като тя се появява, издателска, че в производството на Лондон Математическо общество не се окаже лесно. Причината е, че Alonzo църква публикува unsolvable проблем в теорията на елементарните номера в американския вестник по математика през 1936 г., което също доказва, че няма решение, процедурата за смятане. Тюринг подходът е твърде различен от този на църква, но Нюман трябваше да твърдят, случаят с публикуването на Тюринг на хартия, преди Лондон Математическо общество ще я публикува. Тюринг на ревизирания доклад съдържа препратка към Църквата "и резултатите и хартия, първият завършен през април 1936 година, бе ревизиран по този начин през август 1936 година и той се появява в печатните през 1937 година.

Един добър игрален, произтичащи от дискусии с Църквата бе, че Тюринг стана да се дипломира в университета в Принстън през 1936. В Принстън, Тюринг се ангажира изследвания при храм "и надзор и Завръща се в Англия през 1938 г., като са били обратно в Англия за лятната ваканция през 1937 г., когато той се срещна първи Wittgenstein. Най-голямата публикация, която води началото си от работата си в Принстън бе системи на основата на Ordinals логика, която бе публикувана през 1939. Нюман пише в:

Тази книга е пълна с интересни предложения и идеи. ... [It] аутизъм много светлина върху Тюринг възгледите на мястото на интуиция в математически доказателства.

Преди тази книга се появява, Тюринг публикува и два други документи на по-обикновените математически теми. Един от тези документи обсъдени методи за сближаване Лъжата групи от крайни групи. Другата книга доказва, резултатите от разширяване на групите, за които първоначално беше доказано от Райнхолд Baer, което води до по-прост и по-единен подход.

Може би най-забележителна характеристика на Тюринг работата на Тюринг машини е, че той е бил описващ една съвременна компютърна технология, преди да е стигнал до точката, където строителството е реалистично предложение. Той е доказал в своята книга, че 1936 универсална машина Тюринг е съществувало:

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

Въпреки, че до една Тюринг "компютър" е лицето, които извършват едно изчисление, ние трябва да виждате в негово описание на универсална машина Тюринг това, което ние днес мислите като компютър с лента на програмата.

Докато в Принстън Тюринг е свирил с идеята за изграждане на един компютър. След обратно в Кеймбридж през 1938 г. той започва да изгражда един аналог механично устройство за разследване на Риман хипотеза, която мнозина считат, днес най-големите нерешени проблеми в математиката. Въпреки това, работата му ще вземат най-скоро за нов аспект той е бил за контакт, веднага след завръщането си, от правителството кодекс и Cypher гимназия които поиска от него да им помогне в работата си за нарушаване на немски Енигма кодове.

След войната е обявена през 1939 г. Тюринг веднага премества да работи на пълен работен ден в Кодекса на правителството и Cypher училище по време на Bletchley парк. Въпреки, че работата, извършена в Bletchley парк бе уредена от официалния Тайни акт, който наскоро стана много по обществени знания. Тюринг на брилянтни идеи за решаването кодекси, както и разработване на компютри за подпомагане пауза тях, може да са записани повече живота на военния персонал, в хода на войната, отколкото всяка друга. Той също беше един щастлив момент за него:

... би happiest от живота си, с пълен обхват на неговото inventiveness, една рутинна лека форма на деня, както и набор от congenial колеги-работници.

Заедно с друг математик РГ Welchman, Тюринг разработи Bombe, машинно-рано на базата на работата с полски математиците, която от края на 1940 бе декодиране на всички съобщения, изпратени от Енигма машини на Луфтвафе. В Енигма машини на германския флот са много по-трудно да се прекъсне, но това е вид предизвикателство, което се ползва Тюринг. До средата на 1941 Тюринг за статистическа подход, заедно с информацията, заловени, са довели до германския флот сигнали се decoded в Bletchley.

От ноември 1942 до март 1943 Тюринг е в Съединените щати, поддържането на връзки над декодиране на въпроси, а също и върху речта тайна система. Промените в начина, по който германците кодирани техните послания са означаваше, че Bletchley загубили способността за декодиране на съобщения. Тюринг не е пряко ангажирани с успешното разрушаване на тези по-сложни кодове, но неговите идеи оказаха от голямо значение в тази работа. Тюринг е възложено OBE през 1945 г. за неговия принос за жизнено войната усилия.

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

Тюринг върнати на Кеймбридж за учебната 1947-48 година, когато интересите му варира в продължение на много теми, далеч от компютри или математика; по-специално е учил неврология и физиологията. Той не забравите за компютри през този период, обаче, и той се пише програмен код за компютри. Той имаше интереси извън академичния свят прекалено, като се вземат атлетика сериозно след края на войната. Той е член на Walton Атлетик Клуб печелившата си 3 мили и 10 мили първенство за рекордно кратко време. Той управлява в ААА Маратон през 1947 г. и е пуснат петата.

До 1948 Нюман беше професор по математика в университета в Манчестър и той се предлагат Тюринг един читателската аудитория там. Тюринг оставка от Националната физическа лаборатория да заемат пост в Манчестър. Нюман пише в тази, в Манчестър:

... произведението е било началото на изграждането на изчислителни машини от ФК Уилямс и T Kilburn. Очакването е, че Тюринг ще доведе математическата страна на работа, и за няколко години той продължи да работи, първо за проектиране на subroutines, от които по-големите програми за такава машина, са построени и след това, тъй като този вид на работа се превръща стандартизирана, по-общи проблеми на числения анализ.

През 1950 г. Тюринг публикува изчислителната техника и разузнаването се има предвид. Тя е друга забележителна работа от негова брилянтно изобретателска ум, който изглеждаше да се предвиди въпроси, които биха възникнали като компютри, разработени. Учи проблеми, които днес лежат в основата на изкуствен интелект. Той бе в тази 1950 книга, че той предложи на Тюринг Тест, който е днес теста хората се прилага в опит да отговори дали компютърът може да бъде умен:

... Той се включи в дискусиите по контрасти и сходства между машини и мозъци. Тюринг мнението, изразено с голяма сила и ум, е, че тя е за тези, които са видели едно unbridgeable разликата между двата да кажа само, когато разликата се.

Тюринг не забравите за въпроси от decidability, която е отправна точка за публикациите си в Бирмингам, математически. Един от основните проблеми в теорията на групата беше презентации на въпроса: даден някаква дума в finitely представени групи, има един алгоритъм за да се реши дали думата е равна на идентичност. Пост бе доказано, че за semigroups такъв алгоритъм не съществува. Тюринг, че на първо, че е доказал един и същ резултат за групи, но само преди да даде семинар за неговото доказателство, той откри грешка. Той бе в състояние да спасяване от мястото му в неправилна доказателство на факта, че е налице cancellative semigroup с неразтворими думата проблем и той се публикува този резултат през 1950. Boone използва идеите от този документ от Тюринг да докаже съществуването на група с неразтворими думата проблем през 1957 г..

Тюринг е избран за научен сътрудник на Кралския общество на Лондон през 1951 г., главно за своята работа по Тюринг през 1936 г. с машини. До 1951 г. е работата по прилагането на математическата теория на биологични форми. През 1952 г. той публикува първата част от своите теоретични проучване на morphogenesis, разработването на модел и форма в живите организми.

Тюринг е бил задържан за нарушаване на устава Британски хомосексуалността през 1952 г., когато той се докладват на полицията информация на хомосексуалните афера. Той е отишло на полицията, защото той е бил заплашен с изнудването. Той бе опитвали като хомосексуалните на 31 март 1952 г., не се предлагат на отбраната, различна от тази, той видял нищо погрешно в своята дейност. Установено, че той е бил даден на алтернативите на лишаването от свобода или естроген инжекции за една година. Той приети на последния и се е върнал към широк спектър от академични наклонности.

Не само той не прес-напред с допълнително изучаване на morphogenesis, но той също работи върху нови идеи в квантовата теория на представителството на елементарните частици от spinors, както и по теория на относителността. Въпреки че той е напълно открит за неговата сексуалност, той трябваше още unhappiness, която той е забранено да говорим за дължими към Официален Тайни акт.

В декодиране на операцията в Bletchley парк се превърна в основа за нови декодиране и разузнаване в GCHQ. С края на Студената война това става важна работа и Тюринг продължи да работи за GCHQ, макар че неговият Манчестър колеги са напълно осъзнават това. След като си убеждение, неговата секретна информация бе оттеглено. - Лошо от това, служителите по сигурността са вече изключително обезпокоен от факта, че някой с пълно познаване на работата, извършена в GCHQ сега е етикетиран за сигурност на риска. Той имаше много чуждестранни колеги, тъй като всяка академична би, но полицията започна да разследва му чуждестранните посетители. Отопление Тюринг, които бяха в Гърция през 1953 г., причинени consternation сред служителите по сигурността.

Тюринг е починал на калиев цианид отравяне при провеждане електролиза експерименти. В цианид бе установено по половин ябълка консумират до него. Една следствието заключи, че той е бил прилаган самостоятелно, но майка му винаги се поддържа, че е било инцидент.

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