Teorema di Goodstein: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Annullata la modifica 38845125 di Avc81 (discussione) vedi discussione
→‎Collegamenti esterni: -link a tesi di laurea (e non funzionante) + wolfram, sistemo altro CE
Riga 293:
 
==Collegamenti esterni==
*{{MathWorld|GoodsteinSequence}}
Alcune tracce della dimostrazione dell'indipendenza del teorema di Goodstein dall'aritmetica di Peano si possono trovare qui:
Una*{{en}} [http://www.cwi.nl/~tromp/pearls.html#goodstein Sito] contenente una definizione di sequenze di Goodstein nei linguaggi di programmazione Ruby e Haskell ed un grafico su larga scala si possono trovare qui:
* http://www.u.arizona.edu/~miller/thesis/node11.html
 
Una definizione di sequenze di Goodstein nei linguaggi di programmazione Ruby e Haskell ed un grafico su larga scala si possono trovare qui:
* http://www.cwi.nl/~tromp/pearls.html#goodstein
 
{{Portale|Matematica}}