Jack comments on Public Service Announcement Collection - Less Wrong

37 Post author: Eliezer_Yudkowsky 27 June 2013 05:20PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (328)

You are viewing a single comment's thread. Show more comments above.

Comment author: Kawoomba 27 June 2013 06:33:44PM 8 points [-]

Three gods puzzle (aka "The Hardest Logic Puzzle Ever", I didn't make that name up!) for reference. Try to solve the puzzle first, I've appended the text. The referenced link contains the solution.

Three gods A, B, and C are called, in no particular order, True, False, and Random. True always speaks truly, False always speaks falsely, but whether Random speaks truly or falsely is a completely random matter. Your task is to determine the identities of A, B, and C by asking three yes-no questions; each question must be put to exactly one god. The gods understand English, but will answer all questions in their own language, in which the words for yes and no are da and ja, in some order. You do not know which word means which.

Clarifications:

  • It could be that some god gets asked more than one question (and hence that some god is not asked any question at all).

  • What the second question is, and to which god it is put, may depend on the answer to the first question. (And of course similarly for the third question.)

  • Whether Random speaks truly or not should be thought of as depending on the flip of a coin hidden in his brain: if the coin comes down heads, he speaks truly; if tails, falsely.

Comment author: Jack 27 June 2013 08:43:05PM *  0 points [-]

Does each god know which god is which? And can I ask the same question twice to the same god?

Comment author: Kawoomba 27 June 2013 08:46:51PM 0 points [-]

Yes, True and False have to be omniscient to be able to answer consistently correctly or incorrectly, for any arbitrary binary question. There's a version of the answer which (spoiler) relies on asking unanswerable questions, which only Random would answer. There's also solution that doesn't rely on such gimmicks, however.

Comment author: CoffeeStain 27 June 2013 10:41:42PM 1 point [-]

Do True and False know what answer Random would give, or are they required to say "I don't know?"

Comment author: Adele_L 27 June 2013 11:37:54PM 1 point [-]

I interpreted it to mean that the question must be answerable with yes or no.

Comment author: CoffeeStain 28 June 2013 09:46:14PM 0 points [-]

There are questions for which you don't know the answerability, so either the rules must be that questions asked are provably answerable, or else you are allowed to glean information from whether the god answers it or not.

Assuming that True and False do not know the future results of questions to Random, an example is a question to A (True) of "Would B say 1 + 1 = 2?" If B is False, it is answerable (with a 'no'). If B is Random, it is unanswerable.

Comment author: Adele_L 28 June 2013 10:20:53PM 0 points [-]

Provably answerable from your own knowledge.

Comment author: Epiphany 28 June 2013 02:23:48AM 0 points [-]

There's nothing in your wording that suggests random is not able to refuse an unanswerable question as one of it's potential random responses.