Alan Turing

Alan Mathison Turing, OBE, var en matematiker, logiker, datalog, kryptograf og britisk filosof.

Det betragtes som en af ​​fædrene til datalogi bliver forløberen for moderne computing. Han forudsat en indflydelsesrig formalisering af begreberne algoritme og beregning: Turing-maskine. Han formulerede sin egen version af den bredt accepterede i dag Kirke-Turing tese.

Under Anden Verdenskrig, arbejdede han i decifrere nazistiske koder, især dem af Enigma maskinen og for en tid var direktør for Naval Enigma af Bletchley Park afsnit. Efter krigen tegnede han en af ​​de første programmerbare digitale elektroniske computere på National Physical Laboratory i England og snart efter byggede en anden af ​​de første maskiner på universitetet i Manchester.

Blandt mange andre ting, det også bidrog på en bestemt måde og endda provokerende til gåden om maskiner kan tænke, dvs. kunstig intelligens.

Turing karriere sluttede brat efter at være blevet retsforfulgt for at være homoseksuel. Turing begik selvmord to år efter hans overbevisning.

Den December 24, 2013, Dronning Elizabeth II af England udsendte edikt blev formelt frikendt matematikeren, aflyses alle anklager mod ham.

Biografi

Turing blev undfanget i Chatrapur. Hans far Julius Mathison Turing var medlem af kroppen af ​​britiske embedsmænd i Indien. Julius og Ethel kone ville deres søn Alan blev født i England og vendte tilbage til Paddington, hvor endelig blev født.

Hans barndom

I løbet af sin barndom hans forældre hele tiden rejser mellem Storbritannien og Indien som hans far havde stadig at dække sin officielle holdning i Indien, så hendes to børn blev passet af engelske venner af sine forældre for at undgå fare for dit helbred i den britiske koloni.

Turing allerede gav prøver fra en meget tidlig alder wit senere vise fremtrædende plads. Det siges, at han lærte at læse af sig selv i tre uger, og at der fra starten viste stor interesse for tal og gåder. Hans forældre indskrevet ham i St. Michael skole, da han var seks. Hans lærer hurtigt indså geni Turing, som det skete for hans senere professorer.

Undersøgelser

I 1926, på fjorten, han trådte Sherborne kostskole i Dorset. Hans første dag faldt sammen med en generalstrejke i England, men hans vilje til at deltage i klassen på den første dag var så stor, at turnerede solo med sin cykel over 60 miles, som adskilte Southampton af sin skole, overnatning i en kro. En sådan præstation blev indsamlet i den lokale presse.

Håb og ambitioner Turing i skolen blev plantet af det tætte venskab udviklede han med en lidt større partner, Christopher Morcom, som var Turing første kærlighed. Morcom døde pludseligt den 13. februar 1930 blot et par uger efter hans sidste sæson i Sherborne, fra komplikationer af kvægtuberkulose indgået efter at have drukket mælk fra en inficeret ko. Turing religiøse tro blev knust, og blev en ateist. Han vedtog den overbevisning, at alle fænomener, herunder arbejdet i den menneskelige hjerne, skal være materialistisk. Men han fortsatte med at tro på overlevelsen af ​​ånden efter døden.

Turing naturlige tilbøjelighed til matematik og naturvidenskab ikke smede respekten for hans lærere på Sherborne, hvis begrebet uddannelse gøres mere vægt på klassikerne. Men på trods af dette, Turing fortsatte viser en enestående evne til studierne virkelig kunne lide, og kom til at løse meget avancerede problemer i 1927 uden at have selv studeret elementære calculus.

I 1928 på seksten, Turing opdagede værker af Albert Einstein og kunne ikke kun forstå, men også udledes kritik af Einstein til Newtons love for at læse en tekst, hvor de ikke var eksplicit. I løbet af sine skoleår, Turing var en ung mand, hvis optimisme og ambitioner blev yderligere forværret på grund af en stor del af deres intense union med sin ven Christopher Morcom, hvis død, stadig ung, ville påvirke Turing dybt.

Universitetet og dets undersøgelser af beregnelighed

På grund af deres manglende vilje til at kæmpe med samme intensitet i studiet af klassikerne inden for videnskab og matematik, Turing suspenderede deres afsluttende eksamener flere gange og havde at komme ind på universitetet skolevalg sekund, Kongens College, University of Cambridge, snarere end i, hvad der var hans første valg, Trinity. Han modtog lære Godfrey Harold Hardy, en matematiker der holdt Sadleirian respekteret professor ved Cambridge og blev senere ansvarlig for et center for studier og matematiske undersøgelser fra 1931 til 1934. I 1935 blev Turing udnævnt til professor på Kings College.

Løsning på problemet med afgørelsen

Det Entscheidungsproblem, som kan oversættes som afgørelsen problem var en udfordring i symbolsk logik for at finde en generel algoritme til at afgøre, om en formel for beregning af den første ordre er et teorem. I 1936, uafhængigt, Alonzo Church og Alan Turing viste både, at det er umuligt at skrive en sådan algoritme. Derfor er det også umuligt at afgøre med en generel algoritme, hvis visse konkrete punktum aritmetiske er sande eller falske.

Kirke-Turing tese

Kirken-Turing tese formuleret hypotetisk ækvivalens mellem begreberne beregnelige funktion og Turing-maskine, udtrykt i daglig tale, der ville blive: "Hver algoritme svarer til en Turing-maskine." Det er ikke i sig selv en matematisk teorem er et udsagn formelt ubevislige, hypotese, har imidlertid en næsten universel accept.

Kirken-Turing-tese er, at enhver eksisterende computer model har de samme algoritmiske evner, eller en delmængde af som er en Turing-maskine.

Den Turing-maskine

I sin skelsættende undersøgelse "beregnelige tal med en ansøgning om at Entscheidungsproblem" Turing omformuleret resultaterne af Kurt Gödel i 1931 om grænserne for provability og computere, der erstatter det universelle formsprog beskrevet af Gödel grunden til i dag er kendt som en Turing-maskine, en formel og simpelt udstyr.

Turing viste, at maskinen var i stand til at gennemføre et matematisk problem, som kan være repræsenteret af en algoritme. Turing-maskiner er stadig den centrale genstand for undersøgelse i teorien om beregning. Han kom til at bevise, at der ikke var nogen løsning på problemet med beslutningen, Entscheidungsproblem, viser først standse problem for Turing-maskiner er uløselige: det er ikke muligt at afgøre, algoritmisk om en given Turing-maskine vil komme til et stop eller ej. Selvom demonstrationen efter demonstrationen tilsvarende Alonzo Church offentliggjort vedrørende dens lambda kalkyle, Turing undersøgelse er langt mere tilgængelig og intuitiv. Han pioner også med sit begreb om "universel maskine", med tanken om, at en sådan maskine kunne udføre de samme opgaver, som enhver anden maskine. Sin undersøgelse introducerer også begrebet definerbare numre.

Oracle maskiner

Det meste af 1937 blev brugt i 1938 og Princeton University, studere under ledelse af Alonzo Church. I 1938 tjente han en ph.d. på Princeton; i sin tale, han indførte begrebet hypercomputation, som udvidede Turing-maskiner med maskiner, kaldet orakel, som tillod studiet af de problemer, som der ikke er nogen algoritmisk løsning.

Efter hjemkomsten til Cambridge i 1939, han deltog foredrag ved Ludwig Wittgenstein om grundlaget for matematik. Både diskuteret og opretholdt en voldsom uenighed, da Turing forsvarede den matematiske formalisme og Wittgenstein kritiserede, at matematik blev overvurderet, og opdage ikke nogen absolut sandhed.

Kryptoanalyse

Under Anden Verdenskrig var en af ​​de vigtigste arkitekter af arbejdet i Bletchley Park at dechifrere de nazistiske hemmelige koder. Math indsigtsfulde observationer bidrog til at bryde koderne for Enigma Machine og telexer FISH encodere. Hans undersøgelser af fisk systemet ville hjælpe den videre udvikling af den første programmerbare computer digital elektronik kaldet Colossus, som blev designet af Max Newman og hans team, og bygget på Research Station post Dollis Hill af et team ledet af Thomas Blomster i 1943 . Denne computer blev brugt til at dechifrere de fisk koder.

For at bryde koderne for Enigma-maskine for at give de allierede at forudse angreb og nazistiske militære bevægelser, designede han Turing bombe, en elektromekanisk maskine ved navn i erkendelse af kryptologiczna pumpe designet af de polakker, der bruges til at fjerne en masse enigma centrale kandidater. For hver mulig kombination elektrisk det var at gennemføre en kæde af logiske slutninger. Det var muligt at opdage, når en selvmodsigelse fandt sted, og kassér kombination. Turing bombe, med en tilføjet ekstraudstyr der foreslog matematikeren Gordon Welchman, var det primære værktøj, der bruges af de allierede kryptoanalytikere at læse Enigma transmissioner.

Arbejde bryde koder Turing har været hemmelig indtil 1970'erne; selv hans nærmeste venner kom til at være tilfredse.

Undersøgelser af de første computere og Turing-test

Fra 1945 til 1948 Turing boede i Richmond, London, hvor han arbejdede i NPL National Physical Laboratory i udformningen af ​​ACE. I 1946 præsenterede han en undersøgelse, der blev den første detaljerede udformning af en automatisk computer. Det første udkast til rapport om EDVAC af Von Neumann var før Turing, men meget mindre detaljeret. Selvom ACE var muligt design, hemmeligholdelse, der herskede under krigen ført til forsinkelser i at starte projektet, så Turing var skuffet. I 1947 tog han et sabbatår i Cambridge, hvor produceret frø på kunstig intelligens, der ikke var offentliggjort i hans levetid. Mens i Cambridge Pilot ACE det blev bygget på trods af hans fravær. ACE kørte sit første computerprogram maj 1950. Selv om den fulde version af ACE Turing aldrig blev bygget, et stort antal computere rundt om i verden skyldes i høj grad det.

I midten af ​​1948 blev han udnævnt til vicedirektør i computerrummet ved University of Manchester og arbejdede i softwaren på en af ​​de første rigtige computer, Manchester Mark I. I denne fase også indset mere abstrakte studier og i sin artikel "maskiner Computer Intelligence "Turing behandlet problemet med kunstig intelligens og foreslog et eksperiment nu kendt som Turing-test, har til formål at definere en standard test, som en maskine kunne klassificeres som" følsomme "eller" sansende ". I papiret, Turing foreslog, at i stedet for at bygge et program til at simulere den voksne sind, ville det være bedre at fremstille en enklere en til at simulere sindet af et barn, og derefter sende det til uddannelse. En omvendt form af Turing test er meget udbredt i Internet, CAPTCHA test er at bestemme, om en bruger er et menneske eller en computer.

Første computer skak-program

Mellem 1948 og 1950 sammen med en tidligere kollega, GD Champernowne, begyndte at skrive en skak program til en computer, der endnu ikke eksisterer. I 1952 forsøgte han at gennemføre i Ferranti Mark 1, men mangler computerkraft var ikke i stand til at køre programmet. I stedet Turing spillet et spil, hvor han simulerede computeren, tager omkring en time og en halv til at foretage et træk. Et af punkterne kom, der skal registreres; programmet tabte til Turing kollega Alick Glennie. Hans test var signifikant og karakteristisk provokerende bidrag til at starte en diskussion om kunstig intelligens, der fortsætter i dag.

Undersøgelser Kybernetik

Han arbejdede med Norbert Wiener i udviklingen af ​​kybernetik. Denne fagområde er genereret fra efterspørgslen kontrolsystemer, der kræves den gradvise udvikling af produktionsteknikker fra det tyvende århundrede. Cyber ​​til formål at etablere et kommunikationssystem mellem menneske og maskine som en grundlæggende forudsætning for at håndtere kontrolsystemer. Deres studier uddybet i dette forhold ved at etablere interface koncept og spørgsmålstegn grænserne for simulering af menneskelig ræsonnement.

Undersøgelser om mønsterdannelse og matematisk biologi

Turing arbejdede fra 1952 til sin død i 1954 om matematisk biologi, specielt morfogenese. Han offentliggjort et dokument om dette emne med titlen "Fundamentals of Chemical morfogenese" i 1952. Hans hovedinteresse var forståelse Fibonacci bladstilling, dvs. eksistensen af ​​Fibonacci tal i plante strukturer. Han brugte reaktion diffusionsligninger, der i øjeblikket afgørende på mønsterdannelse. Hans senere værker blev ikke offentliggjort før 1992 i bogen Samlede Værker af AM Turing.

I 2014 Britiske forskere har vist, at den kemiske morfogenese effektivt kan forklare, hvordan celler, der er identiske kan variere.

Behandling af sin homoseksualitet og død Turing

Turing karriere blev forkortet, da han blev retsforfulgt for hans homoseksualitet. I 1952 Arnold Murray, den elsker af Turing, hjalp en medskyldig i Turing hus for at stjæle. Turing gik til politiet for at anmelde forbrydelsen. Under politiets efterforskning, Turing erkendte sin homoseksualitet, så de imputerede anklager om "grov uanstændighed og seksuel perversion", det samme som Oscar Wilde mere end 50 år tidligere.

Overbevist om, at han var nødt til at undskylde, han ikke forsvare anklagerne og blev dømt. Ifølge hans meget omtalte retssag, fik han mulighed for at gå i fængsel eller at undergå kemisk kastration af en hormonel behandling af nedsat libido. Endelig valgte han østrogen injektioner, som varede et år, og de havde vigtige fysiske ændringer, såsom fremkomsten af ​​bryster eller en betydelig forøgelse i vægt, der førte ham til at lide af erektil dysfunktion. To år efter retssagen, i 1954, Turing døde af at sluge en cyanid-forurenet æble i en kontekst, der angiver en mulig selvmord.

I et brev denne gang hans ven Norman Routledge, Turing skrev i en falsk syllogisme af refleksion, der forbinder sociale afvisning, der forårsager homoseksualitet med den intellektuelle udfordring demonstrere evne til intelligens i computere. Især blev han bekymret for, at angreb på hans person kunne formørke deres tanker om kunstig intelligens:

To år efter retssagen, i 1954, han døde af cyanidforgiftning, tilsyneladende efter at have spist en forgiftet æble, der ikke fuldstændig forbrugt. De fleste tror, ​​at hans død var forsætlig og officielt blev betragtet som en selvmord. Men hans mor forsøgte at benægte årsagen til hans død, tillægge det til en utilsigtet indtagelse forårsaget af mangel på sikkerhedsforanstaltninger i lagre Turing laboratoriekemikalier. De sidste år af sit liv var bitter og reserveret. Uoplyste Denne død har givet anledning til forskellige antagelser, herunder mord.

Den September 10, 2009 premierminister i Det Forenede Kongerige, Gordon Brown, udsendte en erklæring om hans undskyldning på vegne af sin regering for hans behandling Alan Turing i sine sidste leveår. Denne erklæring var resultatet af den offentlige mobilisering beder regeringen til at undskylde officielt for forfølgelse af Alan Turing. Men i 2012 den britiske regering nægtet mildhed Cameron videnskabelige begrundelse, at homoseksualitet derefter blev betragtet som en strafbar handling. Endelig den December 24, 2013 modtog han benådning af al skyld, ved kendelse af Dronning Elizabeth II.

Posthum anerkendelse

Den 23 Juni, 2001 en statue af Turing i Manchester blev indviet. Det er i Sackville Park, mellem opbygningen af ​​universitetet i Manchester den Whitworth Street og Gay Village Canal Street. Faldt sammen med 50-årsdagen for hans død blev en mindeplade afsløret på sit tidligere hjem, Hollymeade i Wilmslow den 7. juni 2004.

Den Association for Computing Machinery s Turing Award gives hvert år til fremragende enkeltpersoner for deres teknikker til en verden af ​​computing bidrag. Denne pris er bredt anerkendt som svarende til Nobelprisen i computing verden.

Den Alan Turing Instituttet blev indviet af UMIST og University of Manchester i sommeren 2004.

Den 5 JUNI 2004 en mindehøjtidelighed i liv og arbejde i Turing i University of Manchester, arrangeret af "British Logic kollokvium" og "British Society for History of Mathematics" blev afholdt.

Den 28 oktober 2004 en bronzestatue af Alan Turing modelleret af John W. Mills ved University of Surrey blev opdaget. Statuen fejrer 50-året for Turing død. Den repræsenterer Turing transporterer hans bøger gennem campus.

Den 23 Jun, 2012, den dag, hvor den fødselsdato Turing Google doodles præsenteret i sin sædvanlige lille Turing-maskine i stand til at sammenligne to strenge af binære tegn mindes.

Turing i film

  • Britiske telefilm Breaking koden er baseret på Turing liv. Denne film er en tilpasning af den enslydende spil af Hugh Whitemore, udgivet i 1986.
  • Den Imitation Spillet fortæller historien om matematiker Alan Turing og hans afgørende indflydelse på udviklingen af ​​Anden Verdenskrig. Det forklarer, hvordan det lykkedes at dechifrere de hemmelige koder af den komplekse maskine Enigma at nazisterne bruges til at udveksle beskeder.

Turing i litteraturen

  • Turing er en af ​​figurerne i den del af Anden Verdenskrig Criptonomicón, Neal Stephenson.
  • Stykket Breaking kodeksen af ​​Hugh Whitemore, om liv og død Turing.
  • I en roman af John L. Casti titlen Cambridge kvintetten tilhører genren science fiction, en af ​​de centrale figurer er Alan Turing.
  • Oracle science fiction historie om Greg Egan, spilles af en alter ego Turing i en parallel tid linje og med et andet navn.
  • I science fiction-roman 2001 Arthur C. Clarke, konstante referencer til Turing-maskine og dens test i tilfælde af HAL er lavet.
  • I romanen af ​​Edmundo Paz Soldan titlen Delirium Turing, er et af de tegn, inspireret af Turing og en anden kaldenavn de udtrykte det.
  • I sci-fi-roman Neuromancer, William Gibson, nævnes Turing Politi, der overvåger udviklingen af ​​kunstig intelligens i cyberspace.
  • I romanen Shop selvmord, Jean Teule, en af ​​sønnerne af familien Tuvache navngivne Alan af Alan Turing.

Turing i musik

  • Den musikalske duo Matmos offentliggjort i 2006, en tre-sang EP opfordrede til Alan Turing. I en af ​​sine undersåtter, er en af ​​de oprindelige Enigma maskiner i stikprøven.
  • Den Hidrogenesse koncernen offentliggjorde i 2012 sit album lidt tvivlsomt. Betragtning til Alan Turing, som også er dedikeret til matematiker.
Forrige artikel Alex Inglés
Næste artikel Ajugoideae