感觉科学有个很重要的点
我暂时起个名词叫 不可证明逻辑(可能也叫公理)。
就是在学极限的时候,最大感触是这也需要证明,这不需要证明。
后来我的逻辑很乱,就像了如下一些问题
当然逻辑可能有问题,思维太混乱了。
1.如何证明一个命题需要证明?
公理不需要证明,为什么?
但确实需要不需要证明的逻辑,也就是最小逻辑不可证明链。
因为如果一个命题的所有推理的如果命题都需要证明,那么证明一个命题将是无穷证明,而无法证明。
关于科学的原理
文章探讨了在数学尤其是极限概念中,不可证明逻辑的重要性,即某些命题作为公理无需证明,但保持逻辑自洽性的关键在于构建一个最小的、不可证明的逻辑链条,避免无限递归证明的问题。

被折叠的 条评论
为什么被折叠?



