Kurt Gödel, quizas el mejor autor lógico matemático de la historía.
A lo largo del siglo XX, la lógica matemática experimentó una revolución sin precedentes, en la que figuras como Frege, Hilbert, Turing y Gödel replantearon los fundamentos del pensamiento lógico y formal. Entre ellos, Kurt Gödel (1906–1978) ocupa un lugar singular por haber demostrado, con rigor irrefutable, que los sistemas matemáticos no pueden ser ni completos ni totalmente consistentes, desafiando así el proyecto lógico-formal que buscaba la certidumbre absoluta en las matemáticas. En este ensayo se examina la vida y obra de Gödel, destacando sus aportaciones y su perfil personal, a la vez que se lo compara con otros grandes pensadores de su tiempo, para mostrar el alcance y los límites de la razón formal en la historia del pensamiento occidental. La lógica moderna inicia su consolidación con Gottlob Frege, cuya Begriffsschrift (1879) introdujo un sistema formal capaz de expresar razonamientos matemáticos completos. Frege buscaba, como luego también David Hilbert, una fundamentaci...