higang@2005-10-09 13:53
关于歌德尔不完备定理补充:引用
由于哥德尔的第一条定理太有名了,对它的误解越来越多。我们举出一些例子:
1. 该定理并不意味着任何有趣的公理系统都是不完备的。例如,欧几里德几何可以被公理化为一个完备的系统。(事实上,欧几里德的原创公理集已经非常接近于完备的系统。所缺少的公理是非常直观的,以至于直到出现了形式化证明之后才注意到需要它们)
2. 该定理仅假设公理系统允许你定义自然数的集合。系统仅仅包含自然数是不够的。你也要能在系统中用公理和一阶逻辑表达“x是自然数”这样的概念。有许多系统包含自然数,却是完备的。例如,实数和复数都有完备的公理化系统。
九度十二分@2005-10-09 20:30
引用最初由 NPC 发布
刚刚去BOOKOFF查了一下,原文大意是:
あんたなら、包囲をぬけるのはやすいぞ
直接翻译的话:如果是你,很容易脱身吧
没有提到“能力”二字。
谜一样的水母殿@2005-10-10 08:44
引用最初由 higang 发布
关于歌德尔不完备定理补充:
节自wiki
Re: [原创]无法停止的震撼与思考——寄生獸
Z_渝联@2005-12-30 22:51
引用最初由 九度十二分 发布![]()
![]()
另外,个人认为《寄生兽》中有几个小错误还值得商榷。
Z_渝联@2005-12-30 23:03
另外关于那个人类市长KID的hotaru@2005-12-31 12:44
看过iliiad@2005-12-31 21:38
市长可能由于精神层面上太像同类了?OTL