送交者: Dishui 于 2005-5-30, 22:02:10:

哥德尔不完全性定理是说在一个有基本复杂程度的形式系统中。
系统的完全性和一致性不能兼得。
这个定理是逻辑定理而不是公理化体系内的定理。
在数理逻辑之前，大家有公里系统，但没有严密考察它的
逻辑完备性和一致性。
对于敢于与狼共舞的人，这个定理不算是麽。但对于有科学
晴结的人来说，这是一个很大打击。
实际上对科学更大的打击是测不准原理。他告诉人们脑子里
要的东西在实践中受天然的影响得不到。

• what is 逻辑定理而不是公理化体系内的定理? - steven (0 bytes) 2005-5-31, 14:40:43
• uncertainty principle is not as bad - 008 (235 bytes) 2005-5-31, 01:28:22
  • My two cents: - insight (183 bytes) 2005-5-31, 04:59:39
    • I completely don't know what are you talking about - 008 (51 bytes) 2005-5-31, 16:00:26
    • Yours is quite professional. - Dishui (0 bytes) 2005-5-31, 08:33:18

加跟贴