E*****m
发帖数: 25615 | 1 【 以下文字转载自 TrustInJesus 讨论区 】
发信人: sudongbai (苏东白), 信区: TrustInJesus
标 题: 也来说说哥德而
发信站: BBS 未名空间站 (Mon Jun 6 22:20:12 2011, 美东)
也来说说哥德而
飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
在人类的逻辑体系之中，存在着无法证明的命题。
简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
简单的说一两句证明的过程。
科学实证主义试图从有限的几个公理出发，通过逻辑推导出一套自恰的完备体系，来描述
自然界。但是，从有限几个公理出发，仅仅能够得到可数无穷个结论，而自然界可能
的状态，至少是一个无限可数的集合，所以必然存在这某一个命题，超出了
科学能够涵盖的范畴，从而倒置科学理论的不自恰。
换句话说，人类科学仅仅能干描述一个可数无穷的理论集合，根本无法描述不可数
无穷的理论集合。人类科学的理论，在自然界的度归上面，是一个无穷小量。
而无限不可数集合，又有很多层次。有实数无穷大，还有实数无穷大的无穷大
次方。远远超出人类的想象。
世界上最伟大的数学家之一的康托先生，在上帝的指引下，为了显示上帝的荣耀，
告诉大家，上帝就是所有无穷大里面最大的那个无穷大。
哥德而的证明，和康托的证明，有异曲同工之妙。 |
a****a
发帖数: 5763 | 2 简直是放屁
【在 E*****m 的大作中提到】
: 【 以下文字转载自 TrustInJesus 讨论区 】
: 发信人: sudongbai (苏东白), 信区: TrustInJesus
: 标 题: 也来说说哥德而
: 发信站: BBS 未名空间站 (Mon Jun 6 22:20:12 2011, 美东)
: 也来说说哥德而
: 飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
: 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
: 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
: 在人类的逻辑体系之中，存在着无法证明的命题。
: 简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
|
s*******i
发帖数: 100 | 3 Say something meaningful, Are you really math major?
【在 a****a 的大作中提到】
: 简直是放屁
|
x******a
发帖数: 6336 | 4 谁证明是在上帝指引下
另外谁证明的上帝是无穷大
【在 E*****m 的大作中提到】
: 【 以下文字转载自 TrustInJesus 讨论区 】
: 发信人: sudongbai (苏东白), 信区: TrustInJesus
: 标 题: 也来说说哥德而
: 发信站: BBS 未名空间站 (Mon Jun 6 22:20:12 2011, 美东)
: 也来说说哥德而
: 飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
: 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
: 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
: 在人类的逻辑体系之中，存在着无法证明的命题。
: 简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
|
Q***5
发帖数: 994 | 5 就说说这一段：
"科学实证主义试图从有限的几个公理出发，通过逻辑推导出一套自恰的完备体系，来
描述
自然界。但是，从有限几个公理出发，仅仅能够得到可数无穷个结论，而自然界可能
的状态，至少是一个无限可数的集合，所以必然存在这某一个命题，超出了
科学能够涵盖的范畴，从而倒置科学理论的不自恰。"
先是个小错：‘自洽’，不是‘自恰’
你好象把‘自洽’与‘完备’搞混了，你说的这一段象是在说科学理论不完备。‘自洽
’的意思是理论系统内部没矛盾。
还有，‘可数无穷’与‘无限可数’是一回事，推不出你那个“所以必然存在这某一个
命题，超出。。。”的结论。
【在 s*******i 的大作中提到】
: Say something meaningful, Are you really math major?
|
j******w
发帖数: 690 | 6 上帝应该是无穷小吧，
不然怎么看不见。
【在 E*****m 的大作中提到】
: 【 以下文字转载自 TrustInJesus 讨论区 】
: 发信人: sudongbai (苏东白), 信区: TrustInJesus
: 标 题: 也来说说哥德而
: 发信站: BBS 未名空间站 (Mon Jun 6 22:20:12 2011, 美东)
: 也来说说哥德而
: 飞机朋友们如此勤学好问，我很欣慰。我也顺便说两句哥德而吧。
: 哥德而乃是人类历史上屈指可数的几个聪敏的脑袋。他最重要的工作之一，
: 就是证明了人类逻辑的不可靠性。著名的哥德而定理的一个表述就是，
: 在人类的逻辑体系之中，存在着无法证明的命题。
: 简单来说，在以科学实证主义为基础的现代科学里面，存在这不自恰。
|
