用计算机证明四色定理算真正证明吗?1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在

用计算机证明四色定理算真正证明吗?1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在 历史上有人用计算机给出了一个四色定理的证明,我想知道用计算机证明的思路是什么,有算法最好了.或者贴一个有这些东西的链接也可以. 四色原理是怎么证明的听说已经用计算机证明了,可是这玩意用计算机又怎么证明呢? 证明四色定理 吴文俊的机械化证明的主要思路是什么?用计算机程序怎么证明几何定理呢? 如何证明四色定理 哪个灯泡更亮,用计算证明. 谁能证明四色定理 世界未解的数学难题世界上还有哪些数学难题未解,越多越好,越好,四色猜想是不是已经得到了纯数学理论的证明（不是用计算机证明）?五个海盗分金币的问题是世界难题吗?获得证明了没有? 怎么用计算的方式证明1等于0.999999999999999 费吗定理证明 究竟有没有四色定理的纯数学证明? 四圆定理定理内容是什么?怎么证明? 至今还有什么数学定理没被证明比如四色猜想（没人证明,是计算机）还有比如曾经没被证明,沉睡340年的费马大定理有类似的吗 给你4点如何证明共圆!A (0,0),B(1,3),C(10,0),D (2,-4)如果不画图,可以用计算证明吗? 证明：余弦定理余弦定理证明方法 定理都需要证明吗?定理都需要证明,还是不一定都要证明呢? 我想到一个关于四色定理的证明,怎么样发表出去?