搜索 社区服务 统计排行 帮助
  • 7839阅读
  • 141回复

[原创]无法停止的震撼与思考——寄生獸

楼层直达
级别: 新手上路
注册时间:
2005-05-29
在线时间:
0小时
发帖:
43
只看该作者 120楼 发表于: 2005-10-06
怎么觉得有点吓人
级别: 新手上路
注册时间:
2005-04-03
在线时间:
1小时
发帖:
258
只看该作者 121楼 发表于: 2005-10-06
寄生兽啊
很喜欢的说
七夕之国也不错

好无趣啊好无趣
NPC
级别: 版主
注册时间:
2002-09-08
在线时间:
2小时
发帖:
21192
只看该作者 122楼 发表于: 2005-10-06
引用
最初由 谜一样的水母殿 发布

根据哥德尔的不完备性定理,不可证伪的假设太多了,如果都没有一个判断标准来衡量,那这个世界不是要乱套了么

该定理并不意味着任何公理系统都是不完备的。
级别: 工作组
注册时间:
2005-07-31
在线时间:
1小时
发帖:
18157
只看该作者 123楼 发表于: 2005-10-07
引用
最初由 NPC 发布

该定理并不意味着任何公理系统都是不完备的。

任何公理系统都存在不可证的命题,那便应该是不完备的呀

NPC
级别: 版主
注册时间:
2002-09-08
在线时间:
2小时
发帖:
21192
只看该作者 124楼 发表于: 2005-10-07
引用
最初由 茶杯的死期 发布

无论如何,再也没有什么比“美得应该”“美得合理”“美得正当”更荒谬的命题了。

所以“美得不应该”“美得不合理”“美得不正当”也是同样级别的荒谬啊。
去讨论上帝存在或不存在,好比讨论一除以零有多大一样没有意义。
引用
最初由 谜一样的水母殿 发布

任何公理系统都存在不可证的命题,那便应该是不完备的呀

这是误区,您再搜索看看吧~
级别: 工作组
注册时间:
2005-07-31
在线时间:
1小时
发帖:
18157
只看该作者 125楼 发表于: 2005-10-07
OTZ,偶是知道了……
这……一直都是这么理解的呀,TOT

NPC
级别: 版主
注册时间:
2002-09-08
在线时间:
2小时
发帖:
21192
只看该作者 126楼 发表于: 2005-10-08
刚刚去BOOKOFF查了一下,原文大意是:
あんたなら、包囲をぬけるのはやすいぞ

直接翻译的话:如果是你,很容易脱身吧

没有提到“能力”二字。
mcv
级别: 精灵王
注册时间:
2004-05-01
在线时间:
0小时
发帖:
3743
只看该作者 127楼 发表于: 2005-10-08
引用
最初由 谜一样的水母殿 发布

任何公理系统都存在不可证的命题,那便应该是不完备的呀

用歌德尔不完备性定理有记得两个前提,一个是公理系统要是自洽的,其次是要包括算数。

Roger Penrose在The Emperor's New Mind中犯的错误就是这个了,他把人工智能当成只会给出真命题的公理系统,却没有注意到人类自身却是会出错的,在这种不公平的前提下作比较当然得不到正确的结论。
级别: 工作组
注册时间:
2005-07-31
在线时间:
1小时
发帖:
18157
只看该作者 128楼 发表于: 2005-10-08
自洽和完备是2个概念吧……

mcv
级别: 精灵王
注册时间:
2004-05-01
在线时间:
0小时
发帖:
3743
只看该作者 129楼 发表于: 2005-10-08
引用
最初由 谜一样的水母殿 发布
自洽和完备是2个概念吧……

有人说是一个概念么?:confused:
级别: 工作组
注册时间:
2005-07-31
在线时间:
1小时
发帖:
18157
只看该作者 130楼 发表于: 2005-10-09
那这公理系统自洽就未必完备呀……

这个……

mcv
级别: 精灵王
注册时间:
2004-05-01
在线时间:
0小时
发帖:
3743
只看该作者 131楼 发表于: 2005-10-09
引用
最初由 谜一样的水母殿 发布
那这公理系统自洽就未必完备呀……

这个……

不是未必完备,而是必不完备。当然需要一个前提条件就是公理系统要强到能在上面定义自然数。
级别: 工作组
注册时间:
2005-07-31
在线时间:
1小时
发帖:
18157
只看该作者 132楼 发表于: 2005-10-09
OTZ……不能定义自然数的公理系统就是完备的么?听起来也不对啊

mcv
级别: 精灵王
注册时间:
2004-05-01
在线时间:
0小时
发帖:
3743
只看该作者 133楼 发表于: 2005-10-09
引用
最初由 谜一样的水母殿 发布
OTZ……不能定义自然数的公理系统就是完备的么?听起来也不对啊

没人这么说过,只不过歌德尔不完备性定理这种条件下没法用罢了。实际上连自然数都没有的公理系统有什么用也是一个大问题...
级别: 工作组
注册时间:
2005-07-31
在线时间:
1小时
发帖:
18157
只看该作者 134楼 发表于: 2005-10-09
哥德尔定理是针对数的连续统的吧,并不是针对所有的公理系统的呀

快速回复

限150 字节
上一个 下一个