由买买提看人间百态
登录
首页
论坛
未名存档
话题女王
小圈子
马甲追踪
版面排名
流量曲线
水枪排名
发帖量曲线
发帖版面饼图
发帖时间柱图
关于本站
帮助
boards
本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字
访问原贴
Belief版
- [合集] 普及一下哥德儿定理, 省得大家犯错误
相关主题
●
[合集] 我相信耶稣存在过
●
[合集] 一个有趣的事情
●
[合集] 從去年開始, 我就是神了
●
[合集] 不明白人家承认自己有罪,为什么还说这是有优越感
●
[合集] MY GOD用的最多的场合
●
[合集] nice person go to hell
●
[合集] 太厉害了
●
[合集] 总统就职典礼日关于基督教的疑问
●
[合集] 致命的一击
●
[合集] 基督徒humble么
●
[合集] 感恩的心
●
[合集] 生神纪
●
[合集] 真理和迷信
●
[合集] 关于宗教的最好的说法。。。
●
[合集] 关于afterlife的看法
●
[合集] 神棍被揭穿之后应该怎样做? (转载)
相关话题的讨论汇总
话题: 数论
话题: jan
话题: mon
话题: 自恰性
话题: 哥德
进入Belief版参与讨论
1
(共1页)
j********z
发帖数: 3242
1
☆─────────────────────────────────────☆
shuiguan (guanshui) 于 (Mon Jan 5 01:26:13 2009) 提到:
哥德耳 证明了: "如果数论是自洽的, 那么数论的自洽性是不可以证明的"
☆─────────────────────────────────────☆
jszhb (金嗓子喉宝) 于 (Mon Jan 5 11:39:49 2009) 提到:
哥德尔的结果是说数论在其理论体系内不能证明其自恰性。但是这
不代表在数论之外也不能证明数论的自恰性。前面引用的结果应该
是这种把。当然,这种结果没有最终解决问题,因为后来的那个体
系的自恰性在其自身也无法证明。
哥德尔的结果有其应用范围,比如它只适用与只有有限个公理的体
系。
另外,一个体系如果发现了不自恰,并不代表所有的结果都失去意
义。这个我并不很了解,不过我觉得至少不用反证法的结果是没问
题的吧。
☆─────────────────────────────────────☆
arsablue (真神) 于 (Mon Jan
1
(共1页)
进入Belief版参与讨论
相关主题
●
[合集] 神棍被揭穿之后应该怎样做? (转载)
●
[合集] 致命的一击
●
[合集] 大爆炸是假说, 理论, 还是事实?
●
[合集] 感恩的心
●
世界上真有神么
●
[合集] 真理和迷信
●
[合集] 那就挖个数学坑吧
●
[合集] 关于afterlife的看法
●
[合集] 我相信耶稣存在过
●
[合集] 一个有趣的事情
●
[合集] 從去年開始, 我就是神了
●
[合集] 不明白人家承认自己有罪,为什么还说这是有优越感
●
[合集] MY GOD用的最多的场合
●
[合集] nice person go to hell
●
[合集] 太厉害了
●
[合集] 总统就职典礼日关于基督教的疑问
相关话题的讨论汇总
话题: 数论
话题: jan
话题: mon
话题: 自恰性
话题: 哥德
未名新帖统计
// 7月16日
#
版面
帖数(主题数)
-
全站
4871 (796)
1
Military
3777 (569)
2
Stock
341 (51)
3
Joke
117 (17)
4
History
116 (3)
5
Automobile
100 (9)
6
USANews
55 (9)
7
Midlife
45 (1)
8
Headline
41 (41)
9
Dreamer
33 (13)
10
FleaMarket
32 (20)
11
Living
30 (7)
* 这里只显示发帖超过25的版面,努力灌水吧:-)
历史上的今天
faintcat妹妹看进来~~
发表于12年前.
NSC, PD 1/7/2007, EB2, ...
发表于11年前.
[FBA求购]MJVE2 758 MJVM2 ...
发表于6年前.
老生常谈,归与不归
发表于10年前.
【申请】Seattle西雅图 版版主——申请人...
发表于9年前.
宝宝出生,头骨骨折,求祝福
发表于9年前.
求推荐舒缓优美的古典音乐
发表于11年前.
百分之一的北京人上北大 中国网友愤怒(转载)
发表于10年前.
新人带狗狗Bailey来报道
发表于12年前.
全世界最有价值的运动队
发表于10年前.
请问大切诺基的质量如何
发表于6年前.
TNND,军版全是BKC
发表于15年前.
Inception
发表于12年前.
微软的有些家属可真恶心,为了卖保险脸都不要了
发表于10年前.
每周坐高铁的苦逼来说说感受吧!!
发表于9年前.