定理,轰动了世界。
计算机证明虽然做了百亿次判断,终究只是在庞大的数量优势上取得成功,这并不符合数学严密的逻辑体系,至今仍有无数数学爱好者投身其中。
这个定理最初是在1852年,毕业于伦敦大学的格斯里(来到一家科研单位搞地图着色工作时,现每幅地图都可以只用四种颜色着色。
这个现象能不能从数学上加以严格证明呢?
他和他正在读大学的弟弟决心试一试,但是稿纸已经堆了一大叠,研究工作却是没有任何进展。
1852年1o月23日,他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密顿爵士请教,但直到1865年哈密顿逝世为止,问题也没有能够解决。
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题,
世界上许多一流的数学家都纷纷参加了四色猜想的大会战。
从此,这个问题在一些人中间传来传去,当时,三等分角和化圆为方问题已在社会上“臭名昭著”,而“四色瘟疫”又悄悄地传播开来了。
到目前为止还没有人解决这个问题。
李大宝提出这个理论,就是期待其他人能够证明这个理论,为数学的展指出一条明路。
备用站:www.lrxs.org