无法理解吗？

电子计算机正改变着数学的灵魂。从前，数学证明必须是简短而明白易懂的，以便于人们的理解。这种观念正迅速地为人们所淡忘。例如，1976年，Wolfgang Haken和Kennth Appel曾经报导，一种电子计算机程序检查了1482种图形，这些图形代表了一切可能的地图构形。该程序发现，只要用四种颜色就足以给任何一种地图着色，使得任何两个相邻区域都具有不同的颜色。尽管计算过程花费了1000小时以上，这一结果从理论上讲还是可能用手工计算来进行核对的。