Sobre proposiciones formalmente indecibles de los Principia Mathemática y sistemas afines

El llamado "" Teorema de incompletud"" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX.Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la introducida en física por la teoría de la relatividad, o la efectuada en biología por el descubrimiento de la doble hélice." El presente volumen contiene la versión castellana del célebre artículo en que este autor formuló el teorema , precedido de una introducción , de Manuel Garrido, que analiza tanto su demosración como sus implicaciones filosóficas. Kurt Gödel nació en Brno ( República Checa ) antes de concentrarse en la investigación lógica, estudio primero física y matemática en la universidad de la capital austriaca y fué miembro del Circulo de Viena, cuna del positivismo lógico. En las últimas decadas de su vida ( en EE.UU. ) se dedicó 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 Husserl.