Timeline for Seemingly complex logic/set-theoretic puzzle
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 28, 2011 at 17:38 | comment | added | Cam McLeman | This seems to throw doubt on the credentials of those trying to evaluate the "World's Smartest Person"... | |
| Jan 18, 2011 at 21:22 | comment | added | fastforward | @Pete It appears that Joel's answer was not the authors intended answer. I have found a newer version of the puzzle which seems to disallow such questions. seti.weebly.com/uploads/1/8/2/4/1824936/… | |
| Jan 17, 2011 at 22:45 | comment | added | Pete L. Clark | @Amit: my response is motivated by Joel's answer. I argue that there is an interpretation of the question under which Adam can play the high tone every time, which clearly gives away no information. Because Joel gave a winning strategy under a different interpretation, I decided to clarify why in my interpretation the questions in Joel's strategy don't work. To simplify things, I made Adam's strategy such that he always tells the truth, so questions which ask about truth do not need to be considered. | |
| Jan 17, 2011 at 22:24 | comment | added | Joel David Hamkins | Pete, my solution interprets the procedure as: first the question is asked, then Adam decides on meaning of high/low and whether to tell truth/lie, and then he answer accordingly. In particular, the truth conditions for the statement should be determined after the choices are made, and clearly my solution depends on this. If we allow Adam to determine the truth conditions before making the decisions, then I agree with you that we can learn nothing from him. In this case, the true nature of Adam would have to be clarified. A similar issue arises in the answer I linked to in my answer. | |
| Jan 17, 2011 at 21:15 | comment | added | Amit Kumar Gupta | Pete, I assume your answer is a response to Joel's answer? In his solution, you don't simply ask "Does high mean 'yes' iff $\varphi$?", you have to combine it with the strategy to deal with lying, so you'd ask: "Is it the case that this is a truth-telling round iff (this is a high-means-'yes' round iff $\varphi$)?" | |
| Jan 17, 2011 at 19:51 | history | answered | Pete L. Clark | CC BY-SA 2.5 |