一个平面地图只用四种颜色即可区别开相邻的国家？1852 年10 月23 日, 英国数学家德 摩根(A. De Morgan, 1806-1871) 在给他的好朋友、数学家哈米尔顿(W.R.Hamilton, 1805-1865) 的一封信中写道:“今天, 我的一位学生让我说明一个事实的道理, 这是我以前未曾想到而现在仍然难以

关于是否会存在定理证明机，在理论上人们是有过不同的看法的。有些人认为不可能，如著名数学家庞加莱；而有些人却觉得是可能的，并从理论上进行了论证，如著名的数理逻辑学家塔尔斯基。同时他还指出初等代数和初等几何范围的定理证明是可以实现机械化的。而在希尔伯特的《几何