Mariangela de Oliveira Gomes Setti - Programa de Pós-Graduação ...

16
CAPÍTULO 2
O Algoritmo – Conceitualização e Evolução Histórica
A primeira vez que um algoritmo foi escrito para um computador foi em 1842, como
mencionado no capítulo anterior, por Ada Byron, para a máquina desenvolvida por Charles
Babbage, porém como Babbage não concluiu sua máquina, este algoritmo nunca foi
implementado. Entretanto, a idéia de algoritmo habitava a consciência dos matemáticos desde
o século XVII, especialmente em Leibniz. Todavia, foi na década de 1930 que essa idéia teve
várias definições lógicas diferentes que originaram a moderna Ciência da Computação, entre
elas, as que foram dadas por Gödel, Church, Post e Turing. Há mais de sessenta anos, Kurt
Gödel, Alonzo Church, Emil Post e Alan Turing transformaram o conceito de algoritmo que
era familiar e intuitivo, mas irremediavelmente obscuro, em um conceito tratável
formalmente.
2.1 – O Advento do Algoritmo e suas Relações com a Matemática
Leibniz formulou há mais de dois séculos o projeto de criação de uma escrita
universal, na qual todas as idéias compostas seriam expressas por meio de sinais
convencionais para idéias simples, de acordo com regras fixas. Um exemplo aperfeiçoado no
século XIX por Peano, é a definição de algo complicado, como a adição, em termos de algo
mais simples como a sucessão. Neste caso, um “objeto” mental foi definido em termos de um
“objeto” mecânico. Pode-se dizer, ainda, que algo infinito foi definido em termos de algo
finito, enfim, algo mais complexo foi definido em termos de algo mais simples.
Regras elaboradas pela mente humana e baseadas em sinais e símbolos foram
retratadas na forma de um algoritmo. Porém, apenas no século XX é que o conceito de
algoritmo foi levado totalmente à consciência.
A especificação de um procedimento de decisão num sistema formal é um exemplo
claro de algoritmo; o cálculo sentencial é um exemplo de sistema formal, e, dessa forma, o
método das tabelas verdade é um exemplo de algoritmo. Muitos sistemas matemáticos são de
natureza mecânica, embora, como qualquer máquina, impregnados com a inteligência de seu
criador.
O primeiro conceito formal que correspondeu à noção de calculabilidade efetiva foi