Arytmetyka Algorytmiczna: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(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

Algorytm Euklidesa

  • Jego własność stop nie wynika z aksjomatów Peano
  • Natomiast daje się wyprowadzić z aksjomatów algorytmicznej arytmetyki.