s*******i 发帖数: 100 | 1 也来说说哥德而
飞机朋友们如此勤学好问,我很欣慰。我也顺便说两句哥德而吧。
哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一,
就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是,
在人类的逻辑体系之中,存在着无法证明的命题。
简单来说,在以科学实证主义为基础的现代科学里面,存在这不自恰。
简单的说一两句证明的过程。
科学实证主义试图从有限的几个公理出发,通过逻辑推导出一套自恰的完备体系,来描述
自然界。但是,从有限几个公理出发,仅仅能够得到可数无穷个结论,而自然界可能
的状态,至少是一个无限可数的集合,所以必然存在这某一个命题,超出了
科学能够涵盖的范畴,从而倒置科学理论的不自恰。
换句话说,人类科学仅仅能干描述一个可数无穷的理论集合,根本无法描述不可数
无穷的理论集合。人类科学的理论,在自然界的度归上面,是一个无穷小量。
而无限不可数集合,又有很多层次。有实数无穷大,还有实数无穷大的无穷大
次方。远远超出人类的想象。
世界上最伟大的数学家之一的康托先生,在上帝的指引下,为了显示上帝的荣耀,
告诉大家,上帝就是所有无穷大里面最大的那个无穷大。
哥德而的证明,和康托的证明,有异曲同工之妙。 |
E*****m 发帖数: 25615 | 2 光憑 "人类科学仅仅能干描述一个可数无穷的理论集合" 這一句,
你就可以跟 windmind 平起平坐了。
研究實數的都可以改行了。 |
G*M 发帖数: 6042 | 3 版上的基督徒一谈起数学,逻辑,科学,总是让人喷饭。
借用某基督徒的话来说,问题在于“太肤浅”。哈哈
【在 E*****m 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 光憑 "人类科学仅仅能干描述一个可数无穷的理论集合" 這一句, : 你就可以跟 windmind 平起平坐了。 : 研究實數的都可以改行了。
|
E*****m 发帖数: 25615 | |
G******e 发帖数: 9567 | 5 http://www.mitbbs.com/article/Mathematics/31184955_0.html
描述
【在 s*******i 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 也来说说哥德而 : 飞机朋友们如此勤学好问,我很欣慰。我也顺便说两句哥德而吧。 : 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一, : 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是, : 在人类的逻辑体系之中,存在着无法证明的命题。 : 简单来说,在以科学实证主义为基础的现代科学里面,存在这不自恰。 : 简单的说一两句证明的过程。 : 科学实证主义试图从有限的几个公理出发,通过逻辑推导出一套自恰的完备体系,来描述 : 自然界。但是,从有限几个公理出发,仅仅能够得到可数无穷个结论,而自然界可能 : 的状态,至少是一个无限可数的集合,所以必然存在这某一个命题,超出了
|
s*******i 发帖数: 100 | 6 haha, poor boy,
Do you think math is 科学?
【在 E*****m 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 光憑 "人类科学仅仅能干描述一个可数无穷的理论集合" 這一句, : 你就可以跟 windmind 平起平坐了。 : 研究實數的都可以改行了。
|
s*******i 发帖数: 100 | 7 Do you know any math at all? If not, why not keep quite?
【在 G*M 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 版上的基督徒一谈起数学,逻辑,科学,总是让人喷饭。 : 借用某基督徒的话来说,问题在于“太肤浅”。哈哈
|
s*******i 发帖数: 100 | 8 Say anything meaningful, instead of just bullshit!
If you think I am wrong, say which argument is wrong! I believe you know
nothing about this topic.
【在 G******e 的大作中提到】![](/moin_static193/solenoid/img/up.png) : http://www.mitbbs.com/article/Mathematics/31184955_0.html : : 描述
|
E*****m 发帖数: 25615 | 9 既然你要講 Godel, 那麼問你點正經的
1. Godel Incompleteness Theorem 是對countable infinite 的 axiom
systems 就有效,還是對不可數的公理系統才有效?
2. 請問什麼叫做"描述一个可数无穷的理论集合,根本无法描述不可数
无穷的理论集合", 可否具體說明? "理论集合" 英文是什麼?你這是在講
自然科學還是數學?
先兩個問題吧
描述
【在 s*******i 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 也来说说哥德而 : 飞机朋友们如此勤学好问,我很欣慰。我也顺便说两句哥德而吧。 : 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一, : 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是, : 在人类的逻辑体系之中,存在着无法证明的命题。 : 简单来说,在以科学实证主义为基础的现代科学里面,存在这不自恰。 : 简单的说一两句证明的过程。 : 科学实证主义试图从有限的几个公理出发,通过逻辑推导出一套自恰的完备体系,来描述 : 自然界。但是,从有限几个公理出发,仅仅能够得到可数无穷个结论,而自然界可能 : 的状态,至少是一个无限可数的集合,所以必然存在这某一个命题,超出了
|
x****g 发帖数: 4008 | 10 Thanks for sharing
描述
【在 s*******i 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 也来说说哥德而 : 飞机朋友们如此勤学好问,我很欣慰。我也顺便说两句哥德而吧。 : 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一, : 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是, : 在人类的逻辑体系之中,存在着无法证明的命题。 : 简单来说,在以科学实证主义为基础的现代科学里面,存在这不自恰。 : 简单的说一两句证明的过程。 : 科学实证主义试图从有限的几个公理出发,通过逻辑推导出一套自恰的完备体系,来描述 : 自然界。但是,从有限几个公理出发,仅仅能够得到可数无穷个结论,而自然界可能 : 的状态,至少是一个无限可数的集合,所以必然存在这某一个命题,超出了
|