Aquí también estamos

Glosario actualizado el 18/09/2026

Kurt Friedrich Gödel

Matemático, lógico y filósofo austriaco-estadounidense (Brno, 1906 - Princeton, 1978).
Es considerado uno de los lógicos más importantes del siglo XX y es especialmente conocido por sus teoremas de incompletitud, que revolucionaron la lógica matemática y la filosofía de las matemáticas. Sus ideas continúan siendo inspiradoras, relevantes y debatidas en la actualidad, impactando profundamente en los fundamentos de las matemáticas, la lógica y la filosofía.
Su trabajo ha tenido un impacto profundo en las matemáticas, la lógica, la filosofía y la informática.

Los logros de Gödel

Con el teoremas de incompletitud, presentado en 1931, Gödel demostraba que en cualquier sistema formal, suficientemente complejo para describir la aritmética básica, siempre contendrá proposiciones que son verdaderas pero no pueden probarse dentro del sistema. Su segundo teorema de incompletitud probaba que ningún sistema coherente puede demostrar su propia coherencia.
Estos descubrimientos mostraron los límites inherentes a los sistemas formales y tuvieron un profundo impacto en la matemática, la lógica y la filosofía, poniendo en duda -y abriendo nuevas áreas de investigación- la capacidad de las matemáticas para proporcionar una base completa y consistente para todo el conocimiento matemático.
También Gödel desarrolló una interpretación constructivista de la lógica, que facilita una forma de entender las proposiciones lógicas en términos de construcciones finitas. Esta interpretación ha tenido una dominio significativa en la filosofía de la lógica y las matemáticas.