Teoremas de Incompletitud de Goedel
Los teoremas de incompletitud de Goedel establecen que cualquier teoría formal consistente capaz de expresar aritmética elemental es incompleta y no puede probar su propia consistencia, lo que establece límites fundamentales al método axiomático.
Definition
El primer teorema de incompletitud establece que cualquier teoría consistente, efectivamente axiomatizada, que interprete un fragmento modesto de la aritmética tiene una oración que ni ella ni su negación pueden probar; el segundo establece que dicha teoría no puede probar una declaración formal que afirme su propia consistencia.
Scope
Este tema cubre la aritmetización de la sintaxis y la numeración de Goedel, el lema diagonal y la construcción de una oración autorreferencial, el primer teorema de incompletitud sobre la existencia de oraciones verdaderas indemostrables, el segundo teorema de incompletitud sobre la indemostrabilidad de la consistencia, y las condiciones y consecuencias estándar como el teorema de Tarski sobre la indefinibilidad de la verdad.
Core questions
- ¿Cómo se codifica la sintaxis de una teoría dentro de la propia aritmética?
- ¿Cómo produce el lema diagonal una oración que afirma su propia indemostrabilidad?
- ¿Por qué una teoría consistente suficientemente fuerte debe ser incompleta?
- ¿Por qué tal teoría no puede probar su propia consistencia?
Key theories
- Lema diagonal
- Para cualquier fórmula con una variable libre, existe una oración que la teoría demuestra ser equivalente a esa fórmula aplicada al propio código de la oración, lo que permite la autorreferencia controlada.
- Primer teorema de incompletitud
- La aplicación del lema diagonal al predicado de demostrabilidad produce una oración que es verdadera exactamente cuando es indemostrable, por lo que una teoría aritmética consistente y efectivamente axiomatizada tiene una oración que no puede probar ni refutar.
- Segundo teorema de incompletitud
- La formalización de la prueba del primer teorema dentro de la teoría muestra que la teoría prueba su propia consistencia solo si es inconsistente, por lo que una teoría consistente no puede establecer su propia consistencia.
Clinical relevance
Los teoremas de incompletitud reconfiguraron los fundamentos de las matemáticas al mostrar que ningún sistema formal consistente puede resolver todas las cuestiones aritméticas o certificar su propia fiabilidad, lo que limita el programa de Hilbert y motiva las medidas de fuerza teórica basadas en ordinales y el estudio de la consistencia relativa.
History
Goedel anunció los teoremas de incompletitud en 1930 y los publicó en 1931, derrocando la expectativa de que la aritmética pudiera ser axiomatizada de manera completa y autocertificable. Rosser fortaleció las hipótesis en 1936, y el teorema contemporáneo de Tarski sobre la indefinibilidad de la verdad proporcionó un resultado limitativo estrechamente relacionado.
Key figures
- Kurt Goedel
- Alfred Tarski
- J. Barkley Rosser
- David Hilbert
Related topics
Seminal works
- smith2013
- godel1931
- boolos2007
Frequently asked questions
- ¿Dicen los teoremas de incompletitud que las matemáticas son inconsistentes?
- No. Afirman que cualquier sistema formal consistente y suficientemente fuerte es incompleto y no puede certificar su propia consistencia. No ponen en duda la verdad de las matemáticas, solo el alcance de cualquier sistema axiomático.
- ¿Significa la incompletitud que algunas verdades son incognoscibles?
- No en un sentido absoluto. Una oración indemostrable en una teoría puede ser demostrable en una más fuerte, por ejemplo, añadiendo una declaración de consistencia o un axioma más fuerte. La incompletitud es una limitación de cada sistema fijo, no una barrera al conocimiento matemático en general.