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

El universo de Gödel. La problemática de la consistencia y la lógica proposicional é do autor Smullyan, Raymond e tentar

¿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.