Av Jonathon Keats

i 1935, alan turing satt ut for å bygge et rykte ved outflanking verdens ledende matematiker. Turing var 22 år gammel, og en ny stipendiat Ved Cambridge. Hans mål, David Hilbert, var æret University Of Gö professor som hadde egenhendig satt forskningsagenda for det 20. århundre matematikk.

Hilbert var ingen match for Den Britiske oppkomlingen. I sin bok Turings Visjon viser Chris Bernhardt hvordan Turing knuste En Av Hilberts store ambisjoner med et mesterlig bevis-i løpet av hvilket han utilsiktet oppfant den moderne datamaskinen.

Tittelen På turing papir, » På Computable Numbers, Med En Søknad Til Entscheidungsproblem «(som betyr «beslutning problem»), er neppe innbydende, og lese det tar avansert opplæring. Dette kan forklare Hvorfor, Da Turings berømmelse eksploderte, mest populære skriving fokuserte på hans krigstidskodebryting – hans etterkrigsskrift om kunstig intelligens-eller hans forfølgelse og påtale for å være homofil og posthum kongelig benådning.

Men Hva Bernhardt bok mangler i drama, det gjør opp for i lucid forklaring. Turings Visjon tillater forsiktige lesere å sette pris på beviset Som gjorde Turings navn og, som en bonus, å forstå grunnleggende om moderne datamaskiner.Entscheidungsproblemet var En del Av Hilberts arbeid for å vise at de grunnleggende aksiomene i matematikk er logisk konsistente. Til dette formål søkte Hilbert en algoritme – en beregningsprosedyre – som ville indikere om en gitt matematisk setning kunne bevises fra disse aksiomene alene. Turing viste avgjørende at det ikke var en slik algoritme.

«Turing beviste at det ikke var noe mekanisk sett med regler for løsninger på alle matematiske problemer»

For å gjøre Det, Forklarer Bernhardt, Turing måtte først etablere en arbeidsdefinisjon for begrepet algoritme – for å definere hva det betyr å beregne. Turing så på menneskelige » datamaskiner – – folk som gjorde beregninger. Oppgaven innebærer å skrive symboler på papir, bemerket han. «Oppførselen til datamaskinen til enhver tid bestemmes av symbolene … han observerer og hans «sinnstilstand».»

Bryte ned tilsynelatende komplekse cogitation i enkle aritmetiske prosedyrer, Turing gjort beregning eksplisitt og eliminert det menneskelige element. «Turings ferske innsikt var å definere algoritmer i form av teoretiske databehandlingsmaskiner,» skriver Bernhardt. «Alt som kan beregnes, kan beregnes av En Turing-maskin.»

derfor var maskinene sentrale I Turings papir. For å vise at det var algoritmer som Turing-maskiner ville kjøre på ubestemt tid og ufattelig, var En måte Å vise Hilbert feil på. Turing beviste «at det var spørsmål som var utenfor algoritmens makt til å svare». Hans triumf var spektakulær og ødeleggende for de som trodde (Som Hilbert gjorde) at alle problemer kunne løses.likevel så avgjørende Som de teoretiske maskinene Var Til Turings bevis, viste De seg å ha enda mer innflytelse i seg selv, og gir en konseptuell modell for moderne datamaskiner. Innflytelsen var direkte, informerte John von Neumanns banebrytende 1945-design for elektroniske datamaskiner, og romstørrelsesmaskiner som anvendte hans arkitektur. Som turings maskiner brukte datamaskinene de og nullene til å kode programmer og data. Dette er fortsatt viktig for høyt nivå språk og nettverk, så i å lære Om Turing maskiner, lesere plukke opp prinsipper for informatikk.

det er også filosofiske forgreninger i dag. Etter å ha basert datamaskiner på menneskelig atferd, bemerket Turing at folk virkelig Er Turing-maskiner. Datamaskiner er våre speil: enten vi undrer eller ryser på DET SISTE AI, ser vi bare på oss selv.

denne artikkelen dukket opp på trykk under overskriften » Er Vi Turing maskiner?»

(*Når du kjøper gjennom lenker på denne siden, kan vi tjene en liten provisjon, men dette spiller ingen rolle i hva vi vurderer eller vår mening om det.)

mer om disse emnene:

• matematikk
• computing
• algoritmer