由买买提看人间百态
登录
首页
论坛
未名存档
话题女王
小圈子
马甲追踪
版面排名
流量曲线
水枪排名
发帖量曲线
发帖版面饼图
发帖时间柱图
关于本站
帮助
boards
本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字
访问原贴
Military版
- 我对哥德尔定理的证明
进入Military版参与讨论
1
(共1页)
g***x
发帖数: 1587
1
哥德尔定理说不存在一个既自洽又完备的体系,我认为世界就是这样的。假设一个体系
是自洽的,那么从一个有限的命题集合出发,可以推导出其他所有命题。其他所有命题
反过来也应该可以证明初始的命题。这就形成了一个闭环系统。既然是封闭的系统,那
么就是有限的。而我们知道宇宙是无限的,所以这个闭环系统肯定就是不完备的。
同时,如果一个闭环系统是自洽的,那么其内部的变化只能依据固有规则,就是这些命
题集合组成的规则,那么事物的变化就永远是循环的,不会产生新事物和新思想。不论
是自然历史还是人类历史都不是循环的,而是发展的。不断有规则被淘汰,有规则被创
造出来。如果旧的规则不能保证其循环变化,而发展出无限的变化,那么真实的无限世
界就一定不是自洽的。
哥德尔定理也可以理解为形式逻辑局限性,形式逻辑不是事物发展的逻辑,而是思维局
限在特定时间有限事物上的抽象对象的法则。
l******t
发帖数: 55733
2
封闭系统为毛就是有限的?
M********n
发帖数: 4650
3
宇宙有什么不完备不自洽了?有问题的是我们的理论和逻辑系统,不是宇宙本身。
【在 g***x 的大作中提到】
: 哥德尔定理说不存在一个既自洽又完备的体系,我认为世界就是这样的。假设一个体系
: 是自洽的,那么从一个有限的命题集合出发,可以推导出其他所有命题。其他所有命题
: 反过来也应该可以证明初始的命题。这就形成了一个闭环系统。既然是封闭的系统,那
: 么就是有限的。而我们知道宇宙是无限的,所以这个闭环系统肯定就是不完备的。
: 同时,如果一个闭环系统是自洽的,那么其内部的变化只能依据固有规则,就是这些命
: 题集合组成的规则,那么事物的变化就永远是循环的,不会产生新事物和新思想。不论
: 是自然历史还是人类历史都不是循环的,而是发展的。不断有规则被淘汰,有规则被创
: 造出来。如果旧的规则不能保证其循环变化,而发展出无限的变化,那么真实的无限世
: 界就一定不是自洽的。
: 哥德尔定理也可以理解为形式逻辑局限性,形式逻辑不是事物发展的逻辑,而是思维局
l*******k
发帖数: 922
4
算了,你连哥德尔定理说的是啥都只停留在科普水平上,更别说证明了。
并不是所有自洽系统都是不完备的。一阶形式逻辑就是完备的。
1
(共1页)
进入Military版参与讨论
未名新帖统计
// 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年前.