Teorema de Goodstein
Goodstein's theorem
- Fecha
- 1944 · fiabilidad alta
- Lugar
- Reading, Inglaterra, Reino Unido
- Autoría
- Reuben Goodstein
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema de teoría de números que afirma que toda secuencia de Goodstein termina siempre en cero, demostrado por Reuben Goodstein y célebre por ser indemostrable dentro de la aritmética de Peano.
A qué dio paso
- Prueba de Kirby y Paris (1982) de su independencia de la aritmética de Peano
- Ejemplo destacado de enunciado verdadero pero indemostrable en sistemas formales
- Aportaciones a la lógica matemática y la teoría de la demostración
- Uso didáctico como ejemplo de los límites de la aritmética de Peano