Siguiente: Formulación Un nivel arriba: La conjetura de Catalan Anterior: La conjetura de Catalan

Motivación

El Teorema de Goodstein proporciona un ejemplo de una función con un muy rápido crecimiento que responde afirmativamente una pregunta. Con ella, encontramos números muy grandes que ``testifican'' la veracidad de algunas proposiciones. Veremos aquí que algunos números muy grandes son límites para buscar candidatos que ``testifiquen'' una proposición. Sin embargo son tan grandes que prácticamente coinciden con ``infinito''.