1976年,美国数学家阿佩尔和哈肯宣布,它们用电子计算机足足算了1200个小时,终于证明了四色问题!这是迄今为止做出的最繁的数学证明。
1852年,伦敦的一名学生思烈在一封信中提到:“在平面或球面上画地图,要是的相邻的国家具有不同的颜色,似乎只要四种颜色就够了。”人们猜测这里面是否存在着某种必然性,数学家把它归纳为拓扑学上的数学问题,这个问题就是著名的四色问题。100多年来,许多数学家为此作了巨大的努力,虽然取得了进展,但都没有获得最后的证明。直到美国数学家阿佩尔和哈啃的证明。
1976年,美国数学家阿佩尔和哈肯宣布,它们用电子计算机足足算了1200个小时,终于证明了四色问题!这是迄今为止做出的最繁的数学证明。
1852年,伦敦的一名学生思烈在一封信中提到:“在平面或球面上画地图,要是的相邻的国家具有不同的颜色,似乎只要四种颜色就够了。”人们猜测这里面是否存在着某种必然性,数学家把它归纳为拓扑学上的数学问题,这个问题就是著名的四色问题。100多年来,许多数学家为此作了巨大的努力,虽然取得了进展,但都没有获得最后的证明。直到美国数学家阿佩尔和哈啃的证明。