长发男子终于放下托腮的手，浮现苦笑。
“我向来主张不做不必要的事。毕竟我将来想专攻物理，只是运用数学家提出的定理就行了，证明的工作交给你们。”
“但你对这玩意有兴趣吗？”石神拿起自己的笔记本。
“因为已经证明过了，反正知道被证明过了也没什么损失。”他看着石神的眼睛继续说，“四色问题已被证明，所有的地图都是涂成四色。”
“不是所有的。”
“没错。先决条件是，必须在平面或球面上。”
这是数学界最有名的问题之一，题目是<平面或球面上的任何地图是否都能以四色区分>，由a.凯莱在一八七九年提出。只要能证明的确是以着色区分，或是想出一个并非如此的地图就行了，结果却花了斤百年才解决。加以证明的是伊利诺大学的凯尼斯.阿佩尔和渥而夫甘古.哈肯，两人利用电脑，确定所有的地图约可归类为一百五十种基本的类型，终于证明这些都是用四色区分。那是一九七六年的事。
“我不认为那是个完备的证明。”石神说。
“我想也是。所以，你才会试图用纸笔解题。”
“那样的做法如果靠人工作业来调查，规模太过庞大，所以他们才会使用电脑吧；不过也因此无法完美判断那个证明是否正确。如果连确认都得使用电脑，那就不是真正的数学。”
“你果然是厄多斯信徒。”长发男子莞尔一笑。
保罗.厄多斯是生于匈牙利的数学家。他最有名的事迹就是一边浪迹各地，一边和各地的数学家共同研究。他始终抱着一个信念：好的定理必然有美妙自然又简单的证明。对于四色问题，他虽然也同意阿佩尔与哈肯的证明应该是正确的，却还是表示那个证明不够美。
长发男子看穿了石神的本质，他的确是“厄多斯的信徒。”
本网站为网友提供小说上传储存空间平台，为网友提供在线阅读交流、txt下载，平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现，无人工干预，本站自身不编辑或修改网友上传的内容（请上传有合法版权的作品）
如发现本站有侵犯权利人版权内容的，请向本站投诉，一经核实，本站将立即删除相关作品并对上传人ID账号作封号处理