陈省身证明高斯博内公式是在预期理由的假设下--无效

陈省身有多么荒唐！的高斯博内公式是在假设下（预期理由）证明-------所以无效


     陈省身6页纸证明高斯博内公式是在假设下完成，是一种预期理由的错误。详见论文下面：基于公式（24），我们将在假设是一个闭的有黎曼流形情况下，给出公式（9）的证明。（即高斯博内公式）。预期理由暗含了假定存在的非逻辑前提，数学证明不得使用非逻辑前提。这是因为陈省身对逻辑学的无知。 




我们是不是太刻薄了？

高斯-博内公式的核心依赖于‌斯托克斯定理和‌奇点指标理论。在非闭、不可定向的黎曼流形上，原始高斯-博内公式不直接成立，但可通过拓扑转化或边界修正扩展其形式。具体推广需依赖流形的几何和拓扑性质‌。

非要让一个定理从头到脚讲清楚？如果我们假设1+1=2，...，推导出4+5=9，就不能算是证明，这是预期理由的错误！

必须有一个皮亚若公理在前面，我们可以推出4+5=9.。

所以，陈省身的证明无效！
人永远需要理由，解释永远需要解释来解释。数学家用公理把数学推理的无穷退后阻断，防止无休止的循环论证。公理让数学有了合法性。

这里有一个充足理由律：a真，因为b真并且b能够推出a。b是a成立的充足理由。就是一个正确思想赖以成立的正确根据。充足理由必须有真实性和相关性。

假设下的证明，就失去了充足理由。

      命题是什么，命题蕴含了概念和概念的关系，它是词项和连接词组成的事物。表征了外部世间事件的对象，以及对象之间的关系、于是就有了知识，概念是数学的核心。

       我们发现，只要符合某些规则，就可以从一个命题推出另外一个命题，从一个断言推出另外一个断言，我们把这个过程叫做推理。

我们又把那个大规模的推理，那个更加系统的推理叫做论证。

于是，我们的语言和知识的范畴不断扩大，结下了一张命题的网络——断言之网。我们通过断言之网理解我们的世界。

       逻辑的合法性来自于形式的合理性，而形式的合理性来自于实践的有效性。溯因达到严格的推理-论证才能叫做定理。

         在这里必须是没有任何模糊性，论证中的一切推理应该井井有条，一切细节环环相扣。结论的正确性建立在前提的正确性和真实性基础上。陈省身的证明没有正确的前提，他的前提是一个没有证明的假设，支撑证明的有效性，是前提的有效。当你的前提无效时，结论就不是可靠的。就不能算是定理。