s*******i
发帖数: 100 | 1 也来说说哥德而
飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
在人类的逻辑体系之中，存在着无法证明的命题。
简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
简单的说一两句证明的过程。
科学实证主义试图从有限的几个公理出发，通过逻辑推导出一套自恰的完备体系，来描述
自然界。但是，从有限几个公理出发，仅仅能够得到可数无穷个结论，而自然界可能
的状态，至少是一个无限可数的集合，所以必然存在这某一个命题，超出了
科学能够涵盖的范畴，从而倒置科学理论的不自恰。
换句话说，人类科学仅仅能干描述一个可数无穷的理论集合，根本无法描述不可数
无穷的理论集合。人类科学的理论，在自然界的度归上面，是一个无穷小量。
而无限不可数集合，又有很多层次。有实数无穷大，还有实数无穷大的无穷大
次方。远远超出人类的想象。
世界上最伟大的数学家之一的康托先生，在上帝的指引下，为了显示上帝的荣耀，
告诉大家，上帝就是所有无穷大里面最大的那个无穷大。
哥德而的证明，和康托的证明，有异曲同工之妙。 |
E*****m
发帖数: 25615 | 2 光憑 "人类科学仅仅能干描述一个可数无穷的理论集合" 這一句，
你就可以跟 windmind 平起平坐了。
研究實數的都可以改行了。 |
G*M
发帖数: 6042 | 3 版上的基督徒一谈起数学，逻辑，科学，总是让人喷饭。
借用某基督徒的话来说，问题在于“太肤浅”。哈哈
【在 E*****m 的大作中提到】
: 光憑 "人类科学仅仅能干描述一个可数无穷的理论集合" 這一句，
: 你就可以跟 windmind 平起平坐了。
: 研究實數的都可以改行了。
|
E*****m
发帖数: 25615 | |
G******e
发帖数: 9567 | 5 http://www.mitbbs.com/article/Mathematics/31184955_0.html
描述
【在 s*******i 的大作中提到】
: 也来说说哥德而
: 飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
: 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
: 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
: 在人类的逻辑体系之中，存在着无法证明的命题。
: 简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
: 简单的说一两句证明的过程。
: 科学实证主义试图从有限的几个公理出发，通过逻辑推导出一套自恰的完备体系，来描述
: 自然界。但是，从有限几个公理出发，仅仅能够得到可数无穷个结论，而自然界可能
: 的状态，至少是一个无限可数的集合，所以必然存在这某一个命题，超出了
|
s*******i
发帖数: 100 | 6 haha, poor boy,
Do you think math is 科学?
【在 E*****m 的大作中提到】
: 光憑 "人类科学仅仅能干描述一个可数无穷的理论集合" 這一句，
: 你就可以跟 windmind 平起平坐了。
: 研究實數的都可以改行了。
|
s*******i
发帖数: 100 | 7 Do you know any math at all? If not, why not keep quite?
【在 G*M 的大作中提到】
: 版上的基督徒一谈起数学，逻辑，科学，总是让人喷饭。
: 借用某基督徒的话来说，问题在于“太肤浅”。哈哈
|
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 的大作中提到】
: 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 的大作中提到】
: 也来说说哥德而
: 飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
: 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
: 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
: 在人类的逻辑体系之中，存在着无法证明的命题。
: 简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
: 简单的说一两句证明的过程。
: 科学实证主义试图从有限的几个公理出发，通过逻辑推导出一套自恰的完备体系，来描述
: 自然界。但是，从有限几个公理出发，仅仅能够得到可数无穷个结论，而自然界可能
: 的状态，至少是一个无限可数的集合，所以必然存在这某一个命题，超出了
|
x****g
发帖数: 4008 | 10 Thanks for sharing
描述
【在 s*******i 的大作中提到】
: 也来说说哥德而
: 飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
: 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
: 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
: 在人类的逻辑体系之中，存在着无法证明的命题。
: 简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
: 简单的说一两句证明的过程。
: 科学实证主义试图从有限的几个公理出发，通过逻辑推导出一套自恰的完备体系，来描述
: 自然界。但是，从有限几个公理出发，仅仅能够得到可数无穷个结论，而自然界可能
: 的状态，至少是一个无限可数的集合，所以必然存在这某一个命题，超出了
|
