若世界是逻辑的,那一定因果无穷,永无源头。等于说任何一个子系统不具自身逻辑完备性,它的因果一定有泄漏,就这么简单

所有跟帖: 

形式逻辑主要是形式。和Causation没有必然联系。 -露重烟微- 给 露重烟微 发送悄悄话 (265 bytes) () 10/27/2024 postreply 13:06:45

形式逻辑不研究逻辑岂非只剩形式了?不完备性就是说一个封闭系统无法在边界内自证其全部逻辑性,宇宙普适,不管哥德尔 -老键- 给 老键 发送悄悄话 老键 的博客首页 (0 bytes) () 10/27/2024 postreply 14:11:48

这背后就是说,你可以有,至少理想化上,封闭的物质系统,但不可能有封闭的信息系统,如果硬要定义封闭信息系统,就是无信息 -老键- 给 老键 发送悄悄话 老键 的博客首页 (0 bytes) () 10/27/2024 postreply 14:15:44

文中也说啦,哥同学还有完备定理,一阶形逻就可以“自证”。不完备的只是有些系统,并不是宇宙普适。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/27/2024 postreply 14:55:00

是不是普适是关键的区别。下次写,可以从这方面开始:) -JSL2023- 给 JSL2023 发送悄悄话 (175 bytes) () 10/27/2024 postreply 15:42:51

是的,只研究逻辑的形式(form)。如果“形式”这个翻译在中文中暗示了只是研究表面,您可以将它想象成是在研究各种结构。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/27/2024 postreply 14:54:00

再看了一下,大概您是在谈物理系统?哥同学证明的是数学逻辑系统。完备是有严格定义的概念,和咱们日常用法也是不一样的。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/27/2024 postreply 15:04:00

这大概可以回到欧式几何的讨论,严格定义的点和线在我们日常生活是不"存在"的,但这门"数学"正指导着我们的生活:) -JSL2023- 给 JSL2023 发送悄悄话 (0 bytes) () 10/27/2024 postreply 17:01:45

请您先登陆,再发跟帖!