Posterior:
Aritmética de Peano
Arriba:
Cálculo de predicados
Anterior:
Completitud
Irresolubilidad en la Aritmética
Subsections
Aritmética de Peano
Incompletitud
El teorema de Goodstein
Representación formal en base
Sucesión de Goodstein
Función de Goodstein
Ilustración del Teorema de Goodstein
Algunos valores explícitos de la función
Resolución del sistema de recurrencias
con
La conjetura de Catalan
Motivación
Formulación
Guillermo Morales-Luna
2004-07-27
con 