Até onde sabemos, nenhum ser humano, animal treinado ou fenómeno natural, moderno ou antigo, toma fórmulas matemáticas e equações como input e produz movimentos operados por um torno como saída.
Com todo o conhecimento e insights que acumulámos ao longo dos tempos, conhecemos exatamente uma e apenas uma categoria de coisas capazes de tal comportamento: o tipo de coisa a que nos referimos como uma máquina de Turing. Um dispositivo capaz de aceitar inputs, manter estados, realizar operações nos referidos estados, de acordo com princípios pré-determinados, e produzir outputs.