简介:四色问题又称四色猜想,是世界近代三大数学难题之一.1976年两位美国数学家Appel与Haken借助计算机给出了一个证明.时至今日,四色问题的正确性早已得到数学界所承认.但是围绕它的非计算机证明,在近几十年来涌现出了各种不同的研究成果.一方面丰富了图论的内容,另一方面又促进了图的染色理论的发展.本文从研究四色问题的意义出发;揭示了四色问题所隐藏的深刻规律,在此基础上提出了一个比四色问题更具有广泛意义的理论构想.主要目地为四色问题的非计算机证明提供一个研究方向.
简介:国内外许多学者认为,数学是有别于自然科学和社会科学的独立科学形式。本文主要参考《古今数学思想》[1]和《数学史教程》[2],从历史与哲学的角度探讨数学成为独立科学形式的主要根源。通过考证发现,数学成为独立科学形式的主要根源在于历史上三次重大的哲学思潮,它们导致了纯粹数学研究与背景问题(学科)研究的一次融合和三次重大分离,即:(1)毕达哥拉斯的'万物皆数'的哲学思想导致了第一次分离,形成古希腊抽象数学体系;(2)随着'文艺复兴'时期古希腊文明的复苏,数学和背景问题(学科)研究开始强大融合,并逐步被笛卡尔、伽利略以及后来的牛顿和莱布尼茨的'科学的本质是数学'的哲学思想所主宰,导致了