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.
Nenhum comentário:
Postar um comentário