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