webjb

讨论宇宙真理或逻辑时羊拉屎就显得力有不逮

送交者: xing0gong 于 2026-07-27 08:52:58

需要改换模式，一坨一坨地拉。就像我一样。当然我还是一如既往地坚决支持你羊拉屎的权利。你是大佬，可以随心所欲选择你拉屎的模式。

这个地方不适宜展开关于宇宙真理和宇宙逻辑的认真讨论，只能最粗浅地就事论事。讨论的起点是，在数学史上宇宙真理和宇宙逻辑是否存在这两个概念，这两个概念是否延续至今？第二，逻辑原子主义希望把数学奠基于逻辑，但最终没有成功而是奠基于公理化集合论。为什么是集合论成为数学基础而不是数理逻辑？数理逻辑与数学的关系是什么？是不是意味着宇宙逻辑的感念在数学上已经没有了意义？当初，集合论与数理逻辑的第一块砖分别是什么？是不是因为这第一块砖的不同，导致数学最终选择集合论做为数学的基础理论？

回答所有这些问题绝不可能采用羊拉屎模式。即使一坨一坨，也是一大坨一大坨地拉。很明显，就像你不在sxg说经济学理论一样，这里也不是说集合论的地方。我把结论拉出来。在我看来，逻辑原子主义催生集合论。集合论的浅显直观反衬了逻辑原子主义的基础繁琐不自然。第二，哥德尔的不完备定理影响了逻辑原子主义的继续探索。

阅读次数：116

所有跟贴:

图灵机的基础是数理逻辑的递归论， xing0gong (402字节) 07/27 10 41:50 (10388130)

加跟贴