Teorema di Goodstein: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m ritocco |
|||
Riga 7:
Definiamo innanzitutto una speciale notazione numerica.
Dato un [[numero naturale]] <math>n</math> chiamiamo ''notazione ereditaria in base n'' di un numero <math>a</math> l'espressione costruita mediante la seguente procedura:
* Scriviamo <math>a</math> in [[base numerica|base]] <math>n</math>, ottenendo un'espressione del tipo:
:<math> a_k n^k + a_{k-1} n^{k-1} + \cdots + a_0 </math>
dove tutti gli <math>a_i</math> sono compresi tra <math>0</math> e <math>n-1</math>.
| |||