Abstração de Número: Informatização do conceito de número
Trata-se de um livro sobre informatização do conceito de número. O computador sempre foi uma máquina de cálculo aproximado. Para quando o salto para o cálculo exato? É para responder a esta pergunta que se escreveu este livro. Aceitamos o desafio de construir a Abstração de Número, e deste modo implementar o cálculo exato. Ao longo das páginas deste livro apresenta-se modelo (cap. 2), método (cap. 3) e algoritmo (cap. 4) para atingir esse objetivo. Convém esclarecer que por Abstração de Número entendemos a teoria que permite informatizar o conceito de número, ou seja, tornar o conceito de número acessível ao computador. O computador, que no contexto do cálculo aproximado, é visto como um mastigador de valores de números, passa a ser, agora no contexto do cálculo exato, um manipulador inteligente de estruturas numéricas. O cálculo exato é o cálculo inteligente. À medida que os cálculos progridem os números parecem ser entidades com vida, que se vão transformando, passando por metamorfoses, até se atingir a forma final. Assim se sente a inteligência dos programas. A concluir o livro generalizamos o estudo feito sobre números para construir a Abstração de Função (função real de variáveis reais). Sabemos que a comunidade científica olha com muitas reservas para este projeto. Por isso é com redobrada alegria que disponibilizamos ao público em geral o presente trabalho. Será o leitor a dizer se acredita ou não na Abstração de Número como solução para implementar o cálculo exato. Aguardamos com grande expectativa conhecer a sua opinião.
