www.fmath.info

Ettekanne

Vikipeedia

Edasi saadeti ta Hazlehurst ettevalmistav kool, kus ta tundus olevat "keskmine hea" õpilane enamikel uuritavatel, kuid oli väga sisse koos pärast tema enda ideid. Ta sai huvi male kui selles koolis ja ta ühines ka Väitlusselts. Ta lõpetas oma Üldine sisseastumiseksam aastal 1926 ja seejärel läks Sherborne kooli. Nüüd 1926 oli aasta üldstreigi ja kui streik oli käimas Turing katsetatakse 60 miili kooli oma kodust, mitte liiga keeruline ülesanne Turing, kes hiljem oli saanud trahvi sportlase ligi Olympic standardile. Ta leidis, et see väga raske sobituda, mida oli oodata seda avalikku kooli, kuid tema ema oli nii määratud, et ta peaks olema avalik koolihariduse. Paljud originaal mõtlejad on leidnud tavalise kooli peaaegu arusaamatu protsess ja see näib olevat olnud puhul Turing. Tema geenius sõitis tema enda suunas, mitte neid, mida tema õpetajad.

Ta kritiseeris oma käekiri, võitlesid on inglise ja isegi matemaatika ta oli liiga huvitatud koos oma ideid esitama lahendusi, kasutades meetodeid õpetab oma õpetajatele. Hoolimata tootmise ebatavaline vastuseid, Turing ei võida peaaegu igal võimalikul matemaatika auhinna samal ajal Sherborne. Keemia, teema, mis oli huvitatud teda väga varases eas, tema läbiviidud katsete pärast oma kava, mis ei palun oma õpetajaga. Turing's koolidirektor kirjutas (vt näide):

Kui ta on viibida avaliku kooli, peab ta eesmärk saada haritud. Kui ta on ainus teadus-spetsialist, ta raiskab oma aega Avalik kooli.

See ütleb palju rohkem koolis, et Turingi oli selle pealt kui see umbes Turing ise. Kuid Turing õppinud sügavat matemaatika samas koolis, kuigi tema õpetajad olid ilmselt ei tea uuringuid ta teeb omal. Ta luges Einstein 's Papers suhtelisus ja ta ka lugeda kvantmehaanika on Eddington' s laad füüsilises maailmas.

Sündmus, mis oli oluliselt mõjutada Turing kogu oma elu toimus 1928. Ta moodustas tiheda sõpruse Christopher Morcom, õpilane aastal eespool teda koolis, ja kaks koos töötanud teaduslike ideid. Võib-olla esimest korda Turing oli võimalik leida keegi, kellega ta võis jagada oma mõtteid ja ideid. Kuid Morcom suri veebruar 1930 ja kogemus oli purunemisel üks Turing. Ta oli aimdus on Morcom tema surma väga kiire, et ta oli haigeks ja tundis, et see oli midagi kaugemale teaduse võiks selgitada. Ta kirjutas hiljem (vt näide):

Ei ole raske selgitada neid asju ära - aga ma ei tea!

Vaatamata keerulisele kooliaastatel, Turing sisestatud King's College, Cambridge, 1931 uurida matemaatika. Seda ei saavutata raskusteta. Turing laup stipendiumi uuringud 1929 ja võitis näitus, kuid mitte stipendiumi. Ei ole rahul selle tulemuslikkust, võttis ta eksamite uuesti järgmisel aastal, seekord võitnud stipendiumi. Paljuski Cambridge oli palju lihtsam koht ebatavaline inimestele meeldib Turing kui kool oli. Ta oli nüüd palju rohkem võimalik uurida oma ideid ja ta luges Russell 's Sissejuhatus matemaatiline filosoofia 1933. Umbes samal ajal, kui ta loe von Neumann 's 1932 teksti kvantmehaanika, mille suhtes ta tagasi mitu korda kogu oma elu.

Aastal 1933 nägi algus Turing huvi matemaatilise loogika. Ta luges raamatu Moral Science Club Cambridge'i sama aasta detsembris, mille järgmine minut oli registreeritud (vt näide):

AM Turing lugeda raamat "Matemaatika ja loogika". Ta tegi ettepaneku, et puhtalt logistiliste et matemaatika oli ebapiisav ning et matemaatiliste propositions valdas erinevaid tõlgendusi, mille logistiline oli vaid üks.

Muidugi 1933 aasta oli ka Hitleri tõus Saksamaa ja sõja vastase liikumise Suurbritannias. Turing liitunud sõja vastase liikumist, kuid ta ei suundumus marksism ega patsifism, nagu on juhtunud palju.

Turing lõpetas aastal 1934 siis, kevadel 1935, õppis ta Max Newman 's detailne kursuse aluseid matemaatikas. Selle käigus uuriti Gödel 's puudulikud tulemused ja Hilbert' i küsimusele decidability. Mõnes mõttes "decidability" oli lihtne küsimus, milleks antud matemaatilist propositsiooni võib ühe leida algoritm, mis otsustavad, kui juhtmõtteks oli tõsi vale. Paljude propositions oli lihtne leida sellist algoritmi. Tõsiseid raskusi tekkinud, mis tõendavad, et teatavate ettepanekute selline algoritm olemas. Kui antud algoritmi lahendada probleem oli selge, et see oli tõepoolest algoritm, kuid puudus mõiste algoritm, mis oli piisavalt ranged, et võimaldada ühel tõendama, et ükski olemas. Turing alustas tööd nende ideid.

Turing valiti kolleegid, King's College, Cambridge, 1935 kohta väitekirja kohta Gaussi veafunktsiooni mis osutus põhilisi tulemusi tõenäosus teooria, nimelt Kesk piirata teoreem. Kuigi Kesk piirata lause oli hiljuti avastanud, Turing ei teadnud seda ja avastas selle iseseisvalt. Aastal 1936 Turing oli Smithi Prizeman.

Turing saavutusi Cambridge'i oli arvel oma tööd Tõenäosusteooria. Kuid ta oli töötanud decidability küsimusi, sest käivad Newman 's muidugi. Aastal 1936 ta avaldati arvutatav arvule, taotluse Entscheidungsproblem. See on see paber et Turingi sisse abstraktne masin, nüüd nimega "Turingi masin", mis viiakse ühest riigist teise, kasutades täpselt piiratud eeskirjad ( antud piiratud tabelis) ning sõltuvalt ühe sümboli seda lugeda lindile.

Turingi masin võiks kirjutada sümbol lindi või kustutada sümbol alates lindile. Turing kirjutas:

Mõned sümbolid kirjutatud moodustavad seeriates arvud, mis on koma tegelikku arvu, mis on arvutatud. Teised on lihtsalt töötlemata märgib, et "abistada mälu". See on ainult nende töötlemata märgib, mis tuleb tasuda kustutamist.

Ta määratletud arvutatav number tegelikku arvu, kelle kohta pärast laienemist võiks toodetud Turingi masin alustades tühi kassett. Ta näitas, et on arvutatav, kuid kuna ainult countably palju tegelik arv on arvutatav, kõige tegelikku arvu ei ole arvutatav. Seejärel kirjeldatakse number, mis ei ole arvutatav ja selgitusi, et see tundub paradoksaalne, sest ta näib olevat kirjeldatud piiratud mõttes arv, mida ei saa kirjeldatud piiratud mõttes. Kuid Turing mõista allikas ilmne paradoks. On võimatu otsustada (kasutades teise Turingi masin) kas Turingi masin antud tabeli juhiste väljund lõpmatu jada numbreid.

Kuigi see dokument sisaldab ideid, mis on osutunud äärmiselt oluline, et matemaatika ja infotehnoloogia kunagi, kuna see tundus, avaldab selle Proceedings of London Matemaatika Selts ei osutunud lihtsaks. Põhjus oli selles, Alonzo Church avaldatud Lahenduseta probleem elementaarne arvuteooria in American Journal of Mathematics 1936, mis ka näitab, et otsust ei ole menetlus aritmeetilise. Turing lähenemisviis on väga erinevad, et kiriku kuid Newman oli väita puhul avaldamist Turing paberi enne London Mathematical Society oleks avaldada. Turing läbivaadatud dokument sisaldab viidet Church 'i tulemuste ja paber, esimene valmis aprillis 1936 oli muudetud sel moel august 1936 ja see ilmus trükist 1937.

Hea omadus tagajärjel aruteludes kirik et Turingi sai aspirandina Princetoni Ülikooli 1936. Princetoni, Turing endale teadusuuringute alusel kirik 's järelevalve ja ta naasis Inglismaale ja 1938, millel on tagasi Inglismaal suvepuhkuste aastal 1937, kui ta esimest korda kohtusid Wittgenstein. Suur avaldamine, mis tuli tema töö Princetoni oli Systems loogika põhjal ordinatsioonikordade mis avaldati 1939. Newman kirjutab:

See raamat on täis huvitavaid ettepanekuid ja ideid. ... [See] viskab palju valgust Turing seisukohti koht intuitsiooni matemaatilisi tõendeid.

Enne seda paber tundus, Turing avaldanud veel kaks tööd, mis käsitlesid pigem tavaliste matemaatiliste teemadel. Üks neist tk arutanud meetodeid ühtlustada Lie rühmade poolt piiratud gruppidele. Muu paber tõendab tulemuste laiendamist rühmad, mis on esmakordselt tõestada Reinhold Baer, esitades lihtsamad ja ühtsema lähenemisviisi.

Ehk kõige tähelepanuväärne omadus Turing töö Turingi masinaid oli, et ta kirjeldab kaasaegset arvuti enne tehnoloogia on jõudnud punkti, kus ehitamine on realistlik ettepanek. Ta oli tõendanud oma 1936 raamatus, et universaalne Turingi masin olemas:

... mida võib teha, mida teha tööd igal eriotstarbeline masin, st viia läbi mis tahes tk arvutustehnika, kui lint, millel sobivad "juhised", sisestatakse see.

Kuigi Turing "arvuti" on isik, kes läbi arvutamine, me peame oma kirjeldus universaalne Turingi masin, mida me täna mõtlema nagu arvuti lindi kui programm.

Ehkki Princetoni Turing oli mängitakse idee ehitada arvuti. Kui tagasi Cambridge'i 1938 ta hakkab tugevnema analoog-mehaaniline seade uurida Riemannin hüpotees, mis paljude arvates praegu suurimaks lahendamata probleemi matemaatikas. Samas on tema töö oleks kohe võtta uus aspekt, sest ta oli pöördunud, varsti pärast naasmist, valitsuse seadustiku ja salakiri kool, kes kutsus teda aidata neil tööd rikub saksa Enigma koode.

Kui sõda kuulutati 1939 Turing kohe kolis töötab täistööajaga Valitsuse juures seadustiku ja salakiri kooli Bletchley Park. Kuigi tööd tehakse Bletchley Park oli kaetud Euroopa Liidu Riigisaladuse seaduse, palju on viimasel ajal saanud avalikult teada. Turing on suurepärane ideede lahendamisel koodid ning arendades arvuteid, et aidata murda neid võib olla salvestatud mitu elu sõjaväelased käigus sõda kui teisi. See oli ka hea meelega aega tema jaoks:

... ehk õnnelikum elu, on küllalt ruumi oma leidlikkust, kerge tavapärase kuju päeval ja meelepärane komplekt mehe-töötajatele.

Koos teise matemaatik WG Welchman, Turing arenenud Bombe, masin põhinevad varasematele töödele Poola matemaatikud, mille lõpust 1940 oli dekodeerimine kõik kirjad saadetud Enigma masinate Luftwaffe. Enigma masinate Saksa merevägi oli märksa raskem lõhkuda, kuid seda tüüpi ülesanne, mis Turing nautida. Aasta keskel 1941 Turing's statistilist lähenemist koos pildistatud teavet, tõi kaasa Saksa mereväe signaale on dekodeeritud kell Bletchley.

Alates november 1942 kuni märts 1943 Turing oli USA side üle dekodeerimine küsimusi ning ka kõne hoidmise süsteem. Muutused sakslased kodeeritud oma sõnumeid oli tähendas, et Bletchley kaotanud võime dekodeerida sõnumeid. Turing ei olnud otseselt seotud eduka rikub nende keerulisemate koodidega, kuid tema ideed osutusid suurimaks tähtsust selles töös. Turing anti OBE-orden aastal 1945 tema olulise panuse sõja jõupingutusi.

Lõpus sõja Turing oli kutsutud National Physical Laboratory Londonis töötada arvutiga. Tema raportis ettepaneku Automatic Computing Engine (ACE) esitas märts 1946. Turing projekteerimises oli selle punkti esialgne üksikasjalik konstruktsiooni ja prospekti arvuti tänapäeva mõttes. Suuruse säilitamise ta planeeritud ACE pidasid enamik kes pidas aru nii lootusetult liiga ambitsioonikas ning esines viivitusi projekti heakskiitmist.

Turing tagasi Cambridge jaoks õppeaasta 1947-48, kui tema huve kõikus palju teemasid kaugel arvutite või matemaatika; eriti õppis neuroloogia ja füsioloogia. Ta ei unusta arvutit selle aja jooksul siiski, ja ta kirjutas kood Programmeerimine Arvutid. Tal oli huvi väljastpoolt akadeemilist maailma ka tegevuse alustamisest kergejõustik tõsiselt pärast sõja lõppu. Ta kuulus Walton Athletic Club võitnud oma 3 miil ja 10 miil meistrivõistlustel rekordajaga. Ta jooksis ka AAA Marathon 1947 ja pandi viies.

1948 Newman oli professor matemaatika ülikooli Manchesteris ja ta pakkus Turing lugejaskond olemas. Turing loobunud National Physical Laboratory asuda ametikohale, Manchester. Newman kirjutab, et Manchester:

... töö algab ehitamine andmetöötlus masina FC Williams ja T Kilburn. Ootus oli, et Turingi viiks matemaatiline pool tööd, ning aastate jooksul jätkas ta tööd, esimese projekti kohta Alamfunktsioonid millest suuremate programmide nagu masin on ehitatud ja siis, kui selline töö sai standardiseeritud, üldisemad probleemid Numerical Analysis.

Aastal 1950 Turing avaldas Arvutustehnika ja jälitusteabe silmas pidades. See on veel üks märkimisväärne töö tema briljantselt originaalsed meeles, mis tundus olevat ette küsimusi, mis tekivad arvutid arenenud. Ta õppis probleeme, mis täna on kesksel kohal tehisintellekti. See oli see 1950 paber, et ta pakkus Turingi test, mis on täna veel testi inimeste suhtes, üritades vastata, kas arvuti saab intelligentseid:

... Ta sai kaasatud arutelude kontraste ja sarnasusi masinad ja aju. Turing arvates väljendatud suurt jõudu ja vaimukus, oli see, et oli neid, kes nägid unbridgeable lõhet kahe öelda ainult juhul, kui erinevus näha.

Turing ei unusta küsimustele decidability mis oli lähtepunktiks tema geniaalne matemaatilisi väljaandeid. Üks peamisi probleeme teooria grupp esitlusi oli küsimus: arvestades iga sõna finitely esitatud rühmade puhul on olemas algoritmi otsustada, kas sõna on võrdne identiteeti. Post oli tõestanud, et Semigroups selline algoritm olemas. Turing arvasin esimesel et ta osutus sama tulemuse gruppidele, kuid vahetult enne anda seminari oma tõendid, avastas ta viga. Ta suutis päästa oma vigased tõendid, et seal oli cancellative semigroup koos lahustumatud sõna probleem ning ta avaldas selle tulemusena 1950. Boone kasutada ideid selle raamatu Turing tõestada olemasolu rühma lahustumatud sõna probleem 1957.

Turing valiti Royal Society of London in 1951, peamiselt tööst Turingi masinate 1936. Aasta 1951 oli ta tööd kohaldamise matemaatiline teooria bioloogiliste vormidega. Aastal 1952 avaldas ta esimese osa oma teoreetilist uurimist morphogenesis, arengu muster ja kuju elusorganismides.

Turing arreteeriti rikkumise eest Briti homoseksuaalsuse põhikirja aastal 1952, kui ta teatas, et politsei andmeid homoseksuaalne asi. Ta läks politseisse, sest ta oli ähvardanud väljapressimises. Ta oli proovinud kui homoseksuaalne 31. märtsil 1952, pakkudes ei kaitse peale, et ta nägi midagi valesti oma tegevuse. Süüdi ta anti alternatiive vangla või östrogeeni süsti aastas. Ta võttis viimase ja tagasi paljude akadeemiliste ajaviidet.

Mitte ainult ei ta jätkama edasist uurimist morphogenesis, kuid ta töötanud ka uute ideede Kvantteooria kohta esindatuse elementaarne osakesteks spinors ning relatiivsusteoorias. Kuigi ta oli täiesti lahti saamiseks oma seksuaalsust, ta oli veel õnnetus, mis ta oli keelatud rääkida, kuna Euroopa Liidu Riigisaladuse seaduse.

Dekodeerimise operatsiooni Bletchley Park sai aluseks uuele dekodeerimine ja luure töö GCHQ. Koos külma sõja Sellest sai tähtis töö ja Turingi jätkas tööd GCHQ, kuigi tema Manchester kolleegid olid täiesti teadlikud. Pärast tema veendumust, tema julgeolekukontrolli võeti tagasi. Mis veelgi hullem, turvaülemate oli nüüd väga mures, et keegi täiesti teadlik töö toimub kell GCHQ nüüd märgistatud turvariski. Ta oli paljude välismaa kolleegidega, mis tahes akadeemilise oleks, aga politsei hakkas uurima tema väliskülalised. Puhkus, mida Turingi kulus Kreeka 1953 aastal tekitatud jahmatus seas turvaülema.

Turing suri kaaliumi tsüaniidimürgistuse läbiviimisel elektrolüüsi eksperimente. Tsüaniidi leiti kohta pool söödud õun ta kõrval. Eeluurimine järeldada, et ta oli ise manustada, kuid ema alati öelnud, et see oli õnnetus.

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