domingo, 31 de julho de 2016

A new look at Hindu Arabic numbers and their arithmetic

      Números indo-arábicos revisitados.  Novos algorítmos para  a soma e para a multiplicação de números (categoria Num, constituída por números representados por algarismos indo-arábicos). Neste contexto, plenamente constructivo, Num "extende" Nat, a categoria dos números naturais, que são constituídos de multi-conjuntos (por exemplo, 5 representa [/ / / / /], sendo que o simbolo '/' pode ser substituido por qualquer outro símbolo simples e fácil de escrever). Todo elemento de Nat pode ser representado por um elemento de Num, porém nem todo elemento de Num pode ser representado por um elemento de Nat.