lunes, 7 de julio de 2008

El problema lógico más difícil de la historia

El acertijo es obra del lógico Raymond Smullyan, posteriormente modificado por John McCarthy, y definido por George Boolos como El problema lógico más difícil de la historia (wikipedia):
"Tres dioses A, B, y C son llamados, en algún orden, Verdad, Falso, y Aleatorio. Verdad siempre habla expresando la verdad, Falso siempre habla expresando algo falso, pero la respuesta de Aleatorio es completamente aleatoria pudiendo ser verdadera o falsa. Su tarea es determinar las identidades de A, B, y C preguntando tres preguntas cuya respuesta es si o no; cada pregunta debe ser formulada a un único dios. Los dioses entienden español, pero contestarán todas las preguntas en su propio idioma, en el cual las palabras para Si y No son 'da' y 'ja', en algún orden. Usted no sabe que significado se asocia a cada palabra."
La solución la proporcionó el propio Boolos en el mismo artículo en el que introdujo el acertijo.

2 comentarios:

  1. Muy bueno, sí señor. Esto se merece una entrada y estudiar la solución con detalle.

    ResponderEliminar
  2. ... que desde ya espero leer. Un saludo Iñaki.

    ResponderEliminar