Alan Turing Definieert de universele machine

Alan Turing was een Brits wiskundige en informaticus. Hij is bedenker van de Turing-test, de Turingmachine en de Church-Turing-hypothese. De Turing Award, de hoogste onderscheiding in de informatica, is naar hem vernoemt.

Zijn werk op het gebied van berekenbaarheid en het formuleren van de Turing test, de test waarmee kan worden ‘getest’ of een machine intelligent is. Het werk wordt daarom ook wel gezien als een begin in het vakgebied kunstmatige intelligentie.

Alan Turing’s artikel On Computable Numbers with an Application to the Entscheidungs-problem verscheen op 12 november 1937. Dit was enigszins gelijktijdig met Konrad Zuse’s werk op de eerste van de Z-machines in Duitsland, John Vincent Atanasoff’s werk op de ABC, George Stibitz’s werk op de Bell Telephony relaismachine en Howard Aiken’s werk op de automatische sequentiegestuurde rekenmachine.

Deze abstracte machine, later omgedoopt tot de Turing Machine, leverde de fundamentele concepten van computers die de andere uitvinders onafhankelijk van elkaar zouden realiseren. Zo verstrekte Turing de abstractie die de basistheorie van berekenbaarheid voor verscheidene decennia zou vormen, terwijl anderen de pragmatische middelen van berekening verstrekten.