EL TEOREMA DE LOB

¿En qué circunstancias puede la simple creencia en una proposición convertirse en convicción? ¿Acaso se trata aquí de un fenómeno religioso? El lógico M. H. Löb desarrolló un teorema que arroja luz sobre estas preguntas y que, además, se relaciona estrechamente con el teorema de la incompletitud de Gödel. Raymond Smullyan traslada los fundamentos básicos de ambos teoremas del dominio matemático a la psicología de los seres humanos y sus creencias y, a través de un lenguaje divulgativo y una colección de juegos extraordinariamente divertidos, te explica cómo la lógica modal y los sistemas de creencias de un razonador se relacionan con importantes sistemas matemáticos.