Stilling: Evisdom > folk >

Hvem er Alan Turing?

Alan Turing (1912-1954) var en britisk matematiker, logician og kryptograf av mange ansett for å være far til informatikk. Hans bidrag til å bryte den tyske nazistenes Enigma-koden under andre verdenskrig ble vurdert som viktig for den allierte krigsinnsatsen. Alan Turing formulert flere ideer som nå ligger ved grunnlaget for informatikk og computability teori, for eksempel ideen om en Turingmaskin eller Church-Turing-avhandling .

En Turingmaskin er en enkel matematisk konstruksjon som kan tenkes som en skrivbar tape med uendelig lengde koblet til en mekanisk enhet med lese /skrive-evne. Enheten kan utføre tre handlinger; lese litt av båndet og returnerer resultatet; skrive litt på tape eller slette et forhåndsdefinert litt. Turing's Church-Turing-avhandling, formulert med Alonzo Church, sier at en slik Turingmaskin kan teoretisk beregne noen algoritmen gitt nok tid og lagringsplass. Det sier også at noen praktisk databehandling modellen må være en type Turingmaskin. Forlengelsen av dette, betyr dette at den menneskelige hjerne kan defineres som en Turing-maskin, fordi den behandler opplysninger på den eneste måten at informasjonen kan behandles, ved å lese, skrive og manipulere biter av minnet.

The Church-Turing-avhandling hevder også at algoritmen kan kjøres på alt som kvalifiserer som en Turing-maskin. Turing hjalp formulere den opprinnelige definisjonen av en algoritme, som er omtrent som følger: 1) en algoritme vil bestå av et avgrenset sett med presise instruksjoner for å bli henrettet, 2) være Computable et endelig antall skritt (manglende evne til et program for å fastslå hvorvidt det kan bli henrettet i et endelig antall skritt kalles "å stanse problemet"); 3) være Computable i prinsippet bare med en penn, papir og uendelig tid, 4) krever ingen bakgrunnsinformasjon å utføre, at er, bli selvforsynt.

Alan Turing var utdannet ved Cambridge og Princeton hele 30s. I 1936 Turing publisert en svært innflytelsesrik papir, På Computable tall, med en søknad til Entscheidungsproblem , svarer et åpent spørsmål som stilles av Kurt Goedel i 1931, som viste at det ikke er algoritmisk måten å avgjøre om en gitt første orden uttalelse i symbolsk logikk er universelt gyldig. I 1938 fikk Alan Turing sin doktorgrad fra Princeton under Alonzo Church.

Alan Turing tilbrakte sine etterkrigsårene arbeide med noen av de første reprogrammable digitale datamaskiner, produserer en av de første tegningene i 1946. Han tok også opp problemet med kunstig intelligens, formulere Turing Test , en test for å avgjøre hvorvidt en maskin fortjener å bli kalt bevisst og intelligent. I Turing Test, til et menneske typer ord i et tastatur kommunisere med to skjulte personer, en et faktisk menneske, den andre en AI. Hvis mennesket ikke kan skille mellom hvilken communicant er menneskelig, og som er AI, AI sies å ha bestått Turing Test. Noen futurists, som for eksempel National Medal of Technology vinneren Ray Kurzweil, har antydet at vi vil ha en Turing Test-passing datamaskinen før 2030.

Alan Turing døde i 1954, på grunn av en cyanid-laced eple. Hans død er sagt å være et selvmord, et resultat av å bli straffeforfulgt for homofili og bli tvunget til å ta hormoner av regjeringen.

----------------------------------
Forholde Artikkelen:
----------------------------------