SOBRE PROPOSICIONES FORMALMENTE INDECIDIBLES DE LOS PRINCIPIA MATHEMATICA Y SISTEMAS AFINES

Con “SOBRE PROPOSICIONES FORMALMENTE INDECIDIBLES DE LOS PRINCIPIA MATHEMATICA Y SISTEMAS AFINES”, Kurt Gödel presenta una de las formulaciones más decisivas de la lógica moderna. El texto examina los límites internos de los sistemas formales y demuestra que existen enunciados que no pueden probarse ni refutarse dentro de ellos, una idea que transformó para siempre la filosofía de las matemáticas.

Esta obra, de lectura exigente y relevancia histórica excepcional, interesa tanto a especialistas como a lectores que desean acercarse a un hito del pensamiento del siglo XX.