Abstração de Números - Informatização do conceito de número

Trata-se de um livro sobre informatizac¸a~o do conceito de nu´mero. O computador sempre foi uma ma´quina de ca´lculo aproximado. Para quando o salto para o ca´lculo exato? E´ para responder a esta pergunta que se escreveu este livro. Aceitamos o desafio de construir a Abstrac¸a~o de Nu´mero, e deste modo implementar o ca´lculo exato. Ao longo das pa´ginas deste livro apresenta-se modelo (cap. 2), me´todo (cap. 3) e algoritmo (cap. 4) para atingir esse objetivo. Conve´m esclarecer que por Abstrac¸a~o de Nu´mero entendemos a teoria que permite informatizar o conceito de nu´mero, ou seja, tornar o conceito de nu´mero acessi´vel ao computador. O computador, que no contexto do ca´lculo aproximado, e´ visto como um mastigador de valores de nu´meros, passa a ser, agora no contexto do ca´lculo exato, um manipulador inteligente de estruturas nume´ricas. O ca´lculo exato e´ o ca´lculo inteligente. A` medida que os ca´lculos progridem os nu´meros parecem ser entidades com vida, que se va~o transformando, passando por metamorfoses, ate´ se atingir a forma final. Assim se sente a intelige^ncia dos programas. A concluir o livro generalizamos o estudo feito sobre nu´meros para construir a Abstrac¸a~o de Func¸a~o (func¸a~o real de varia´veis reais). Sabemos que a comunidade cienti´fica olha com muitas reservas para este projeto. Por isso e´ com redobrada alegria que disponibilizamos ao pu´blico em geral o presente trabalho. Sera´ o leitor a dizer se acredita ou na~o na Abstrac¸a~o de Nu´mero como soluc¸a~o para implementar o ca´lculo exato. Aguardamos com grande expectativa conhecer a sua opinia~o.