Siguiente:
Aritmética de Peano
Un nivel arriba:
Irresolubilidad
Anterior:
Problema de intersección libre
Irresolubilidad en la Aritmética
Aritmética de Peano
Demostrabilidad
Interpretaciones
Incompletitud
El teorema de Goodstein
Representación formal en base
m
Sucesión de Goodstein
Ilustración del Teorema de Goodstein
Algunos valores explícitos de la función
La conjetura de Catalan
Motivación
Formulación
Guillermo Morales-Luna
2000-07-10
