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