Sinopse

Trata-se de um livro que une a Teoria da Computação com a Lógica Simbólica. Inicia-se o corpo do texto expondo um novo modelo computacional, composto pelo que o autor chama de algoritmos algébricos. Um algoritmo algébrico computa números reais, ao invés de cadeias. Isso possibilita que importemos para a Teoria da Computação todo o conhecimento adquirido em Álgebra, Cálculo Integral e Diferencial e Matemática Discreta. A vantagem deste modelo sobre os já conhecidos consiste no fato de que a saída de um algoritmo algébrico legítimo pode ser calculada por uma fórmula, que o autor apresenta e demonstra, definida em função da entrada e da descrição da máquina. Além disso, uma máquina de Turing pode ser convertida a um algoritmo algébrico legítimo e vice-versa, como é mostrado no livro. Com isso, mostra-se que, dado um algoritmo qualquer, podemos calcular a sua saída por meio de uma expressão matemática, sem a necessidade de se computar a máquina, com ganhos notáveis em termos de tempo de execução no contexto da análise de complexidade de tempo no pior caso. Esta teoria traz consigo repercussões profundas em Teoria da Complexidade.

Detalhes do produto