怎样推翻整个现有的数学体系？
         （本文首发于知乎）
         其实这个很简单。大家应该明白：如果一个理论证明了两个不一样的东西是同一个东西，那就说明这种理论在逻辑上无法自洽，也就证明了这种理论是错误的。
        
         而数学中有一个很有趣也非常知名的证明，那就是在数学体系中用各种方法证明了0.99的循环等于1，也就是说证明了这两个数是同一个数。  
    
         而实际上0.99的循环和1是两个相邻的实数。大家应该知道肯定存在两个实数相邻的情况吧。有人也许会认为两个相邻的实数之间相差了一个无穷小，所以是两个数，其实这种想法也是错误的。因为相邻的两个实数之间是严丝合缝（致密）的，它们之间不相差（或者说两数中间放不下）任何数值，也就是说两个相邻实数之间的差额为零，比如说0.99的循环和1。而在现有的数学体系中，如果两个数的差为零，那么它就是同一个数，所以0.99的循环和1被各种数学方法证明了是同一个数。这显然是不符合实际的数值情况的。这就是现有数学体系中一个非常大的缺点：数学它无法描述两个相邻的实数。所以你在现有数学体系中其实找不到任何关于两个实数相邻的数学定义，也找不到任何关于两个实数相邻的数学证明方法。现有的数学体系没有解决数值中这个非常基础的问题：准确的描述一个任意实数。所以它就加无法描述和定义两个实数相邻，它在这方面是无法达到逻辑上的自洽的，和实际的数值是不符合的、是矛盾的，所以你完全可以认为现有的数学体系其实是错误的。这就有点像牛顿物理学，其实它只是一套近似的物理理论，所以当爱因斯坦研究出了相对论之后，他才非常兴奋的说他的理论推翻了整个传统物理学。    

        希望未来也有数学家能够推翻整个现有的这个不完善的，或者说是错误的数学体系。也许突破点就是从成功的描述、定义和证明两个实数相邻开始。祝各位能够成功！

        所以想证明0.99的循环和1不相等的人，错误并不在于你这个出发点，而是在于你想用现有的数学体系去证明它们不相等，而在现有的数学体系中它们就是相等的，因为现有的数学体系是错误的（简称：数学是错的）。也就是说，你的错误是在于想用一个错误的理论系统里面的那些错误的方法去证明一个实际情况是正确的，那你就一直是在一个错误的系统里面打转，想用错误的方法去寻找一条正确的出路。而在这个问题上，正确的做法是抛弃整个现有的、错误的数学体系，像爱因斯坦建立相对论那样建立一个全新的、正确的、更加符合事实的理论——相邻论，或者叫相邻数学。任重道远，加油吧！祝道友你青史留名，留取金脑照汗青。

         在这里我先给出一条实数相邻的粗糙的定义，就当是抛砖引玉吧：如果两个明显不同的实数之差等于零，则这两个实数相邻。

       另外，非标准分析体系已经问世大半个世纪，但是由于它学起来实在是太困难，所以没在学校中教授，本质上来说它认为一个实数所占用的空间是一个无穷小，用这套数学体系可以证明0.99的循环和1是一个数也可以是两个数。这比传统的数学体系更进了一步，就像《天体运行论》相较于地心论一样，但它依然是错的，因为，就像光子静止时的质量是零那样，一个任意实数所占用的空间不是无穷小而是0 。

       其实，现实上的问题，并不是如何去推翻现有的数学体系，而是你如何创建一个更好的、更接近真相的理论体系去替代它。可以肯定的是， 人类所有现有的理论体系都是错的，都注定只是近似解，因为人类的认知是有限的，而现实世界是无限的。你能够做的只是去无限的逼近真相。

#数学 #实数相邻 #相邻的实数 #相邻论 #数学是错的 #非标准分析
--
FROM 113.84.1.*