https://github.com/pablocerdeira/calculadoradepeano

Código em Python para a realização de operações matemáticas conforme os axiomas de Peano.
https://github.com/pablocerdeira/calculadoradepeano

Last synced: about 1 month ago
JSON representation

Código em Python para a realização de operações matemáticas conforme os axiomas de Peano.

• Host: GitHub
• URL: https://github.com/pablocerdeira/calculadoradepeano
• Owner: pablocerdeira
• Created: 2011-09-04T19:37:34.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2011-09-04T19:54:03.000Z (over 13 years ago)
• Last Synced: 2023-03-12T07:53:23.441Z (almost 2 years ago)
• Language: Python
• Size: 97.7 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.txt

Awesome Lists containing this project

README

        
Código fonte de uma calculadora que realiza operações aritiméticas com base nos axiomas de Peano.

Ou seja, ela não calcula 1 + 2 = 3 como se fossem inteiros, mas sim utiliza os axiomas de Peano para entender que 1 é um sucessor de 0, que 2 é o sucessor do sucessor de 0 e assim realiza a soma localizando o sucessor do sucessor do sucessor de 0, ou seja, 3.

Com isso, essa calculadora pode utilizar qualquer definição de elementos para o conjunto dos naturais. Ela pode somar utilizando 0,1,2,3,…,9, ou a,b,c,…,z, ou os naipes do baralho etc.

O objetivo deste programa é demonstrar a utilização dos axiomas de Peano na prática.