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. La mayor parte de los problemas de este libro puede ser resuelta por personas que no tengan formación especial, aunque siempre se requiere la aplicación de un agudo ingenio. Finalmente, tendrás la posibilidad de familiarizarte y entretenerte con la semántica de los mundos posibles, iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.
Edad recomendada: Adultos.
SMULLYAN RAYMOND M.
Raymond M. Smullyan 1919-2017 fue un matemático, lógico, filósofo y mago estadounidense, conocido por sus acertijos lógicos y su enfoque creativo en la enseñanza de la lógica matemática. Desde joven mostró un gran interés por la música y las matemáticas, lo que lo llevó a estudiar en diversas universidades antes de obtener su doctorado en Filosofía en Princeton bajo la supervisión de Alonzo Church.
A lo largo de su carrera, Smullyan publicó numerosos libros sobre lógica y matemáticas recreativas, como ¿Cómo se llama este libro?, La dama o el tigre y Alicia en el país de las adivinanzas. También escribió sobre filosofía y ajedrez, combinando su pasión por la lógica con su amor por los acertijos. Su estilo único y su capacidad para hacer accesibles conceptos complejos lo convirtieron en una figura influyente en el mundo de la lógica matemática
