Kurt Godel

Kurt Friedrich Gödel fue uno de los lógicos, matemáticos y filósofos más influyentes del siglo XX, cuya obra transformó la comprensión de los fundamentos de las matemáticas. Se hizo célebre por los dos teoremas de la incompletitud publicados en 1931, que demostraron límites fundamentales de los sistemas axiomáticos capaces de formalizar la aritmética: existen proposiciones verdaderas que no pueden probarse dentro del sistema y la consistencia de un sistema no puede demostrarse por métodos internos. Para llegar a esos resultados, Gödel desarrolló la técnica de enumeración que hoy lleva su nombre, codificando fórmulas y pruebas como números naturales.

A lo largo de su carrera también contribuyó de manera decisiva a la teoría de conjuntos, mostrando, bajo hipótesis de consistencia, que el axioma de elección y la hipótesis del continuo no son refutables a partir de los axiomas entonces aceptados. Su trabajo estableció conexiones duraderas entre la lógica clásica, la lógica intuicionista, la lógica modal y la teoría de la demostración.

Se graduó en la Universidad de Viena, participó del ambiente intelectual del Círculo de Viena y mantuvo vínculos con figuras centrales como David Hilbert y Albert Einstein. Su legado perdura no solo en la lógica matemática, sino en la filosofía de las matemáticas y en la teoría de la computación, influyendo en los debates sobre formalización, decidibilidad y los límites del razonamiento formal.