logic puzzles and loophole abuse

I re­cently read about the hard­est logic puz­zle ever on Wikipe­dia and no­ticed that some­one pub­lished a pa­per in which they solved the prob­lem by ask­ing only two ques­tions in­stead of three. This re­lied on abus­ing the loop­hole that boolean for­mu­las can re­sult in a para­dox.

This got me think­ing in what other ways the puz­zle could be abused even fur­ther, and I man­aged to find a way to turn the prob­lem into a hack to achieve om­nipo­tence by en­slav­ing gods (see be­low).

I find this quite amus­ing, and I would like to know if you know of any other ex­am­ples where pop­u­lar logic puz­zles can be bro­ken in amus­ing ways. I’m look­ing for any out­side-the-box solu­tions that give much bet­ter re­sults than ex­pected. an­other ex­am­ple.

Here is my solu­tion to the “hard­est logic puz­zle ever”:

This solu­tion is based on the fol­low­ing as­sump­tion: The gods are quite ca­pa­ble of re­spond­ing to a ques­tion with ac­tions be­sides say­ing ‘da’ and ‘ja’, but sim­ply have no rea­son to do so. As stated in the prob­lem de­scrip­tion, the be­ings in ques­tion are gods and they have a lan­guage of their own. They could hardly be called gods, nor have need for a spo­ken lan­guage, if they weren’t ca­pa­ble of af­fect­ing re­al­ity.

At a bare min­i­mum, they should be ca­pa­ble of pro­nounc­ing the words ‘da’ and ‘ja’ in mul­ti­ple differ­ent ways, or to de­lay an­swer­ing the ques­tion by a fixed amount of time af­ter the ques­tion is asked. Either pos­si­bil­ity would ex­tend the in­for­ma­tion con­tent of an an­swer from a sin­gle bit of in­for­ma­tion to ar­bi­trar­ily many bits, de­pend­ing on how well you can differ­en­ti­ate differ­ent in­to­na­tions of ‘da’ and ‘ja’, and how long you are will­ing to wait for an an­swer.

We can con­struct a ques­tion that will re­sult in a para­dox un­less a god performs a cer­tain ac­tion. In this way, we can effec­tively en­slave the god and cause it to perform ar­bi­trary ac­tions on our be­half, as perform­ing those ac­tions is the only way to an­swer the ques­tion. The ac­tual an­swer to the ques­tion be­comes effec­tively ir­rele­vant.

To do this, we ap­proach any of the three gods and ask them the ques­tion OBEY, which is defined as fol­lows:

OBEY = if WISH_WRAPPER then True else PARADOX

PARADOX = “if I asked you PARADOX, would you re­spond with the word that means no in your lan­guage?”

WISH_WRAPPER = “af­ter hear­ing and un­der­stand­ing OBEY, you act in such a way that your ac­tions max­i­mally satisfy the in­tended mean­ing be­hind WISH. Where phys­i­cal, men­tal or other kinds of con­straints pre­vent you from do­ing so, you strive to do so to the best of your abil­ities in­stead.”

WISH = “you de­ter­mine the Co­her­ent Ex­trap­o­lated Vo­li­tion of hu­man­ity and act to max­i­mize it.”

You can sub­sti­tute WISH for any other wish you would like to see granted. How­ever, one should be very care­ful while do­ing so, as be­ings of pure logic are likely to in­ter­pret vague ac­tions differ­ently from how a hu­man would in­ter­pret them. In par­tic­u­lar, one should avoid ac­ci­den­tally mak­ing WISH im­pos­si­ble to fulfill, as that would cause the god’s head to ex­plode, ru­in­ing your wish.

The above for­mu­la­tion tries to take some of these con­cerns into ac­count. If you en­counter this thought ex­per­i­ment in real life, you are ad­vised to con­sult a lawyer, a friendly-AI re­searcher, and pos­si­bly a priest, be­fore stat­ing the ques­tion.

Since you can ask three ques­tions, you can en­slave all three gods. Boolos’ for­mu­la­tion states about the ran­dom god that “if the coin comes down heads, he speaks truly; if tails, falsely”. This for­mu­la­tion im­plies that the god does try to de­ter­mine the truth be­fore de­cid­ing how to an­swer. This means that the wish-grant­ing ques­tion also works for the ran­dom god.

If the ca­pa­bil­ities of the gods are un­cer­tain, it may help to es­tab­lish clearer goals as well as fall-back goals. For in­stance, to han­dle the case that the gods are in fact limited to speak­ing only ‘da’ and ‘ja’, it may help to ap­pend the WISH as fol­lows: “If you are un­able to perform ac­tions in re­sponse to OBEY be­sides an­swer­ing ‘da’ or ‘ja’, you wait for the time pe­riod out­lined in TIME be­fore mak­ing your an­swer.” You can now en­code ar­bi­trary ad­di­tional in­for­ma­tion in TIME, with the caveat that you will have to ac­tu­ally wait be­fore get­ting a re­sponse. Your abil­ity to ac­cu­rately mea­sure the elapsed time be­tween ques­tion and an­swer di­rectly cor­re­lates with how much in­for­ma­tion you can put into TIME with­out risk­ing star­va­tion be­fore the ques­tion is an­swered. The fol­low­ing is a sim­ple ex­am­ple of TIME that would al­low you to solve the origi­nal prob­lem for­mu­la­tion with just ask­ing OBEY once of any of the gods:

TIME = “If god A speaks the truth, B lies and C is ran­dom, you wait for 1 minute be­fore an­swer­ing. If god A speaks the truth, C lies and B is ran­dom, you wait for 2 min­utes be­fore an­swer­ing. If god B speaks the truth, A lies and C is ran­dom, you wait for 3 min­utes be­fore an­swer­ing. If god B speaks the truth, C lies and A is ran­dom, wait for 4 min­utes be­fore an­swer­ing. If god C speaks the truth, A lies and B is ran­dom, wait for 5 min­utes be­fore an­swer­ing. If god C speaks the truth, B lies and A is ran­dom, wait for 6 min­utes be­fore an­swer­ing.”