Teorema de Incompletitud de Gödel

Teorema de Incompletitud de Gödel
Presentación de Antonio Nakid Cordero
1. Un poco de historia…
• ¡Crisis!
• El Formalismo de Hilbert
2. Conceptos básicos
• Sistemas Axiomáticos
3. Los Teoremas de Incompletitud de Gödel
• El primer Teorema de Gödel
• Representatividad de funciones computables
• Aritmetización
• Diagonalización
4. Consecuencias
• Algunos resultados relacionados
• ¿Implicaciones Filosóficas?
• En la teoría intuitiva de conjuntos, cualquier propiedad define un conjunto

• Así, ℛ = {𝑥|𝑥 ∉ 𝑥} es un conjunto
• Pero ℛ ∈ ℛ ⟺ ℛ ∉ ℛ
• ¡La matemática es inconsistente!
• Ante la problemática, Ernst Zermelo propone su “teoría axiomática de conjuntos”.

• La noción de conjunto se deja sin definir, se denomina mediante axiomas.
• Para que una propiedad ya no define conjuntos, sólo subconjuntos.
• Introduce el controversial axioma de elección.
• A estos axiomas se les conoce como ZF (Zermelo-Fraenkel), o ZFC (Zermelo-Fraenkel-Choice) si se
incluye el axioma de elección.
• Hilbert comenzó a preocuparse por los fundamentos de las matemáticas.
• En 1895, axiomatizó la geometría euclidiana plana y en el espacio. Cambió el enfoque de los axiomas,
dejó de pensarlos como verdades indiscutibles y comenzó a verlos simplemente como puntos de
partida para hacer deducciones. “Uno debe poder decir en cualquier momento -en vez de puntos,
planos y rectas- mesas, sillas y botellas.”
• Hilbert propone la introducción de la Metamatemática (teoría de la demostración), una nueva rama
de las matemáticas.
• Su objetivo es formalizar todas las matemáticas “reales” (finitas y transfinitas)
• Busca encontrar un sistema axiomático independiente, decidible, completo y consistente que capture
todas las matemáticas.
• Niega la necesidad de renunciar a ninguna parte de las matemáticas, sólo se requiere probar su
consistencia.
• Su idea es justificar lo transfinito de forma finita, utilizando expresiones finitas en un lenguaje formal
y la combinatoria finita de estas.
Definición (Lenguaje Formal)

Un Lenguaje Formal es una pareja ordenada ℒ = (𝒜, ℱ) donde:
• 𝒜 es un conjunto de símbolos llamado alfabeto
• ℱ es un conjunto de sucesiones finitas de símbolos de 𝒜 llamadas fórmulas bien formadas.
• Los lenguajes formales no tienen ambigüedades, primero se define el lenguaje y después se le puede
asociar una semántica.
• Un algoritmo puede determinar si una cierta expresión es o no una fórmula bien formada.
• Los lenguajes de primer orden son una de las mejores herramientas para estudiar teorías matemáticas.
• Cuentan con los operadores lógicos tradicionales (∨,∧, ¬, →, ↔), cuantificadores (∀, ∃), variables, un
símbolo para la identidad (=) y símbolos especiales para denotar elementos distinguidos de una teoría,
operaciones y relaciones.
• En el lenguaje de primer orden de la aritmética, tenemos símbolos para el cero, la función sucesor, la
suma y el producto.
Definición (Sistema Formal)

Un Sistema Formal es una terna ordenada 𝒮 = (ℒ, 𝒜𝑥, ℛ) donde
• ℒ es un Lenguaje Formal.
• 𝒜𝑥 es un conjunto de Fórmulas bien Formadas de ℒ, denominadas Axiomas.
• ℛ es un conjunto de reglas de inferencia. Es decir, reglas mecánicas para producir fórmulas de ℒ a
partir de otras.
Ejemplo (Aritmética de Peano)

• La Aritmética de Peano, denotada por 𝒜𝒫, es el sistema formal conformado por:
o El lenguaje de primer orden de la aritmética ℒ 𝒜𝒫 .
o Los Axiomas de Peano escritos en ese lenguaje junto con los axiomas de la lógica clásica de
primer orden.
o Las reglas de inferencia son modus ponens y generalización.
Definición (Prueba o demostración)

Una prueba en un sistema formal 𝒮 = (ℒ, 𝒜𝑥, ℛ) es una sucesión finita 𝜑1 , … , 𝜑𝑛 de fórmulas de ℒ tales que
para todo 𝑖 ≤ 𝑛 :
o 𝜑𝑖 ∈ 𝒜𝑥 o
o 𝜑𝑖 se obtiene de 𝜑1 , … , 𝜑𝑖−1 mediante las reglas de ℛ
Se dice que 𝜑1 , … , 𝜑𝑛 es una prueba de 𝜑𝑛 y que 𝜑𝑛 es un teorema de 𝒮. Esto se denota por:
𝒮 ⊢ 𝜑𝑛
Teorema (Primer Teorema de Incompletitud de Gödel)

Si 𝒮es un sistema formal que contiene a 𝒜𝒫, entonces 𝒮 no puede ser decidible, consistente y completo. En
particular, si 𝒮 es decidible y consistente, entonces hay una fórmula 𝒢 tal que: 𝒮 ⊬ 𝒢 y 𝒮 ⊬ ¬𝒢
Teorema (Segundo Teorema de Incompletitud de Gödel)

Si 𝒮es un sistema formal decidible que contiene a 𝒜𝒫, y 𝐶𝑜𝑛𝒮 es una fórmula que expresa la consistencia de
𝒮. Entonces si 𝒮 es consistente: 𝒮 ⊬ 𝐶𝑜𝑛𝒮
Definición
Sea 𝒮 un sistema formal. Decimos que:
1. 𝒮 es consistente si y solo si para toda fórmula 𝜑, 𝒮 ⊬ 𝜑 o 𝒮 ⊬ ¬𝜑
2. 𝒮 es completo si y solo si para toda fórmula 𝜑, 𝒮 ⊢ 𝜑 o 𝒮 ⊢ ¬𝜑
3. 𝒮 es decidible si existe un algoritmo que puede determinar si una fórmula ex axioma de 𝒮 o no.
Teorema (Primer Teorema de Incompletitud de Gödel)

Si 𝒮es un sistema formal decidible y consistente que contiene a 𝒜𝒫, entonces hay una fórmula 𝒢 tal que: 𝒮 ⊬
𝒢 y 𝒮 ⊬ ¬𝒢
• La prueba de este teorema contiene tres puntos claves:
1. Todos los algoritmos pueden formalizarse en 𝒜𝒫.
2. La Aritmetización (codificación) de la metateoría.
3. Diagonalización y ¿Autoreferencia?
Definiciones
• Diremos que una función 𝑓 ∶ ℕ𝑛 → ℕ es computable si y solo si hay un programa escrito en Phyton
al que si le das de entrada 𝑎1 , … . , 𝑎𝑛 , devuelve como salida en un tiempo finito 𝑓(𝑎1 , … . , 𝑎𝑛 )
• Diremos que 𝑅 ⊆ ℕ𝑛 es computable si y solo si su función característica 𝐼𝑅 es computable.
Teorema (Representatividad de las funciones y relaciones computables en 𝒜𝒫)

• Si 𝑓 ∶ ℕ𝑛 → ℕ es computable, entonces hay una fórmula 𝜑 en el lenguaje de la aritmética tal que:
𝒜𝒫 ⊢ 𝜑(𝑎1 , … , 𝑎𝑛 , 𝑎) si y solo si 𝑓(𝑎1 , … . , 𝑎𝑛 ) = 𝑎
• Si 𝑅 ⊆ ℕ𝑛 es computable, entonces hay una fórmula 𝜓 en el lenguaje de la aritmética tal que:
𝒜𝒫 ⊢ 𝜓(𝑎1 , … , 𝑎𝑛 ) si y solo si (𝑎1 , … . , 𝑎𝑛 ) ∈ 𝑅
• Donde 𝑛 no es más que sss…s (n veces).

Numeración de Gödel
• Podemos codificar el lenguaje formal dentro de la aritmética:
Símbolo # Símbolo #
∀ 1 ¬ 13
∃ 3 → 15
𝑠 5 = 17
+ 7 ( 19
∗ 9 ) 21
0 11 𝑥𝑛 23 + 2n
• Asignamos a cada expresión del alfabeto su número de Gödel (𝛾) usando el # de cada símbolo y
números primos:
#𝑒 #𝑒 #𝑒
𝛾(𝑒1 𝑒2 … 𝑒𝑛 ) = 𝜌1 1 𝜌2 2 … 𝜌𝑛 𝑛
Ejemplo
𝛾(𝑠𝑠0 = 𝑠0 + 𝑠0) = 25 35 511 717 115 1311 177 195 2311
Aritmética y Computabilidad
• Moraleja: ¡La aritmética puede simular cualquier programa de computadora!
• En particular, los lenguajes formales y las operaciones lógicas de un sistema formal eran todas
algorítmicas, si tan solo hubiera una forma de codificarlas.
Más números de Gödel

• De forma análoga, definimos el número de Gödel de una prueba en 𝒜𝒫(𝛾 2 )
• Si 𝜑1 , … , 𝜑𝑛 es una prueba en 𝒜𝒫, entonces:
𝛾(𝜑 ) 𝛾(𝜑 ) 𝛾(𝜑 )
𝛾 2 (𝜑1 , … , 𝜑𝑛 ) = 𝜌1 1 𝜌2 2 … 𝜌𝑛 𝑛
• No hay confusión entre números de Gödel de fórmulas y de pruebas por la paridad de los exponentes.
• Las numeraciones de Gödel son efectivas.
Aritmetizando la metateoría.
• Podemos traducir enunciados metamatemáticos a 𝒜𝒫.
Ejemplos
• 𝒜𝒫 ⊢ 𝐴𝑥(𝑥) si y sólo si x es el número de Gödel de un axioma de Peano.
• 𝒜𝒫 ⊢ 𝑃𝑏𝑎(𝑥, 𝑦) si y solo si x es el número de Gödel de una prueba del teorema cuyo número de
Gödel es y.
• 𝒜𝒫 ⊢ 𝑇𝑒𝑜(𝑥) si x es el número de Gödel de un teorema de 𝒜𝒫.
El Lema Diagonal
Lema (Diagonal)
Sea 𝜑 una fórmula en el lenguaje de la aritmética. Entonces se puede construir algorítmicamente un enunciado
de la aritmética D tal que:
𝒜𝒫 ⊢ 𝐷 ↔ 𝜑(𝛾(𝐷))
• El lema diagonal nos permite construir enunciados aparentemente “autorreferentes”. Pero no hay
una Autoreferencia real.
Ejemplo
Consideremos 𝐴𝑥(𝑥) que es una fórmula del lenguaje de la aritmética. Por el lema diagonal, hay un enunciado
D tal que:
𝒜𝒫 ⊢ 𝐷 ↔ 𝐴𝑥(𝛾(𝐷))
Es decir, D es un teorema si y sólo si es un axioma.
D “afirma”: Yo soy un axioma.
El diablo de Gödel
El enunciado de Gödel
Ahora consideremos la fórmula ¬𝑇𝑒𝑜(𝑥). Por el lema diagonal, hay un enunciado 𝒢 tal que:
𝒜𝒫 ⊢ 𝒢 ↔ ¬𝑇𝑒𝑜(𝛾(𝒢))
A 𝒢 se le conoce como el enunciado de Gödel.
• 𝒢 “afirma”: yo no soy demostrable.
Finalmente….
• Si 𝒜𝒫 es consistente, entonces: 𝒜𝒫 ⊬ 𝒢
• Si 𝒜𝒫 es 𝜔 −consistente, entonces: 𝒜𝒫 ⊬ ¬𝒢
• Rosser ajustó la definición de 𝒢 para omitir la hipótesis de 𝜔 −consistencia.
Teorema (El primer teorema de Incompletitud de Gödel)

Si 𝒮es un sistema formal decidible y consistente que contiene a 𝒜𝒫, entonces hay una fórmula 𝒢 tal que: 𝒮 ⊬
𝒢 y 𝒮 ⊬ ¬𝒢
• En particular, ZFC es decidible y contiene a la aritmética, por lo que si es consistente, es incompleto.
Algunos resultados relacionados:

• Teorema de indefinibilidad de Tarski
• Problema de indecidibles:
o Décimo problema de Hilbert.
o El problema de la decisión (Entscheidungsproblem)
• Inducción transfinitas y la consistencia de 𝒜𝒫
• Hipótesis de Continuo.
• Fin del formalismo de Hilbert. ¿Y los fundamentos donde quedaron?
• ¿Mecanicismo? O la mente humana es mas poderosa que cualquier máquina, o existen problemas
aritméticos absolutamente irreductible para el humano.

Teorema de Incompletitud de Gödel

Cargado por

Copyright:

Formatos disponibles

Teorema de Incompletitud de Gödel

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teorema de Incompletitud de Gödel

Cargado por

Copyright:

Formatos disponibles

Teorema de Incompletitud de Gödel

Presentación de Antonio Nakid Cordero

• En la teoría intuitiva de conjuntos, cualquier propiedad define un conjunto

• Ante la problemática, Ernst Zermelo propone su “teoría axiomática de conjuntos”.

Definición (Lenguaje Formal)

Definición (Sistema Formal)

Ejemplo (Aritmética de Peano)

Definición (Prueba o demostración)

Teorema (Primer Teorema de Incompletitud de Gödel)

Teorema (Segundo Teorema de Incompletitud de Gödel)

Teorema (Primer Teorema de Incompletitud de Gödel)

Teorema (Representatividad de las funciones y relaciones computables en 𝒜𝒫)

• Donde 𝑛 no es más que sss…s (n veces).

Más números de Gödel

• 𝒢 “afirma”: yo no soy demostrable.

Teorema (El primer teorema de Incompletitud de Gödel)

Algunos resultados relacionados:

También podría gustarte