19 avril 2008

Goodstein contre l'Hydre

Précédemment sur ce blog :    La suite de Goodstein (de graine 6), qui commence comme ça : 6, 29, 257, 3125, 46655, 98039, 187243, ... Mais comment est définie cette suite ?  On part d'un nombre [...] qui sera le premier terme de la suite. [...] On le décompose en base 2 itérée [...] On remplace ensuite tous les 2 par des 3. [...]On soustrait ensuite 1, et on obtient le deuxième terme de la suite. Pour obtenir le suivant, on décomposera ce nombre en base 3 itérée, et on remplacera les 3 par des 4, et ainsi de... [Lire la suite]