『漫游』酷论坛>『动漫主题讨论区』>[原创]无法停止的震撼 ..

ximenxiaoya@2005-10-06 15:23

怎么觉得有点吓人
引用

橘嘉谅@2005-10-06 17:41

寄生兽啊
很喜欢的说
七夕之国也不错
引用

NPC@2005-10-06 18:40

引用
最初由 谜一样的水母殿 发布

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

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

谜一样的水母殿@2005-10-07 01:24

引用
最初由 NPC 发布

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

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

NPC@2005-10-07 21:04

引用
最初由 茶杯的死期 发布

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

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

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

这是误区，您再搜索看看吧~
引用

谜一样的水母殿@2005-10-07 22:25

OTZ，偶是知道了……
这……一直都是这么理解的呀，TOT
引用

NPC@2005-10-08 17:28

刚刚去BOOKOFF查了一下，原文大意是：
あんたなら、包囲をぬけるのはやすいぞ

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

没有提到“能力”二字。
引用

mcv@2005-10-08 17:40

引用
最初由 谜一样的水母殿 发布

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

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

Roger Penrose在The Emperor's New Mind中犯的错误就是这个了，他把人工智能当成只会给出真命题的公理系统，却没有注意到人类自身却是会出错的，在这种不公平的前提下作比较当然得不到正确的结论。
引用

谜一样的水母殿@2005-10-08 21:29

自洽和完备是2个概念吧……
引用

mcv@2005-10-08 23:13

引用
最初由 谜一样的水母殿 发布
自洽和完备是2个概念吧……

有人说是一个概念么？:confused:
引用

谜一样的水母殿@2005-10-09 11:46

那这公理系统自洽就未必完备呀……

这个……
引用

mcv@2005-10-09 12:09

引用
最初由 谜一样的水母殿 发布
那这公理系统自洽就未必完备呀……

这个……

不是未必完备，而是必不完备。当然需要一个前提条件就是公理系统要强到能在上面定义自然数。
引用

谜一样的水母殿@2005-10-09 12:32

OTZ……不能定义自然数的公理系统就是完备的么？听起来也不对啊
引用

mcv@2005-10-09 12:37

引用
最初由 谜一样的水母殿 发布
OTZ……不能定义自然数的公理系统就是完备的么？听起来也不对啊

没人这么说过，只不过歌德尔不完备性定理这种条件下没法用罢了。实际上连自然数都没有的公理系统有什么用也是一个大问题...
引用

谜一样的水母殿@2005-10-09 13:40

哥德尔定理是针对数的连续统的吧，并不是针对所有的公理系统的呀
引用

«678910»共10页

| TOP