A máquina de Turing

Conheces a noção matemática que está na base do que é uma máquina programável ou, se preferirmos, de um computador? Vem descobrir a máquina de Turing, uma estrutura matemática simples, representada como um engenho mecânico que escreve e lê símbolos numa fita de dimensão infinita, mas que possui um poder incrível: qualquer programa computável num computador moderno pode ser computado numa máquina de Turing.