Teorema de completitud de Gödel
Gödel's completeness theorem
- Fecha
- 1929 · fiabilidad alta
- Lugar
- Viena, Austria
- Autoría
- Kurt Gödel
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema de lógica matemática que establece que toda fórmula lógicamente válida de la lógica de primer orden puede demostrarse formalmente a partir de sus axiomas; probado por Kurt Gödel en su tesis doctoral.
El dato de Wikidata atribuía el teorema a «Osiris Adán Gonzalez Rodriguez»; se corrige a su autor real, Kurt Gödel.
A qué dio paso
- Bases de la teoría de modelos y la teoría de la demostración
- Los teoremas de incompletitud de Gödel (1931)
- Desarrollo de la lógica matemática del siglo XX