www.matematikk.org
Trinn 11-13Elever Trinn 11-13Lærer Trinn 11-13Foresatt

Alan Turing

Alan Turing

Alan Turing

FØDT: 1912
DØD: 1954

Alan Turing er mest kjent for sitt arbeid innen matematisk logikk som ble avgjørende for utviklingen av de første datamaskiner.

Babbage hadde mer enn 100 år før Turing lansert ideen om en analytisk maskin, som regnes som den teoretiske forløperen til vår moderne datamaskin.

Alan Turings arbeid innen matematisk logikk gav ham muligheten til å gi en presis matematisk definisjon av Babbages konsept.

Turing er også kjent for sin innsats innen kryptografi. Under andre verdenskrig var han ledende i arbeidet med å knekke kodene til den tyske okkupasjonsmakten.

Turing ble født i London i 1921. I likhet med Babbage fikk han sin utdannelse ved universitetet i Cambridge. Han hadde interesser innenfor flere områder, blant annet kvantemekanikk, sannynlighetsregning og logikk og fikk Smith's Prize i 1936 for arbeid i sannsynlighetsregning.

Turing kjente til arbeidet til Russel og Whitehead i Principia Mathematica og utviklet en interesse for matematikkens logiske grunnlag. Litt tidligere, i 1931 hadde Gödel vist at det logiske fundament man baserer matematikken på, ikke var så solid som Russel, Whitehead og andre hadde forutsatt. Noe forenklet kan man si at Gödel hadde vist at det finnes sanne utsagn om heltall som ikke kan bevises. En annen meget sentral matematiker, Hilbert, formulerte på grunnlag av dette følgende problem: finnes det en metode for å avgjøre om et utsagn kan bevises eller ikke?

Turing viste at en slik metode ikke finnes. I denne prosessen var det viktig å presisere betydning av ordet "metode", og dette ledet til de svært viktige begrepene Turing-maskin og universell Turing-maskin. Konseptet om en Turing-maskin kan betraktes som en formell definisjon av et dataprogram, og en universell Turing-maskin tilsvarer en datamaskin.

Under 2. verdenskrig jobbet Turing med å knekke koder for den britiske etteretningstjenesten, og han var svært aktiv i arbeidet som medførte at meldinger kryptert med Enigma, den tyske kodemaskinen, kunne dekrypteres av engelskmennene.

Etter 2. verdenskrig jobbet Turing blant annet med å bidra til å lage en virkelig datamaskin basert på de teoretiske modellene. Turing var homofil og ble arrestert i 1952 på grunn av sin legning. Han godtok østrogen-behandling, og unslapp dermed fengselsstraff. Han utviklet sterke depresjoner på grunn av behandlingen, og i 1954 begikk han selvmord.

Skrevet av

Aslak Bakke Buan

Institusjon

Universitetet i Oslo

Begrep

  • Algoritme

    Oppskrift. Brukes om metode med mange steg som kan brukes for å løse et bestemt type problem.

    Reglene for de fire regningsartene og for å beregne kvadratroten av et tall er eksempler på vanlige algoritmer.

  • Kryptografi

    Læren om den hemmelige skriften, om hvordan en koder meldinger slik at de ikke kan leses av andre, og om hvordan en kan prøve å avsløre hemmelig skrift.

  • Logikk

    Felt i matematikk og filosofi som studerer prinsippene for sammenhengende og konsekvent tenkning.

  • Sannsynlighetsteori

    Undersøkelser av mulige utfall av gitte begivenheter sammen med deres relative sannsyligheter og forekomster. Det er faktisk betydelig uenighet omkring nøyaktig hva sannsynlighet betyr i praksis. Noen matematikere anser det bare som en komponent i en abstrakt teori, mens andre gir det en tolkning basert på frekvensen av visse utfall.

Omtalt person