Arytmetyka Algorytmiczna: Różnice pomiędzy wersjami
Z Lem
(Utworzył nową stronę „ Aksjomaty Niektóre fakty Operacje dodawania i mnożenia są definiowane Algorytm Euklidesa * Jego własność stop nie wynika z aksjomatów Peano * Natomiast ...”) |
|||
| Linia 6: | Linia 6: | ||
Operacje dodawania i mnożenia są definiowane | Operacje dodawania i mnożenia są definiowane | ||
| − | Algorytm Euklidesa | + | [[Algorytm Euklidesa]] |
* Jego własność stop nie wynika z aksjomatów Peano | * Jego własność stop nie wynika z aksjomatów Peano | ||
* Natomiast daje się wyprowadzić z aksjomatów algorytmicznej arytmetyki. | * Natomiast daje się wyprowadzić z aksjomatów algorytmicznej arytmetyki. | ||
Wersja z 15:25, 20 lut 2013
Aksjomaty
Niektóre fakty
Operacje dodawania i mnożenia są definiowane
- Jego własność stop nie wynika z aksjomatów Peano
- Natomiast daje się wyprowadzić z aksjomatów algorytmicznej arytmetyki.
