Teorema di Goodstein: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Collegamenti esterni: link a documento da scaricare dall'affidabilità incerta |
Annullata la modifica 38836664 di Sandrobt (discussione) |
||
Riga 298:
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
Una ricostruzione (in italiano) della dimostrazione di Goodstein ed una proposta per una rivisitazione della dimostrazione in chiave intuizionistica
* http://sites.google.com/site/albertoconz/Home/MasterThesis.pdf?attredirects=0&d=1
{{Portale|Matematica}}
| |||