数学命题为什么需要逻辑（思想）证明才能成为定理

AI导读带你速览精华 数学命题的证明是寻找并验证因果关系的过 ...

130年前A德摩根就证明了四色定理--只是数学家不懂逻辑学误解了

第 一，130年前，人们知道了平面或者球面至少需要4种颜色染 ...

吴文俊机器证明数学定理纯属胡编乱造

吴文俊和张景中搞得 机器证明数学定理已经失败。一，为什么机器 ...