迪。
然而谁都知道,建立一个逻辑严谨的体系比证明一个定理困难太多了,建体系是个浩大工程,需要巨大的、持续不断的人力物力财力投入。
建立基础数学体系的唯一优势是不用花费太过天文数字的金钱,最大的投入应该就是人力资源投入。
“我这手头缺兵少将的,水平也有限,目前捣鼓不出一套新的理论体系,还是先证明我的定理吧。定理证明多了,体系自然而然就出来了。”
是这个道理,欧几里得一生证明了465个定理,欧氏几何的经典体系流传了两千多年。
沈奇继续开展“穆勒-沈定理”的证明工作,并在9月底与穆勒合了一版初稿。
“令人振奋的成果是,我们完全证明了论断(1)和(2),比我在1982年时证明的更完美,毫无破绽。”穆勒显的兴奋,随即转入沉思状:“但问题是,论断(3)的证明结果令人沮丧,或许再过一个月我们才能完成最终证明。”
沈奇说到:“x*的每个w*闭凸集是逼近紧的切比雪夫集,对于这个论断(3),我觉得我们一开始的思路就错了,它是独立的,不应该和论断(1)、(2)联系在一起。但这并不是坏事,或许,还是件值得庆幸的事情,因为我们发现的早。”
www.。m.