From Wikipedia, the free encyclopedia
Os dous Teoremas da incompletude foron demostrados por Kurt Gödel en 1931.
![]() | Este artigo precisa de máis fontes ou referencias que aparezan nunha publicación acreditada que poidan verificar o seu contido, como libros ou outras publicacións especializadas no tema. Por favor, axude mellorando este artigo. |
O primeiro teorema da incompletitude, un dos mais loubados resultados da lóxica matemática, afirma dunha forma simplificada:
Dun xeito mais formal, Gödel postulouno inicialmente como:
Aquí, "teoría" significa un conxunto de afirmacións pechadas baixo unhas certas regras de inferencia lóxica. A teoría é consistente se non contén contradicións. Omega-consistente é un termo técnico, mais estrito do que "consistente" a secas.
O segundo teorema da incompletude de Gödel, é consecuencia do primeiro, é demostrado por formalización do propio primeiro teorema en si, e enunciase como:
Dun xeito mais formal, Gödel demostra que:
Hai unha sutileza técnica no segundo teorema: ata que punto de exactitude imos expresar a consistencia de T na propia linguaxe T. Hai moitos camiños para facelo, e non todos eles levan ao mesmo resultado. En particular, diferentes formalizacións da afirmación de que T é consistente pode ser inequivalente en T, e algúns poden incluso ser demostrables.
A seguinte reescritura do segundo teorema é perturbadora para os fundamentos das matemáticas:
O resultado xeral dos dous teoremas foi devastador para unha abordaxe filosófica da matemática coñecida como Programa de Hilbert. David Hilbert propuxo que a consistencia dos sistemas máis complexos, como análise real, poderían ser probados en termos de sistemas máis simples. Así, a consistencia de toda a matemática sería reducida á aritmética básica. O segundo teorema da incompletude de Gödel mostra que a aritmética básica non pode ser usada para probar a súa propia consistencia, e polo tanto non pode ser usada para probar a consistencia de nada máis forte.
O teorema de Gödel é quizais o máis sorprendente e comentado resultado matemático do século XX. De seguro, é o máis incomprendido e un dos únicos teoremas que se presta a acaloradas discusións filosóficas.
![]() |
Este artigo sobre matemáticas é, polo de agora, só un bosquexo. Traballa nel para axudar a contribuír a que a Galipedia mellore e medre. Existen igualmente outros artigos relacionados con este tema nos que tamén podes contribuír. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.