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 es válida en un sentido lógico es demostrable”.

La palabra "demostrable" significa que existe una deducción formal de la fórmula. La deducción consiste en una lista finita de pasos en los que cada paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una básica regla de inferencia. A partir de dicha deducción, es posible verificar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo, mediante una computadora, o a mano).

·         La palabra "demostrable" significa que existe una deducción formal de la fórmula. La deducción consiste en una lista finita de pasos en los que cada paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una básica regla de inferencia. A partir de dicha deducción, es posible verificar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo, mediante una computadora, o a mano).

·         La palabra "demostrable" significa que existe una deducción formal de la fórmula. La deducción consiste en una lista finita de pasos en los que cada paso o bien invoca a un axioma o es obtenido a partir de pasos previos mediante una básica regla de inferencia. A partir de dicha deducción, es posible verificar si cada uno de los pasos es correcto mediante un algoritmo (por ejemplo, mediante una computadora, o a mano).

·         El teorema de Gödel establece una correspondencia entre la verdad semántica y la probabilidad sintáctica en la lógica de primer orden. Crea un vínculo entre la teoría de modelos que se ocupa de lo que es cierto en diferentes modelos, y la teoría de la demostracion que estudia lo que se puede probar formalmente en sistemas formales particulares.

·         Gödel utilizó el teorema de completitud para probar el teorema de compacidad, demostrando la naturaleza finitaria del operador de consecuencia lógica. Estos resultados ayudaron a establecer a la lógica de primer orden como el tipo de lógica dominante en las matemáticas actual.

·         Fue luego simplificado en 1947, cuando Leon Henkin observó en su tesis de doctorado que la parte difícil de la prueba se puede presentar como el Modelo de Teorema de la Existencia (publicado en 1949). A su vez, la prueba de Henkin fue simplificada por Gisbert Hasenjaeger en 1953.