Sucesores de Gödel: El teorema de Löb y su linaje

Al igual que en 'Sucesores de Gödel', este libro de Nagel aborda los límites de la lógica formal a través del Teorema de Incompletitud de Gödel.

Smullyan presenta acertijos que reflejan paradojas lógicas similares a las exploradas en el teorema de Löb, estimulando la reflexión sobre la autorreferencia.

Esta versión de 'Gödel's Proof' ofrece un enfoque claro sobre el Teorema de Incompletitud, como lo hace Smorynski con la lógica modal y la autorreferencia.

Smullyan usa ingeniosos acertijos para aclarar conceptos de incompletitud y autorreferencia, resonando con la exploración temática del teorema de Löb.

Franzén profundiza en las implicaciones del teorema de Gödel, similar a cómo Smorynski explora las consecuencias del teorema de Löb en la lógica.

Boolos analiza la incompletud de la aritmética de Peano, un enfoque que complementa la discusión sobre los límites de las teorías formales en el libro de Smorynski.