Kurt Gödel


Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines (edición en tapa dura)
Traducción de Manuel Garrido, Alfonso García Suárez y Luis Manuel Valdés Villanueva. Introducción de Manuel Garrido
Kurt Gödel nació en 1906 en la ciudad de Brno (hoy parte de la República Checa) en el seno de una familia de origen alemán bien acomodada. Antes de concentrarse en al investigación lógica, estudió primero física y matemática en la universidad de la capital austriaca y fue miembro del legendario Círculo de Viena, cuna del positivismo lógico. Cuando publicó la demostración de su teorema de incompletud contaba sólo veinticinco años. Huyendo de los nazis, emigró a Estados Unidos para investigar en el Instituto de Estudios Avanzados de la Universidad de Princeton, donde trabó entrañable amistad con Albert Einstein.
La obra publicada en vida por Gödel se reduce a varios artículos y opúsculos monográficos de lógica matemática y también, excepcionalmente, de física y filosofía, casi todos ellos muy breves, pero de un increíble nivel de creatividad, concisión y rigor técnico. En conjunto constituyen una contribución científica y filosófica de primera magnitud para nuestra comprensión de la naturaleza y los límites del pensamiento abstracto lógico y matemático. En las últimas décadas de su vida se dedicó también intensamente al estudio de la filosofía, dejando sin publicar muchas páginas escritas sobre esta materia e inspiradas en el pensamiento de Leibniz, Kant y Husseerl.