Teorema de completitud de Gödel

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.


Kurt Gödel

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).

Una fórmula es lógicamente válida si es verdadera en todo modelo para el lenguaje utilizado en la fórmula. Para expresar de manera formal el teorema de completitud de Gödel, se debe definir el significado de la palabra modelo en este contexto. Esta es una definición básica en la teoría de modelos.

Contenido

Demostraciones

Para una explicación de la demostración original de Gödel del teorema, ver Demostración original del teorema de completitud de Gödel.

En los libros de lógica modernos, el teorema de completitud de Gödel es por lo general demostrado mediante la demostración de Henkin, aunque a veces también se utiliza la demostración de Herbrand, en lugar de la demostración original de Gödel.

Véase también

  • Teoremas de la incompletitud de Gödel

Bibliografía

  • Kurt Gödel, "Über die Vollständigkeit des Logikkalküls", tesis doctoral, University Of Vienna, 1929. Esta tesis es la fuente original de la demostración del teorema de completitud.
  • Kurt Gödel, "Die Vollständigkeit der Axiome des logischen Funktionen-kalküls", Monatshefte für Mathematik und Physik 37 (1930), 349-360. Este artículo contiene el mismo material que la tesis doctoral en una forma abreviada. Las demostraciones son más cortas, las explicaciones más suscintas, y se ha omitido la extensa introducción.

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Demostración original del teorema de completitud de Gödel — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • Completitud — Esta página de desambiguación cataloga artículos relacionados con el mismo título. Si llegaste aquí a través de un enlace interno, quizá desees corregirlo de modo que apunte al artículo apropiado. Completitud puede …   Wikipedia Español

  • Completitud semántica — En lógica, se llama completitud semántica, o simplemente completitud, o completud, a una propiedad metateórica que pueden tener los sistemas lógicos. Se dice que un sistema lógico es semánticamente completo cuando todas las fórmulas lógicamente… …   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

  • Teorema de Löwenheim-Skolem — En lógica matemática, el teorema de Löwenheim Skolem es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.[1] Más precisamente: sea T un subconjunto… …   Wikipedia Español

  • Gödel, Kurt — ► (1906 78) Lógico y matemático checo. Autor de numerosos teoremas de consistencia, completitud y decibilidad de ciertas teorías matemáticas. * * * (28 abr. 1906, Brünn, Austria Hungría–14 ene. 1978, Princeton, N.J., EE.UU.). Matemático y lógico… …   Enciclopedia Universal

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Metalógica — La metalógica es el estudio de las propiedades y los componentes de los sistemas lógicos.[1] Contenido 1 Propiedades metalógicas 1.1 Consistencia 1.2 Decidibilidad …   Wikipedia Español

  • Prueba de consistencia — Saltar a navegación, búsqueda En lógica matemática, un sistema formal es consistente si no contiene una contradicción, o, en forma más precisa, no existe una proposición φ tal que se puede demostrar o deducir simultáneamente la proposición φ y su …   Wikipedia Español

  • Anexo:Matemáticos importantes — En esta lista de matemáticos importantes se presenta una selección de matemáticos desde la antigüedad hasta el presente. La selección se orienta por los aportes científicos, utilizando como criterio para definir el grado de notoriedad la atención …   Wikipedia Español

Compartir el artículo y extractos

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