Gödel's Proof

Sinopsi de Gödel's Proof

En 1931, Kurt Gödel publicó su artículo fundamental, "Sobre proposiciones formalmente indecidibles de "Principia Mathematica" y sistemas relacionados". Este revolucionario artículo desafió ciertas suposiciones básicas que subyacen a gran parte de la investigación en matemáticas y lógica. Gödel recibió el reconocimiento público de su trabajo en 1951 cuando fue galardonado con el primer Premio Albert Einstein por logros en las ciencias naturales, quizás el premio más alto de su tipo en los Estados Unidos. El comité de premios describió su trabajo en lógica matemática como "una de las mayores contribuciones a las ciencias en los últimos tiempos". Ernest Nagel y James Newman ofrecen una explicación legible y accesible tanto para académicos como para no especialistas de las ideas principales e implicaciones generales del descubrimiento de Gödel. Ofrece a toda persona educada con gusto por la lógica y la filosofía la oportunidad de comprender un tema antes difícil e inaccesible.