Tres dioses A, B y C se llaman Verdad, Falso y Aleatorio (no necesariamente en ese orden). Verdad siempre dice la verdad, Falso siempre miente y la respuesta de Aleatorio puede ser verdadera o falsa. ¿Sabrías decir quién es A, B y C, haciendo sólo tres preguntas cuya respuesta sea sí o no? Espera, hay más: los dioses contestarán en su idioma. Sus palabras para sí y no son ‘da’ y ‘ja’, pero no sabes qué significa cada una.
La primera pregunta ha de tener la finalidad de encontrar a un dios que no sea Aleatorio. La solución que da Boolos es preguntar a A: ¿Es que da significa sí, si y sólo si tú eres Verdad si y sólo si B es Aleatorio? O: ¿Un número impar de las siguientes afirmaciones son verdaderas: usted es Falso, 'ja' significa sí, B es Aleatorio?
Esta solución se puede simplificar. En este caso el objetivo es conseguir preguntar a Verdad o Falso la siguiente pregunta: "Si yo te hago una pregunta X, ¿responderás ‘ja’?" El dios contestará ‘ja’ si la respuesta verdadera a la pregunta es afirmativa y contestará ‘da’ si la respuesta es negativa.
La primera pregunta ha de tener la finalidad de encontrar a un dios que no sea Aleatorio. La solución que da Boolos es preguntar a A: ¿Es que da significa sí, si y sólo si tú eres Verdad si y sólo si B es Aleatorio? O: ¿Un número impar de las siguientes afirmaciones son verdaderas: usted es Falso, 'ja' significa sí, B es Aleatorio?
Esta solución se puede simplificar. En este caso el objetivo es conseguir preguntar a Verdad o Falso la siguiente pregunta: "Si yo te hago una pregunta X, ¿responderás ‘ja’?" El dios contestará ‘ja’ si la respuesta verdadera a la pregunta es afirmativa y contestará ‘da’ si la respuesta es negativa.