Arytmetyka Algorytmiczna

Z Lem

Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 15:24, 20 lut 2013

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)

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=288”