数学家不懂逻辑--四色定理130年

参见中国科学院：【四色定理的逻辑问题....】https://idea.cas.cn/viewdoc.action?docid=73387

一，下面是1890年四色定理证明发生的过程：

第1条：平面或者球面只能画出4个两两相连区域，说明3种颜色对地图染色是不够的。

参见左图的图1。

至少需要4种颜色才能对地图染色。（必要条件）

第2条：A德摩根，证明了平面或者球面不能画出5个和5个以上的两两相连的区域。所以平面或者球面不需要5种颜色染色。（充分条件）

第3条：于是产生了命题——在平面或者球面的地图染色4种颜色就足够了。

推论：可以构造n个两两相连区域，并且无法构造n+1个两两相连区域等价于n定理（n种颜色就够了）。

下面是反驳第3条的例子：

参见上图的图2，反驳上面推论，这个图不是4个区域两两相连，依然需要4种颜色（6个区域，需要4种不同的颜色ABCD）。

的确，上面这个图2不是4个区域两两相连，但是3种颜色是不够的。

二，图2是不是反例？

什么是反例

1，至少有一个实例推翻一个全称判断命题的结论。

2，这个推翻命题的结论就是指：否定原来命题的结论。

3，如果没有达到否定的级别和力度，不能算反例。

图2的例子不是反例

1，反例是至少一个实例可以推翻一个全称判断命题的结论。上面的反驳（图2）没有得出推翻“需要四种颜色的结论”。即没有推翻上面的第3条：在平面或者球面的地图染色4种颜色就足够了。

2，上面这个例子（图2）也没有推翻充分条件，也没有推翻必要条件，只是说明了必要条件没有达到足够的力度。

那么，这个1890年的例子到底是什么级别的逻辑问题？

我也不知道，可以拿出来讨论。

三，数学家瞎折腾了130年

数学家不懂逻辑学，也不去请教逻辑学家，自己胡闹，居然使用计算机证明，这是非常荒唐的。因为计算机不能证明数学定理，不能判定事物属性。