Máquina universal

A “maquina universal”, como conceito elaborado no campo da lógica matemática, se apresenta como um engenho capaz de “tratar a informação”: transformar, segundo uma lei determinada, uma mensagem (entendida como um conjunto de dados) de entrada em uma mensagem de saída. O computador, seu suporte material, nada mais é do que a ponta, atualmente visível, deste imenso “iceberg”, a insinuante manifestação técnica desta configuração subterrânea. (Pierre Lévy)