从这以后，四色问题更出名了，成了数学上最著名的难题之一。由于问题本 身的简单、易懂，使几乎每个知道这个问题的人都想解决它。并且一旦接触这个 问题，就有点欲罢不能的感觉（当时有人称之为“四色病”），很多人为这个问 题的解决献出了毕生的精力，这其中既有数学方面的专家，也有普通的数学爱好 者。我们国内也有许多人为解决这个问题努力过，中国科学院数学研究所接到的 声称自己己经解决了四色问题的文章，放在一起足有好几麻袋，可惜他们的证明 都有错误。 到了本世纪70年代，四色问题的研究出现了转机。美国伊利诺斯大学的阿 佩尔、哈肯等人在研究了前人各种证明方法和思想的基础后，认为现在数学家手 里掌握的技巧，还不足以产生一个非计算机的证明。从1972年起，他们在前人 研究的基础上，开始了计算机证明的研究工作。终于在1976年彻底解决了四色 问题，整个证明过程在计算机上花费了1200个小时。 四色问题虽然解决了，但数学家心中多少还留有一点遗憾。用电子计算机解 决四色问题，没有创造出数学家们所期望的新方法和思想。数学家还在期待着不 借助任何工具，只依靠人本身智慧的“手工证明”。青少年朋友们，你们对四色 问题的手工证明有兴趣吗？如果谁有兴趣，可要千万记住，先得好好学习，掌握 足够的相关知识。用锤子和斧头这样的简单工具是造不出航天飞机的！从这以后，四色问题更出名了，成了数学上最著名的难题之一。由于问题本 身的简单、易懂，使几乎每个知道这个问题的人都想解决它。并且一旦接触这个 问题，就有点欲罢不能的感觉（当时有人称之为“四色病”），很多人为这个问 题的解决献出了毕生的精力，这其中既有数学方面的专家，也有普通的数学爱好 者。我们国内也有许多人为解决这个问题努力过，中国科学院数学研究所接到的 声称自己已经解决了四色问题的文章，放在一起足有好几麻袋，可惜他们的证明 都有错误。 到了本世纪 70 年代，四色问题的研究出现了转机。美国伊利诺斯大学的阿 佩尔、哈肯等人在研究了前人各种证明方法和思想的基础后，认为现在数学家手 里掌握的技巧，还不足以产生一个非计算机的证明。从 1972 年起，他们在前人 研究的基础上，开始了计算机证明的研究工作。终于在 1976 年彻底解决了四色 问题，整个证明过程在计算机上花费了 1200 个小时。 四色问题虽然解决了，但数学家心中多少还留有一点遗憾。用电子计算机解 决四色问题，没有创造出数学家们所期望的新方法和思想。数学家还在期待着不 借助任何工具，只依靠人本身智慧的“手工证明”。青少年朋友们，你们对四色 问题的手工证明有兴趣吗? 如果谁有兴趣，可要千万记住，先得好好学习，掌握 足够的相关知识。用锤子和斧头这样的简单工具是造不出航天飞机的!