他神情顿时凝重起来:“原来这篇论文是从数学逻辑角度来证明四色猜想啊。有点意思!”
作为总编辑,詹姆斯教授本身就是一位优秀数学家。
在他眼中,使用计算机证明数学题,本身就是邪魔外道,是对数学这个神圣学科的亵渎。
只是苦于这么多年来,无数科学家在四色猜想上浪费了一生精力,却一无所得,数学界才不得不接受“机器证明”的事实。
“如果这篇论文真的把四色猜想证明出来了,那么事情就另当别论了!”
詹姆斯教授已经预感道,如果证明成立的话,一定会在数学界掀起一场轩然大波。
他打起精神,接着看下去。
第2页。
第3页。
....
内容未完,下一页继续阅读