Demostración original del teorema de completitud de Gödel

Demostración original del teorema de completitud de Gödel

Demostración original del teorema de completitud de Gödel

En 1930 Gödel demostró la completitud de la lógica cuantificacional de primer orden. Literalmente el Teorema de completitud de Gödel establece: "Para toda fórmula A de la lógica cuantificacional de primer orden, si A es lógicamente verdadera, entonces A es deducible". Dicho formalmente: "Si |= A, entonces |- A". Esto quiere decir que el sistema formal de la lógica cuantificacional será completo si todas las fórmulas que representan verdades lógicas son formalmente deducibles en el sistema.

La prueba del teorema de completitud se reduce a consignar las siguientes premisas
  1. A es lógicamente verdadera: | A= A.
  2. Si A es lógicamente verdadera, entonces ¬A es insatisfacible.
  3. Si ¬A es insatisfacible, entonces ¬A es inconsistente.
  4. Si ¬A es inconsistente, entonces da lugar a contradicción: ¬A |- B y ¬A |- ¬B.
  5. Si ¬A |- B y ¬A |- ¬B, entonces |- A.
La justificación de estas premisas es la siguiente

1) Es la hipótesis del teorema de completitud; 2) Se sigue de la definición del concepto de fórmula lógicamente verdadera: su negación ha de ser satisfacible; 3) Es la contraposición del teorema de Henkin; 4) Es un mero análisis de la definición de inconsistencia, y finalmente 5) Se basa en el teorema de deducción, que permite pasar de ¬A |- B y ¬A |- ¬B a |- ¬A ^ B y |- ¬A ^ ¬B, respectivamente, y en Modus Ponens, que permite, con ayuda de estas dos últimas fórmulas, eliminar los antecedentes en la ley de reducción al absurdo (|- (¬A ^ B) ® ((¬A ^ ¬B) ^ ¬¬A); de |- ¬¬A se pasa a |- a mediante una aplicación de MP a la ley de doble negación |- ¬¬A ^ A. Aceptadas estas premiss, se les aplica reiteradamente la regla MP, empezando por 2) y 1), siguiendo con 3) y el consecuente de 2), y así sucesivamente, hasta liberar el consecuente de 5): |- A, que es justamente la tesis del teorema de Gödel, el cual queda, por tanto, demostrado.

Obtenido de "Demostraci%C3%B3n original del teorema de completitud de G%C3%B6del"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Teorema de completitud de Gödel — El teorema de completitud de Gödel es un importante teorema de la lógica matemática, que fue demostrado por primera vez por Kurt Gödel en 1929 y que en su forma más conocida establece lo siguiente: En una lógica de primer orden, toda fórmula que… …   Wikipedia Español

  • Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Alfred Tarski — Nacimiento 14 de enero …   Wikipedia Español

  • Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”