《美国数学会》杂志总编室内,詹姆斯教授看过方院长的推荐信后,满怀疑惑的点开了李智的邮件。
《四色猜想的证明。》
四色猜想:任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色
证明:
假设一个数字为a,另一个数字为b
xnxn-1n+42n-1
当n5时,n+42n-11
xnxn-1n+42n-1
詹姆斯教授看完第一页顿时明白过来。
他神情顿时凝重起来:“原来这篇论文是从数学逻辑角度来证明四色猜想啊。有点意思!”
作为总编辑,詹姆斯教授本身就是一位优秀数学家。
在他眼中,使用计算机证明数学题,本身就是邪魔外道,是对数学这个神圣学科的亵渎。
只是苦于这么多年来,无数科学家在四色猜想上浪费了一生精力,却一无所得,数学界才不得不接受“机器证明”的事实。
“如果这篇论文真的把四色猜想证明出来了,那么事情就另当别论了!”
詹姆斯教授已经预感道,如果证明成立的话,一定会在数学界掀起一场轩然大波。
他打起精神,接着看下去。
第2页。
第3页。