以文本方式查看主题 - W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- The Hardest Logic Puzzle Ever (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=15634) |
-- 作者:Logician -- 发布时间:3/15/2005 4:11:00 PM -- The Hardest Logic Puzzle Ever The Puzzle: Three gods A, B, and C are called, in some order, True, False, and Some clarifications: 1) It could be that some god gets asked more than one question (and hence that 此内容需要回复才能浏览 (It is highly recommended that you think of it for some time before seeing the solution)
[此贴子已经被作者于2005-3-17 5:10:15编辑过]
|
-- 作者:huyuejun -- 发布时间:3/15/2005 8:25:00 PM -- hao |
-- 作者:wangjian98jp -- 发布时间:3/17/2005 2:32:00 PM -- 不错 |
-- 作者:rockmanX -- 发布时间:3/27/2005 12:21:00 PM -- 确实很难, |
-- 作者:chenkenshin -- 发布时间:4/5/2005 10:34:00 PM -- 赞~~ |
-- 作者:asadafag -- 发布时间:4/22/2005 9:34:00 AM -- Ask A: C is random xor dam means yes Dam: Ask B: A is random xor dam means yes Dam: Ask B: B is true xor dam means yes Dam:rft Ja:rtf Ja: Ask B: B is true xor dam means yes Dam:tfr Ja:ftr Ja: Ask C: A is random xor dam means yes Dam: Ask C: C is true xor dam means yes Dam:trf Ja:frt Ja: Ask C: C is true xor dam means yes Dam:rtf Ja:rft |
-- 作者:asadafag -- 发布时间:4/22/2005 9:36:00 AM -- Acrobat版本太低看不到答案…… 能否发个文本的……? |
-- 作者:filmpig -- 发布时间:4/23/2005 12:12:00 AM -- pp |
-- 作者:hippo -- 发布时间:4/27/2005 9:49:00 PM -- 好 |
-- 作者:karong5000 -- 发布时间:4/28/2005 10:20:00 AM -- 先顶了再看 |
-- 作者:philio -- 发布时间:5/4/2005 1:08:00 PM -- 看看我的结果和标准答案一样不一样 |
-- 作者:bloud -- 发布时间:5/9/2005 9:23:00 AM -- 顶一下 |
-- 作者:arlin -- 发布时间:5/13/2005 5:33:00 PM -- hao |
-- 作者:suntorywww -- 发布时间:5/18/2005 10:21:00 AM -- 看看先 |
-- 作者:phonyu -- 发布时间:5/18/2005 10:32:00 PM -- Good |
-- 作者:zbsmj -- 发布时间:5/26/2005 6:29:00 PM -- 难啊。现看看 |
-- 作者:woodbodboy -- 发布时间:5/28/2005 9:17:00 PM -- 确实很难, |
-- 作者:akinga -- 发布时间:6/5/2005 2:58:00 PM -- 3X |
-- 作者:e_lsh -- 发布时间:6/15/2005 9:25:00 AM -- Thanks |
-- 作者:txm003 -- 发布时间:6/15/2005 7:02:00 PM -- 顶!!! |
-- 作者:roam -- 发布时间:7/2/2005 10:20:00 PM -- ms这几天水源有看到? |
-- 作者:Mathsniper -- 发布时间:8/21/2005 1:26:00 AM -- nice thing!!!!!!! |
-- 作者:frozenbbs -- 发布时间:8/22/2005 3:39:00 PM -- 好,顶了再看。 |
-- 作者:jeanler -- 发布时间:10/8/2005 4:23:00 PM -- 顶先 |
-- 作者:onebug -- 发布时间:11/2/2005 5:23:00 PM -- 路过学习中 |
-- 作者:agnostic -- 发布时间:11/23/2005 10:50:00 PM -- hao |
-- 作者:arcong -- 发布时间:11/25/2005 12:15:00 AM -- 这玩意怎么练啊... |
-- 作者:tcs_chen -- 发布时间:1/31/2006 9:43:00 AM -- 难~~~~~ |
-- 作者:yongww -- 发布时间:2/21/2006 4:37:00 PM -- 看看 |
-- 作者:chzhuang -- 发布时间:2/25/2006 11:39:00 PM -- 网上搜来的《补充说明》: 相对该文章“几年前”,逻辑学家和难题制作大师Raymond Smullyan制作了一道就该文章作者所知无人挑战的逻辑难题,叫迄今最难的逻辑题。 而有人还进一步加大该题的难度;计算机科学家 John McCarthy 将该题“扭”得更难:精灵的语言中哪个词表示“是”,哪个词表示“否”是未知的。 George Boolos 是麻省理工学院哲学教授和“Provability Logic”的创始人之一,《The Logic of Provability》一书的作者。上述文章出现在1996年春的哈佛哲学评论。 文章的内容在Boolos的书《逻辑,逻辑,逻辑》的第29章。(1998年哈佛大学出版社出版)。 |
-- 作者:Logician -- 发布时间:2/26/2006 12:36:00 AM -- 赞庄老师~~~~ |
-- 作者:mmmyddd -- 发布时间:2/26/2006 8:17:00 PM -- 丁 |
-- 作者:mmmyddd -- 发布时间:2/26/2006 8:18:00 PM -- 丁 |
-- 作者:weewweew -- 发布时间:3/1/2006 3:12:00 PM -- 很好 |
-- 作者:wjwenoch -- 发布时间:3/5/2006 7:49:00 PM -- 恩 不错啊 |
-- 作者:hellomammy -- 发布时间:3/26/2006 4:07:00 PM -- 3Q |
-- 作者:lmm0721 -- 发布时间:4/16/2006 8:18:00 PM -- jj |
-- 作者:happynju -- 发布时间:5/8/2006 8:14:00 PM -- hao |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
140.625ms |