Arytmetyka Algorytmiczna

Z Lem
Skocz do: nawigacji, wyszukiwania

Aksjomaty

Niektóre fakty

Operacje dodawania i mnożenia są definiowane

Algorytm Euklidesa

  • Jego własność stop nie wynika z aksjomatów Peano
  • Natomiast daje się wyprowadzić z aksjomatów algorytmicznej arytmetyki.
Źródło „http://lem12.uksw.edu.pl/index.php?title=Arytmetyka_Algorytmiczna&oldid=289”