Este é um puzzle lógico difícil. De acordo com George Boolos(1940-1996), lógico do MIT, o puzzle lógico mais difícil é o que foi inventado pelo lógico e mestre dos puzzles Raymond Smullyan(1919-...), e modificado ligeiramente pelo cientista de computadores John McCarthy(1927-...). Aqui está o puzzle:
Três deuses A,B e C têm os nomes, numa certa ordem, Verdadeiro. Falso e Aleatório. Verdadeiro diz sempre a verdade, Falso mente sempre, mas se Aleatório fala a verdade ou a mentira é completamente aleatório. A nossa tarefa é determinar as identidades de A, B e C fazendo três perguntas de resposta sim/não e cada questão tem de ser colocada a exactamente um deus. Os deuses entendem quaquer língua em que fales mas respondem na própria nas quais as palavras para sim e não são DA e YA, numa certa ordem. Não sabes qual palavra significa o quê...
Este puzzle é muito difícil. Se não conseguires resolver não te sintas demasiado mal por isso. Podes ler a solução no capítulo 29 do livro George Boolos Logic,Logic,Logic, publicado em 1998 pela Harvard University Press. Também pode ler a solução daqui: http://en.wikipedia.org/wiki/The_hardest_logic_puzzle_ever
Sem comentários:
Enviar um comentário