Libro: El universo de Gödel: La problemática de la consistencia y la lógica proposicional

¿Puede un ser humano racional estar en una posición en la que no le es posible creer que es consistente, sin por ello perder su consistencia?

Esta es la principal pregunta que subyace al compendio de ejercicios que nos presenta Smullyan. Los acertijos y las paradojas reunidos aquí están inspirados en los célebres teoremas de la incompletitud y la indecibilidad de Kurt Gödel. Gran parte de la acción del libro transcurre en una imaginaria isla poblada por caballeros y bribones: los primeros siempre formulan enunciados verdaderos, mientras que los segundos siempre formulan enunciados falsos, y cada habitante pertenece necesariamente a uno de los dos grupos. En este escenario, conocerás a una serie de excéntricos personajes que acuden a ese lugar mágico para descubrir la verdadera identidad de los nativos. ¿Cómo podrá saber el señor McGregor si le engaña algún habitante? ¡Desconfía de honestos y mentirosos a la par y acude a la lógica simbólica para ayudarle! Con esta valiosa técnica podrás, además, resolver sistemáticamente grupos enteros de acertijos del tipo caballero-bribón.