Alan Turing

Alan Mathison Turing (Londen, 23 juni 1912 – Wilmslow, 7 juni 1954) was een wiskundige, computerpionier en informaticus, mathematisch bioloog en logicus uit het Verenigd Koninkrijk. Hij was zeer invloedrijk in de ontwikkeling van de theoretische computerwetenschap, door de concepten van algoritme en berekenbaarheid te formaliseren met de door hem ontwikkelde turingmachine, waardoor hij kan worden beschouwd als een pionier van de moderne computer.

Leven

Jeugd en studie

Alan is in Maida Vale, in Londen, geboren. Hij was het tweede kind van Julius Mathison Turing en Ethel Sara Stoney en had één oudere broer: John Turing. Julius werkte voor de Indian Civil Service, die hem in Brits-Indië plaatste. Daar ontmoette hij Ethel, met wie hij later in het huwelijk trad. Door de overzeese tewerkstelling van hun vader groeiden Alan en John op in verschillende pleeghuizen. In die pleeghuizen werden originaliteit, wetenschap en expressie ontmoedigd. Desondanks las Turing in zijn jeugd het boek Natural Wonders Every Child Should Know, waarover hij later zei dat het een grote invloed op hem had gehad.

Turing studeerde vanaf 1931 wiskunde aan de Universiteit van Cambridge. Hij kwam terecht in een wereld van deïsme en intellectuele uitdagingen. In 1935 maakte hij kennis met het zogeheten Entscheidungsproblem en publiceerde hij zijn artikel On Computable Numbers, with an Application to the Entscheidungsproblem. Dit beslissingsprobleem laat zich als volgt omschrijven: "bestaat er een algoritme waarmee bewezen kan worden of een wiskundige bewering waar is of niet?" (is het antwoord op een logische vraag berekenbaar?). In 1936 kwamen Turing en, onafhankelijk van hem, ook Alonzo Church, tot de conclusie dat het algemene antwoord 'nee' luidt onder bepaalde voorwaarden: de Church-Turing-hypothese.