Ve své práci navrhl matematik abstraktní stroj označený jako Turingův počítač. Ten měl mít schopnost odpovědět na jakoukoliv logickou otázku.
K výpočtu používá konečnou řadu tabulek instrukcí a schopností zapisovat a mazat určité symboly na a z nekonečné pásky. Symboly představovala posloupnost znaků jako dekadické vyjádření reálných čísel.
Přístroj se pak rozhoduje na základě posloupností výpočtů algoritmů zapisovaných jako základní operace právě na zmíněnou pásku. Byly tak dány základy počítačové vědy.
Užitečné odkazy:
Stránky věnované Alanu Turingovi
Článek On Computable Numbers...
Simulátor Turingova stroje