tag:blogger.com,1999:blog-2141372262111342844.post6052885805406011656..comments2024-03-29T07:35:51.362+00:00Comments on Fabled Lands: The road to heavenDave Morrishttp://www.blogger.com/profile/14468228790874490693noreply@blogger.comBlogger19125tag:blogger.com,1999:blog-2141372262111342844.post-46155646150373000652014-11-07T15:08:52.506+00:002014-11-07T15:08:52.506+00:00Update: I had been thinking, okay, so maybe heaven...Update: I had been thinking, okay, so maybe heaven and hell are quantum states, so perhaps we do need a form of logic that superposes truth and falsity. But then this week a new model has been proposed that does away with the spookiness of quantum theory and reduces the universe back to a neatly Newtonian and Aristotelian form - albeit you need an infinity of them. (Google this week's New Scientist: "Ghost universes kill Schrodinger's cat".)Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-48174301873321073642014-11-06T10:49:40.100+00:002014-11-06T10:49:40.100+00:00That's a lot of theory, but I'm a practica...That's a lot of theory, but I'm a practical fellow. You phrase a question, I'll tell you how they'd each reply to it.Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-66028089150290844532014-11-06T04:25:41.817+00:002014-11-06T04:25:41.817+00:00Ah no, I was not talking about that kind of bivale...Ah no, I was not talking about that kind of bivalence. What I meant is that the reason Kib cannot answer arbitrarily is because one of the replies cause a logical contradiction by forcing his answer to be true and false simultaneously, which is impossible. However, that impossibility only occurs when using a bivalent logic such as Boolean algebra.<br /><br />When using a four-valued logic having ∅, {true}, {false} and {true, false} as possible values, the contradictory answer can be assigned the value {true, false}, which is equally true and false and therefore can be said by Kib without even tossing his mental coin. I believe a good example of such a logic is Dunn/Belnap's 4-valued relevance logic system.<br /><br />Who knows what kind of logic gods use?SmashManiacnoreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-52968793724078585732014-11-05T08:18:13.461+00:002014-11-05T08:18:13.461+00:00That's why I said that Kib cannot reply to que...That's why I said that Kib cannot reply to questions whose answers depend on some future, as-yet-undetermined toss of that mental coin. It's not that he then responds arbitrarily; he can't respond. This gives you a chance of identifying him, but then your question is used up.<br /><br />Paradise is left or right. You can't get more bivalent than that. And if you look at my formulation of the question you'll see that it avoids straying off into indeterminate speculative futures where replies risk losing that bivalence.Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-86790445956378626672014-11-05T06:45:46.483+00:002014-11-05T06:45:46.483+00:00I just want to point out that this solution is val...I just want to point out that this solution is valid only when assuming the principle of bivalence. If it is possible for a reply to be both true and false at the same time, Kib may still reply arbitrarily.<br /><br />Thanks for sharing this puzzle!SmashManiacnoreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-26943777014242995852014-11-02T20:58:04.281+00:002014-11-02T20:58:04.281+00:00Right, good point. And I seem to have glossed over...Right, good point. And I seem to have glossed over the part: "asking one yes-or-no question of one of the three gods". I was under the impression that the question was presented to all three of them.Godwin Teohnoreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-83785565638952591802014-11-02T12:32:10.899+00:002014-11-02T12:32:10.899+00:00I think a more serious problem there is that you&#...I think a more serious problem there is that you'd be no nearer to knowing which road to take. But okay, just assume they are not gods, they're ordinary mortals and if you ask them something they couldn't possibly know then they will just look blank and you wasted your question. Note that this can be used to identify Kib, but you then don't have a question...Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-45349464299966645052014-11-02T11:46:36.685+00:002014-11-02T11:46:36.685+00:00My quandary is that if the Gods ALWAYS answer trut...My quandary is that if the Gods ALWAYS answer truthfully (or not) does that not also mean that they ALWAYS know the truth as well? e.g. They can only answer yes or no and they must always tell the truth or lie...so I could ask will I live to be 80 years old? As they can't say "I don't know" or refuse to answer that means that they can see the future...<br />Anonymoushttps://www.blogger.com/profile/02058348741174768164noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-66937440724503268712014-11-02T11:00:07.249+00:002014-11-02T11:00:07.249+00:00The trouble with Graham's question is that it ...The trouble with Graham's question is that it won't give him any information. If he gets a yes and is lucky enough to have picked Mung or Kish, he should go left. But if he picked Kib, that yes is Kib choosing to lie about the certainty of his hypothetical answer - in which case it's equally likely that paradise is to the right. So Graham's question gets him to paradise 5 times out of 6.Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-7457286771971232252014-11-01T20:53:27.211+00:002014-11-01T20:53:27.211+00:00In my opinion, Graham Hart's logic is sound, b...In my opinion, Graham Hart's logic is sound, because from the way things are going, you are more hung up on Kib's ambiguity than finding out the road to Paradise. Graham's question disregards Kib altogether and forces the gods who provide absolute answers to point out the road to Paradise. I may be wrong about the actual phrasing of the question, but as you mentioned, with two questions you would be able to deduce which of the three is Kib, but I believe his idea to disregard Kib altogether provides a simpler solution when forced with a "one question only" rule.Godwin Teohnoreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-79619131346312875362014-10-29T13:37:46.185+00:002014-10-29T13:37:46.185+00:00Doesn't work, I'm afraid. First consider t...Doesn't work, I'm afraid. First consider the inner hypothetical question, "Would Kib answer yes truthfully that the left-hand path leads to paradise?" If paradise is left, a truthful response to that is yes and a lie is no. Then you ask if they would say yes. Sish truthfully says yes. Mung lies and also says yes. But Kib is being asked yet another of those questions that he hasn't tossed the mental coin for. He knows that he might end up saying no to the hypothetical question, but in answering your question about the hypothetical question he might truthfully say no - that is, he is truthfully telling you that he can't guarantee what his answer to a question in the future will be. That's why the solution has to be phrased in a way that doesn't ask him to predict his future hypothetical response.Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-90598236151697774572014-10-29T10:28:50.661+00:002014-10-29T10:28:50.661+00:00If I asked any of you "would Kib answer yes t...If I asked any of you "would Kib answer yes truthfully that the left hand path leads to paradise", would the answer be yes?Anonymoushttps://www.blogger.com/profile/02058348741174768164noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-16982031845923620192014-10-28T15:27:43.394+00:002014-10-28T15:27:43.394+00:00I suspect there's no clear method for finding ...I suspect there's no clear method for finding a solution. A bolt of inspiration is needed. That's how I solve most problems, though.Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-40052172742418137562014-10-28T15:25:00.646+00:002014-10-28T15:25:00.646+00:00Well, I felt sure this had to involve asking a god...Well, I felt sure this had to involve asking a god about his own answer to a question rather than asking him about answers that the other gods would give, but even if I'd spent all day trying to figure it out, I'm not sure of the chances that a random flash of inspiration would have brought me that solution.Graham Harthttps://twitter.com/editoriusnoreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-72371754951564437992014-10-28T12:39:55.705+00:002014-10-28T12:39:55.705+00:00OK, here's the solution. Look away now if you ...OK, here's the solution. Look away now if you still want to have a go at figuring it out...<br /><br />The question is: "If I had asked if the way to Paradise is left, and received the answer yes, would that reply have the same degree of truthfulness as your reply to this question?"<br /> <br />Assuming Paradise is left, whether the respondent is in truthful or lying mode he must say yes. Note that the way the question is posed doesn't rely on Kib predicting his own reply to a future question (which he has yet to toss that mental coin for) but instead presents him with a fait accompli.Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-2204497964770243442014-10-28T11:13:09.932+00:002014-10-28T11:13:09.932+00:00Summon a faltyn?! James, it's not that despera...Summon a faltyn?! James, it's not that desperate!<br /><br />No Sage XPs for you, sorry.Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-54072070735442468692014-10-28T11:05:46.366+00:002014-10-28T11:05:46.366+00:00If only you had the skill CUNNING, then you could ...If only you had the skill CUNNING, then you could throw rocks at them and get them to fight or something. With the skill FOLKLORE, you would know that Mung loves beans and therefore you can detect him by the smell. Are we allowed to summon a Faltyn? Or use the Ring of Obedient Parts and scout ahead?<br /><br /> "If I ask you whether that is the road to Heaven, will the god on your right hand (or the other end) *certainly* answer yes?"<br /><br />That probably doesn't help either. If only I'd paid attention in Sage school...James O'Gradyhttps://www.blogger.com/profile/06293956084685099045noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-41682641454465560502014-10-28T10:52:48.858+00:002014-10-28T10:52:48.858+00:00You're on the right lines, Graham. It is cruci...You're on the right lines, Graham. It is crucial that Kib lies or tells the truth randomly, he doesn't just say yes or no randomly.<br /><br />But... in your question, Kib is being asked what he will say on his next answer, for which he hasn't yet flipped that imaginary coin.<br /><br />Suppose you were to formulate the question thus: "If I ask you whether that is the road to Heaven, will you *certainly* answer yes?" Mung and Sish both say yes (assuming it is the correct road) but Kib must think: "Well, I wouldn't certainly say yes. I might decide to lie about it. So the true answer to the question asked is no, I wouldn't certainly say yes. But if I decide to lie right now, I'll answer yes." And then he flips that coin and gives you a yes or a no - and zero information.<br /><br />You are close. You just need to find a way to ask the question without making it hinge on his response to a future question. Or is that too broad a hint? ;)Dave Morrishttps://www.blogger.com/profile/14468228790874490693noreply@blogger.comtag:blogger.com,1999:blog-2141372262111342844.post-56104625709677965922014-10-28T10:23:28.470+00:002014-10-28T10:23:28.470+00:00When you asked this on Twitter, I misunderstood an...When you asked this on Twitter, I misunderstood and thought there was no answer, because I thought you were saying that the god who answered randomly did so by saying yes or no randomly. However, I see now that in fact the god who answers randomly does so by telling the truth or lying randomly. So, I think the solution is the following; pointing to one of the paths, you ask:<br /><br />"If I ask you whether that is the road to Heaven, will you answer yes?"<br /><br />If it is the road to Heaven, then a god who is telling the truth will say yes. A god who is lying will also say yes, because if you simply asked them whether that was the road to heaven, they would say no.<br /><br />Conversely, if it is the road to Hell, the truthful god will say no, and the lying god will also say no.Graham Harthttps://twitter.com/editoriusnoreply@blogger.com