 |
|
| Información | |
|---|---|
| Título | Juegos por siempre misteriosos |
| Título Original | Forever Undecided |
| Autor | Smullyan, Raymond |
| Traductor | Margarita Mizraji |
| Editorial | Gedisa |
| Colección | Humor y entretenimiento "serio" |
| 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
Si los hubiera
