Kurt Gödel (1906-1978) aporta múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y prueba de incompletez semántica.
En Sobre las proposiciones indecidibles de los sistemas de matemática formal establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema.
Con este teorema se demostró definitivamente que era imposible llevar a cabo el programa de la axiomatización completa de la matemática propugnado por Hilbert y otros, ya que, según él, no puede existir una sistematización coherente de la misma tal que todo enunciado matemático verdadero admita demostración.
Siempre habrá enunciados que no son demostrables ni refutables.
Para probar esta aserción se sirvió de la matematización de la sintaxis lógica.
En Sobre las proposiciones indecidibles de los sistemas de matemática formal establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema.
Con este teorema se demostró definitivamente que era imposible llevar a cabo el programa de la axiomatización completa de la matemática propugnado por Hilbert y otros, ya que, según él, no puede existir una sistematización coherente de la misma tal que todo enunciado matemático verdadero admita demostración.
Siempre habrá enunciados que no son demostrables ni refutables.
Para probar esta aserción se sirvió de la matematización de la sintaxis lógica.
No hay comentarios:
Publicar un comentario