,大家听懂倒是听懂了,但和林燃一样,觉得这个工作过于繁琐。
第51章 国际数学家大会
就属于你能找到方法,但这个方法可能你一辈子也算不出来。
“我知道大家会觉得我提的方法是无稽之谈,因为计算量太过于庞大,人类数学家可能穷极一生也没办法做出结果。
但我想要提醒各位,现在我们有了计算机这样的工具。
我相信有计算机的配合,我们是能够在很短时间内,可能一年,可能两年时间内利用计算机把这个问题解决的。”
四色问题原本应该在1976年,由数学家凯尼斯·阿佩尔和沃夫冈·哈肯借助电子计算机得到一个完全的证明。
他们借助的方法就是林燃所说的这个方法-放电法。
不过和林燃比起来,这两位的名声显然远远不如。
因此林燃提出后,大家都没质疑,听说过计算机的在思索要怎么利用计算机解决,没听说过的则在打听计算机是什么。
多说两句,阿佩尔和哈肯解决四色问题用到的计算机是IBM于1972年发布的370-168,共计耗时1200个小时。
但不代表当下的IBM 7090就不能解决。
IBM 7090的128KB内存不足以同时存储所有配置和中间结果,可以分批处理数据,并依赖磁带进行存储。
配置数据和验证结果会占用大量存储空间,可以使用磁带存储中间结果,确保数据在计算过程中的完整性。
“希望四年之后的数学家大会,能够听到四色问题已经被解决的好消息。”林燃最后总结道。
林燃的学术报告,对于了解计算机的数学家来说如听仙乐耳暂明,就好像拨开迷雾直接能够看到结果。
越了解计算机,越想赶快回研究所或者学校开始证明四色问题。
方法都不用自己想,林燃已经写的很清楚了。
甚至后续的数学家大会都不想再参加了。
谁先做出结果,谁就证明了困扰数学家一百多年的四色问题啊。
这是林燃在发福利呢。
对于不了解四色问题的数学家而言,你这说的哪里基础了,一点都不基础。
多伊林能听懂林燃在说什么,他已经目瞪口呆了,在林燃还没有回到座位上之前,他转身对西格尔说:“教授,你不提醒伦道夫,说自己做完发表的工作,数学家大会不一定要说自己的思路吗?
而且就算说自己的思路,不应该说自己思考没那么缜密,有可能有问题,一些有意思还需要完善的思路,让大家一起帮忙想想,看看能不能完善。
而不是自己已经想到了解决方法,把解决方法贡献出来,给别人直接把这个问题给做了吗?
这可是四色问题啊!”
四色问题是一个非常容易理解,外行都能听懂的问题,这种既有话题度又有含金量的问题可太少了。
解决一个就少一个。
而且四色问题还有时间的沉淀,离现在一百来年。
这种问题,成熟的解决思路,居然不自己用,就算自己不用也能留给学生,或者提供给本校的其他合作者,结果就这样被林燃公之于众。
什么叫大师风范,这就是大师风范,在场的年轻数学家们心想。
多伊林这种数学系主任内心则在滴血,这样的解决思路就白白送人了。
毕竟论计算机的运用,哥廷根肯定比不过阿美莉卡那些高校。
像纽约大学和哥伦比亚大学,学校里面就有和IBM的合作实验室,他们拿什么比?
西格尔说:“伦道夫心里想着的是整个数学界,而不仅仅是哥廷根。
你格局要打开,伦道夫帮助数学家利用计算机证明了四色问题,这里面也有哥廷根的功劳!”
没错,西格尔对于应付多伊林的抱怨已