Juegos Por Siempre Misteriosos
juegos-siempre-misteriosos.jpg
Información
Título Juegos por siempre
misteriosos
Título Original Forever Undecided
Autor Smullyan, Raymond
Traductor Margarita Mizraji
Editorial Gedisa
Colección Juegos
Fecha 1º edición 1988
Páginas 217
ISBN 84-7432-308-8

Breve reseña

Acertijos basados en la lógica formal.


Sumario

Parte 1: ¡Quizá podría sorprenderle!

1: Un acertijo diabólico
2: ¿Sorprendidos?

Parte 2: La lógica de mentir y decir la verdad

3: El empadronador
4: En busca de Oona
5: Un laberinto interplanetario

Parte 3: Caballeros, bribones y lógica proposicional

6: Un poco de lógica proposicional
7: Caballeros, bribones y lógica proposicional
8: Clausura y consistencia lógicas

Parte 4: Seamos cuidadosos

9: ¿Paradójico?
10: El problema se profundiza

Parte 5: La complicada problemática de la consistencia

11: Los lógicos que razonan sobre sí mismos
12: La sorprendente problemática de la consistencia
13: Sistemas gödelianos
14: Más problemas con la consistencia

Parte 6: Las creencias autosuficientes y el teorema de Löb

15: Creencias que se autocumplen
16: El diamante del Rajá
17: La isla de Löb

Parte 7: En aguas más profundas

18: Razonadores de tipo G
19: Modestia, reflexividad y estabilidad

Parte 8: Imposible de decidir

20: Por siempre indecidible
21: ¡Aún más indecisiones!

Parte 9: Mundos posibles

22: ¡No es necesariamente así!
23: Mundos posibles
24: De la necesidad a la demostrabilidad

Parte 10: El núcleo de la cuestión

25: Un universo gödelizado
26: Algunas notables máquinas lógicas
27: Sistemas modales autoaplicados

Parte 11: Final

28: Sistemas modales, máquinas y razonadores
29: Razonadores extraños
30: Retrospectiva


Un Acertijo de muestra

…les digo ahora que si formulan un enunciado falso, ganarán uno de los dos premios, pero si formulan un enunciado verdadero, no ganan ningún premio. ¿Qué enunciado ganará el premio 1?


Links externos

Gedisa Editorial
Este libro en Amazon


Bookmark and Share


Si no se indica lo contrario, el contenido de esta página se ofrece bajo Creative Commons Attribution-ShareAlike 3.0 License