Okazuje się, że logik nie musi konstruować nowej maszyny, zawierającej nowe reguły, dla każdego zadania programistycznego. Można zaprojektować jedną maszynę, uniwersalną maszynę Turinga, w ten sposób, iż mając dane właściwe symbole wejściowe na taśmie, potrafi ona wykonywać wszelkie zadania, które może wykonać każda pojedyncza maszyna Turinga. Za taką uniwersalną maszynę Turinga może być uznany komputer cyfrowy. Tę grę wynalazł Turing w 1936 roku, aby dowieść pewnych wyników logiki symbolicznej. Ale dzięki temu pomysłowi doskonale uchwycił teoretyczną strukturę wszelkich komputerów cyfrowych aż do dnia dzisiejszego. Sam Turing używał słowa „maszyna”, aczkolwiek tradycyjnie oznaczało ono urządzenie dostarczające siły do wykonania pracy.