关于我本人的一个难题 !!!

来源:百度文库 编辑:超级军网 时间:2024/04/29 07:58:21


      有个人问我:“有部机器只能回答 YES 或 NO  ,

      现在一个问题摆在它面前:‘你的回答将是NO ?’,

      那么这部机器会如何回答 ?”  


    求万能的CDER解除我的囧  。 {:soso_e134:}


PS:决心在投票帖上赶超无耻的黑五。不,是赶超黑五的无耻。

-
单选投票, 共有 21 人参与投票

投票已经结束

36.36% (8)
36.36% (8)
27.27% (6)
您所在的用户组没有投票权限

      有个人问我:“有部机器只能回答 YES 或 NO  ,

      现在一个问题摆在它面前:‘你的回答将是NO ?’,

      那么这部机器会如何回答 ?”  


    求万能的CDER解除我的囧  。 {:soso_e134:}


PS:决心在投票帖上赶超无耻的黑五。不,是赶超黑五的无耻。

-单选投票, 共有 21 人参与投票

投票已经结束

36.36% (8)36.36% (8)27.27% (6)您所在的用户组没有投票权限
我怎么感觉这个问题很熟悉。。。。。。
black5 发表于 2011-10-15 12:45
我怎么感觉这个问题很熟悉。。。。。。
决心在投票帖上赶超无耻的黑五。不,是赶超黑五的无耻。

下一个帖,以此为投票标的,如何?:D
说谎者悖论的一个变型,最原始的悖论之一,可以自己搜说谎者悖论看看。
程序会出bug
YES,我会说NO
这部机器不会回答,因为它一直在计算如何回答的答案.
这是逻辑学上一个很基础的悖论问题
对这类问题,在设计机器的时候就必须加以限定:逻辑运算问题的输入变量中不能涉及本问题的结果

在这一系列的数学严格化之后,特别是某位后半生疯掉的康托尔创立的集合论之后,整个数学界的信心真是膨胀到了极点。甚至一个叫庞加莱的数学家甚至在1900年的国际数学家大会上宣称借助集合论我们可以建造整个数学大厦,今天我们可以说绝对严格性已经达到了!很可惜的是,这位数学家幻想的整个数学大厦只维持了一年,就被英国的数学逻辑学家罗素打破了(这货绝对是豆腐渣工程!)这就是著名的罗素谬论。最通俗的解释方法就是理发师谬论。即,某乡村理发师宣布给所有那些那些不给自己理发的人理发。请问理发师给不给自己理发。只要稍微一想就清楚,无论理发师理不理,都是不合理的。其实也就是宣布了整个集合论体系有严重的不合理的地方。可是问题是集合论是整个数学的基础。要是毕达哥拉斯的时代,估计罗素一定会被丢去喂鱼了,可是毕竟是20世纪了,更何况罗素的谬论实在太简单,以至于把懂的喂鱼的话,几乎等同于毁灭全人类。所以数学家们不得不老老实实的去修补整个大洞,同时对数学大厦真的能建立起来表示了极大的怀疑。
    不过怀疑与否,当前的问题是补上大洞,1908年策梅罗和佛蓝克尔提出公理化的集合论体系成功的吧罗素还有其他等等的谬论都统统的绕开了。但是按照庞加莱的戏称,看见狼进来,所以用篱笆把羊群围住,可惜却不清楚篱笆里面还是否有狼。的却如此,虽然看上去把谬论绕开了,但是数学家却没有办法保证没有新的谬论再给整个数学大厦打一个大洞呢。当然就这个问题,数学还分了三个大学派讨论。但是最后给予致命一击的人却是哥德尔,他证明了,人们永远无法知道篱笆里面有没有狼。或许没有比这个更绝望的证明了。这个证明正式宣告了数学大厦讲永远是个烂尾楼。只能哪里打洞哪里修补的现状。不过从另外一个角度讲,这个结构也正好养活了一批打洞和修补的数学家,保证了这两批数学家拥有长期稳定的工作岗位……
    有个人问我:“有个FC只能回答 YES 或 NO  ,

      现在一个问题摆在它面前:‘你是FC?你的回答将是NO ?’,

      那么这FC会如何回答 ?”  

LZ你的问题应该这样才赶上老师啊


楼主的悖论建立在一个基础上,就是机器不会出错。
事实上,机器是可以回答错误的。
scut_m 发表于 2011-10-29 13:23
这是逻辑学上一个很基础的悖论问题
对这类问题,在设计机器的时候就必须加以限定:逻辑运算问题的输入变量 ...
不光是数学,整个西方科学界一直在做这种事。自己制造麻烦,然后又来着手解决麻烦,解决麻烦的同时又产生了新麻烦。科学就是一门不断给自己制造麻烦的机器。
夜空下的烟花 发表于 2011-10-29 17:35
楼主的悖论建立在一个基础上,就是机器不会出错。
事实上,机器是可以回答错误的。
一个好答案!
scut_m 发表于 2011-10-29 13:23
这是逻辑学上一个很基础的悖论问题
对这类问题,在设计机器的时候就必须加以限定:逻辑运算问题的输入变量 ...
谢谢科普!
  有个人问我:“有部机器只能回答 YES 或 NO  ,

      现在一个问题摆在它面前:‘你的回答将是NO ?’,

      那么这部机器会如何回答 ?”  ......................................................................................................meikandong没看懂,《机器只能回答 YES 或 NO 》,既然如此,回答YES怎样?NO又怎样?
把实参和形参搞清楚的都不会为这个问题苦恼。就程序而言,只要编程人员不混淆YES/NO和T/F,不会有啥矛盾的。认为无穷递归的,都是画蛇添足,自己把YES和T等同起来了。
把实参和形参搞清楚的都不会为这个问题苦恼。就程序而言,只要编程人员不混淆YES/NO和T/F,不会有啥矛盾的。 ...
这不是参数问题而是逻辑问题吧。
用英语的语法来回答
kikashine 发表于 2012-7-8 19:53
这不是参数问题而是逻辑问题吧。
英语的反问句里,否定式的正好和中文是想相反的吧?
Don't you go to the party? 你不去参加那个聚会吗?
答:Yes, I do. (不,我去的。) No, I don't. (是的,我不去。)
这很清楚地暴露出逻辑和形式的区别。


这里回答问题的程序,应该会有个真值表,根据真值表回答。

如果把回答也当作构成真值表的一个变量,而且形成了题目的悖论,那是无限循环,确实逻辑出问题,这是数学建模就出的问题,和程序无关。数学理论不解决这个问题,程序自然不可能突破。

我的意思回答只是形式,不再作为变量参与,那自然会有一个确切的答案,避免导致逻辑循环。也许从人类的理解来看,是自相矛盾的。就像中国人看英语里的反问句回答。

当然,这是回避问题,不是解决问题。这样的回答程序,肯定不会让人有智能回答的良好体验。
如果程序是我设计的,我直接让它显示“问题非法,不予回答”
这个,偶没有办法啦~
此时的no在逻辑上拆成两层意思
取决于这个“No”是什么含义……
你没说这个机器是说真话还是说假话
不就是一个悖论么。。。
天啊,我成大头宝宝了…