JUEGOS POR SIEMPRE MISTERIOSOS

JUEGOS POR SIEMPRE MISTERIOSOS

SMULLYAN RAYMOND M

12,00 €
IVA incluido
Editorial:
GEDISA
Año de edición:
1988
Materia
Juegos de mesa
ISBN:
978-84-7432-308-5
Páginas:
224
Encuadernación:
Rústica
Colección:
JUEGOS

Disponibilidad:

  • LIBRERÍAS PICASSO - ALMERÍADisponible en 1 semana
  • LIBRERÍAS PICASSO - GRANADADisponible en 1 semana
12,00 €
IVA incluido
Añadir a favoritos

PARTE I: ¡QUIZA PODRA SORPRENDERLE!


Capítulo I: Un acertijo diabólico


Capítulo II: ¿Soprendidos?


PARTE II: LA LOGICA DE MENTIR Y DE DECIR LA VERDAD


Capitulo 3: El empadronador


Capítulo 4: En busca de Oona


Capítulo 5: Un laberinto interplanetario


PARTE III: CABALLEROS, BRIBONES Y LOGICA PROPOSICIONAL


Capítulo 6: Un poco de lógica propocicional


Capítulo 7: Caballeros, bribonas y lógics proposicional


Capítulo 8: Clausura y consistencia lógicas


PARTE IV: SEAMOS CUIDADOSOS


Capítulo 9: ¿Paradógico?


Capítulo 10: El problema se profundiza


PARTE V: LA COMPLICADA PROBLEMATICA DE LA CONSISTENCIA


Capítulo 11: Los lógicos que razonan sobre sí mismos


Capítulo 12: La sorprendente problemática de la consistencia


Capítulo 13: Sistemas Gödelianos


Capítulo 14: Más problemas con la consistencia


PARTE VI: LAS CREENCIAS AUTOSUFICIEN'fES Y EL TEOREMA DE LÖB


Capítulo 15: Creencias que se autocumplen


Capítulo 16: El diamante del Rajá


Capítulo 17: La isla de Löb


PARTE VII: EN AGUAS MAS PROFUNDAS


Capítulo 18: Razonadores de tipo G


Capítulo 19: Modestia, reflexividad y estabilidad


PARTE VIII: IMPOSIBLE DE DECIDIR


Capítulo 20: Por siempre indecidible


Capítulo 21: ¡Aun más indecisiones!


PARTE IX: MUNDOS POSIBLES


Capítulo 22: ¡No es necesariamente así!


Capítulo 23: Mundos posibles


Capítulo 24: De la necesidad a la demostrabilidad


PARTE X: EL NUCLEO DE LA CUES'TION


Capítulo 25: Un universo gödelizado


Capítulo 26: Algunas notables máquinas lógicas


Capítulo 27: Sistemas modales autoaplicados


PARTE XI: FINAL


Capítulo 28: Sistemas modales, máquinas y razonadores


Capítulo 29: Razonadores extraños


Capítulo 30: Retrospectiva

Trasladando el argumento de Gödel del dominio matemático al reino de los seres humanos y sus creencias. El autor explica las bases de las

ideas de Gödel en un lenguaje comprensible para todos. Una abundante colección de acertijos sobre mentirosos y veraces (bribones y caballeros) acompaña una descripción introductoria de la lógica simbólica y una explicación de la forma de resolver grupos enteros de este tipo de acertijos.

En los capítulos posteriores se encuentra, por ejemplo el tema de las "creencias autosuficientes". ¿Cómo puede una mera creencia convertirse en una convicción de que es cierta a través de determinada proposición? ¿Acaso se trata aquí de un fenómeno religioso?

Smullyan explica cómo esos sistemas de creencias se relacionan con importantes sistemas matemáticos y, finalmente con la "semántica de los mundos posibles", iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.

Artículos relacionados