No..除非证明4色猜想在现有公理体系下无法证明对错否则自己创造公理是没有意义的
晕,去年没看到这个帖子。
我觉得还是有价值的,比如罗氏几何和黎氏几何。
即使我们讨论的是欧氏几何中的四色定理,如果这位碰巧构建出了一个罗氏几何体系然后证明了罗氏几何中的四色定理,一样善莫大焉。
关键的差异是公理体系,真正的体系公理都是少而又少,而民科玩的把戏是证不出来了就加一条公理,根本离公理体系还差得太远。
即使我们讨论的是欧氏几何中的四色定理,如果这位碰巧构建出了一个罗氏几何体系然后证明了罗氏几何中的四色定理,一样善莫大焉。
关键的差异是公理体系,真正的体系公理都是少而又少,而民科玩的把戏是证不出来了就加一条公理,根本离公理体系还差得太远。
Yeah!