Diferencia entre revisiones de «Sucesión de Goodstein»

Para definir lo que en [[matemáticas]] se denomina una '''[[sucesión]] de Goodstein''' debemos definir en primer lugar lo que es un [[operador de salto de base]].

 

 

Comienzan con un número natural de cualquiera de partida que en nuestro caso podría ser 266. Este sería el primer término de la sucesión, que denotaremos <math>G_0(266)=266</math>.El segundo término <math>G_1(266)</math> se obtiene mediante el operador de salto de base <math>B[2]</math> sobre el primer término, y restando uno al resultado. Es decir: en su forma normal de Cantor, sustituimos cada dos por un tres, y al resultado le restamos la unidad. Así habríamos obtenido la sucesión de Goodstein de semilla igual a 266. Para cada entero tendríamos una sucesión de Goodstein diferente.