Alan Mathison Turing wurde 1912 in Großbritannien geboren. Im Alter von 24 Jahren stellte der Mathematiker 1936 seine Turing-Maschine vor. Damit bezog sich Turing auf das von David Hilbert 1928 vorgeschlagene Entscheidungsproblem: Dieses Entscheidungsproblem beschreibt die Herausforderung, einen mechanisierten Weg zu finden, um die Wahrheit einer gegebenen logischen Aussage zu bestimmen. Die Turing-Maschine zeigte auf, dass es keinen solchen Algorithmus gibt. Doch solch ein Gerät ist in der Lage, “jedes vorstellbare mathematische Problem zu lösen, sofern dieses auch durch einen Algorithmus gelöst werden kann”.
Somit erschuf Turing mit seiner Maschine lange vor den Computern, wie wir sie heute kennen, ein Modell, das es möglich machte, Computer mathematisch zu betrachten und in Theorien zu integrieren. Heute ist eine Turing-Maschine ein wichtiges Rechnermodell der theoretischen Informatik. Sie modelliert die Arbeitsweise eines Computers auf besonders einfache und mathematisch gut zu analysierende Weise.
Turing schuf mit dieser und späteren Arbeiten einen großen Teil der theoretischen Grundlagen für die moderne Informations- und Computertechnologie. Das ist auch der Grund, warum Turing heute als “Vater der Computerwissenschaft und der künstlichen Intelligenz” gilt.