美国数学家阿佩尔与哈肯利用电子计算机进行了大量的判断，最终证明了四色定理。（

2024-04-24

答案：

对

0
法国经济学家瓦尔拉斯利用荷兰数学家布劳威尔的不动点定理证明了一般均衡理论，成功地将数学和经济学结合起来并取得了重大突破。
1
“四色猜想”，最终在哪一年被人们用计算机得到证明
2
在哪一年，“四色猜想”，最终被人们用计算机得到证明？（）
3
现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976 年，情况却不是这样。那时，有些数学家不接受关于映射定理的计算机证明，理由仅仅是：定理是简单的，而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的，但所有的数学家都认识到，有些简单的数学定理确实少不了繁复的证明。如果上述断定为真，则以下哪项一定是真的？ Ⅰ．有些坚持简单定理应当简短证明的数学家，由于注意到简单的数学定理确实少不了繁复的证明，一定会考虑简单定理的复杂证明 Ⅱ．那些坚持简单定理应当简短证明的数学家，由于认识到“应当”不等于“可行”，一定不会拒绝任一定理的繁复证明 Ⅲ．现在一概拒绝通过繁复计算完成定理证明的人，一定不是数学家 A: 仅仅Ⅰ B: 仅仅Ⅱ C: 仅仅Ⅲ D: 仅仅Ⅰ和Ⅲ E: Ⅰ、Ⅱ和Ⅲ
4
第一次用计算机证明数学定理发生在1972年,主要是证明()。