一周后,费舍尔放弃了证伪,起身去普林斯顿高等研究院找其他几位研究员聊一聊这篇论文。
维布伦、施瓦尔兹、塞尔伯格、陈省身等数学家全都在办公室内坐着,大家一起开会。
“距离上次大家拿到论文,已经过去二十多天时间,现在大家讨论一下,这篇论文到底应不应该通过?”
在维布伦开口之后,办公室却显得异常安静,大家都没吭声。
如今的北美,维布伦算是数学界数一数二的存在,也是普林斯顿大学和普林斯顿高等研究院地位最高的数学教授或研究员。
九年前,也就是一九五零年的国际数学家大会,维布伦便是那一届大会的主席,足可见他的地位。
施瓦尔兹和塞尔伯格两人就不用说了,他们就是一九五零年那一届数学家大会的菲尔兹奖获得者,不管是成就还是地位,都非常高。
虽然塞尔伯格的主要科研成就集中在解析数论、筛法、迹公式与自守函数、离散群等领域,但他在拓扑空间领域内,也略懂一些。
所以他也被喊过来参与本次论文审阅。
陈省身就更不用说了,虽然他现在还不是山姆国籍,但他却是从一九四九年之后,举家来到了山姆,至今已有十年。
目前他是芝加哥大学教授,但因为他结合微分几何与拓扑学的方法,完成了两项划时代的重要工作:高斯-博内-陈定理和汉密尔顿流形的示性类理论,为大范围微分几何提供了不可缺少的工具。
这些概念和工具,已远远超过微分几何与拓扑学的范围,成为整个现代数学中的重要组成部分。
在数学史的地位,非常非常高!
换句话说,在拓扑学领域内,陈省身就是权威专家。
因此他可以说是这一次高维庞加莱猜想证明论文的最重要审核员,没有之一的那种。
办公室内,沉默十多秒钟之后,费舍尔突然开口:
“诸位,我已经对这篇论文进行三次详细审阅,并且计划进行证伪,但是很明显,我证伪失败了,我找不到反例.....”
费舍尔的话,引起了施瓦尔兹几人的点头,陈省身则是摇头失笑。
他在看到这篇论文的时候,便感觉高维庞加莱猜想恐怕已经被证明了。
所以他看完第一遍论文之后,便知道自己的直觉并没有出错,第二遍看完之后,他就没有再看这篇论文。
毫无疑问,季青临这位东方数学天才投稿的论文,相当完美。
塞尔伯格也点头道:
“是的,这篇论文很完美,季这位作者创立了现代抽象微分动力系统理论,证明了四维以上的庞加莱猜想....”
“对了,陈,论文作者是来自东方,而且上一次的《奇数阶定理》那篇论文也是这位数学天才写的,能不能邀请他来我们普林斯顿大学任教或做研究呢?”
听到塞尔伯格的话,维布伦等人都没有觉得意外,因为他们觉得这一切理所当然。
如今的世界,北美才是真正的乐土,吸引着全世界的人前来这里定居。
虽然二战后的杜鲁门等人,在大战略上面完全没有格局,任由丘吉尔的铁幕演说中的对抗理论散播看来,甚至杜鲁门还亲自挑起了冷战序幕。
但是该说不说,现在的北美大陆,绝对算得上是安居乐业的乐土,相对全球其他地方来说好很多。
如若不然,二战结束之后,也不会有那么多人前往北美,并且北美从一九四六年开始,也不会拥有长达二十年的婴儿潮,使得山姆国的人口骤然飙升。
另一方面,普林斯顿又是目前全球唯二数学中心,对于很多数学学生来说,那就是圣地一样的存在。
而季青临这样一位数学天才,普林斯顿当然是非常希望能够吸纳这样的人才。
陈省身摇头:
“我会给他写信的,就是不知道他是否愿意前来北美大陆,另外,我认为你们也应该主动给到他足够多的帮助,否则的话,故土难离,只怕这位作者不太愿意远渡重洋....”
“好,我会亲自写信,这一次的论文稿费,我会按照最高标准拨付稿费....”
维布伦也笑着点头说道。
此话一出,塞尔伯格等人纷纷点头,表示这样可行。
费舍尔目瞪口呆:“我们不是在讨论这篇论文是否应该通过吗?怎么突然变成了这样?什么时候准许论文通过的?什么时候表决的?我怎么不知道?”
不过,费舍尔并没有问出来。
这篇论文无法证伪,并且陈省身、塞尔伯格等人都认为论文完全没有任何问题,可以准许通过。
无须举手表决,维布伦已经表示按照最高标准来支付稿费,以此吸引季青临这位东方数学天才。
“陈,你认为有没有必要去一趟远东那座城市?亲自邀请他来我们普林斯顿大学,会不会更加有诚意一点?”
陈省身摇头:
“不,我觉得让他来我们芝加哥大学会更好!”
第206章 101项目成立,第一次正式会议
一九五九年五月中下旬,七七四厂,机床实验室内的会议室,此时已经坐满了人。
周志民坐在最前面的主位,看着慈云桂等人,面带严肃的表情。
“各位同志,经过半个月时间的准备,今天我们101项目正式成立,现在是第一次正式会议.....”
这间会议室,是机床实验室专门分隔开的一个房间,用来开会使用的。
以前一直都是把周志民的办公室,当成会议室来使用。
赵应贤他们这些领导来了要开会,周志民跟李学国他们进行开会时,也都是在他那间狭小的办公室里进行。
但是现在已经不一样了,有新的会议室使用,大家也不用站着做笔记了。
今天能够坐在会议室的所有同志,都经过严苛的政审等程序,这才最终得以坐在现场。
换句话说,他们都是值得信任的同志。
所以一开场,周志民就给这群人打鸡血了。
“我们101项目要研发的是超级计算机,那什么是超级计算机?顾名思义,这是一种规模与性能超乎想象的计算机,完全属于另一个量级!”
“可能在场很多人并不知道,超级计算机在很早之前就已经出现了,那是IBM公司在一九二九年为哥伦比亚大学定制的制表机,其性能被描述为‘相当于100名数学家’......”
“第一台可编程通用数字计算机在一九四二年被委托建造,于一九四五年首次在陆军弹道研究实验室投入使用.....那是一台占地三居室大小的庞然大物....”
“今年IBM公司推出首款晶体管大型机7090,不过他们还没推出真正的超级计算机,目前7090只不过是高端计算设备罢了。”
“那我们为什么要研究超级计算机?是不是说外国人有的,我们必须就得有?”
周志民环视一圈,道:
“不是的,我们并不需要崇洋媚外,我们之所以要研究超级计算机,那是因为我们国内很多高端研究项目,都需要用到.....”
“比如核裂变技术、天气预报、流行病学、材料份子动力学、核聚变技术等研究,这些领域的研究都涉及庞大到必须依赖超级计算机解决的问题.....”
什么是核裂变技术?
那是原子弹!
那什么是核聚变技术?
这是氢弹!
会议室内,众人齐齐一震。
目前,我们大西北就正在进行原子弹的研发,在场不少人都大约知道或者清楚这件事。
然而氢弹这个项目却是没什么消息,反正没多少人知道。
“好了,现在闲话少说,我们进入正题....”
周志民道:
“你们手头上的资料,大家都翻看过,相信也不陌生,我研制的超级计算机分为软件部分和硬件部分....”
“所以我们项目组将会分为硬件部门和软件部门,其中硬件部门下属小分组会比较多...”
超级计算机硬件包括中央处理器、辅助处理器单元、内存系统和输入输出设备这四大部分。
每个硬件所需要的研发人员会根据该硬件的技术难度等级进行合理分配,周志民对此最有话语权。
“软件部分将由我亲自负责,徐教授,我需要你帮我解决部分技术问题,编程书本我会在下个月结束之前编写完成....”
徐献瑜闻言,表情微笑地点头,但旋即却提出了疑问:
“周科长,据我所知,现在国外已经研发出汇编语言,以及IBM公司在前年推出的FORTRAN这种目前广泛使用的高级语言,专注于科学计算和数值分析,不知道我们要使用哪一个方向的创新语言呢?”
作为北大数学力学系计算数学教研室主任,徐献瑜对于能够参与到101项目是由衷感到高兴的,因为这样的话,就可以学以致用。
并且现如今101项目的软件部门,几乎大部分都是北大毕业生,因为目前计算数学专科班的大四学生,几乎都在这个部门里。
北大计算数学专科班是在一九五五年成立的,这是我们国家最早建立计算数学学科的大学,没有之一。
其研究方向涵盖数值代数、数值分析、偏微分方程数值解、大规模科学计算与并行算法等领域,注重运用现代数学理论与方法解决科学与工程问题,并分析和提高计算的可靠性、有效性和精确性。
然而这一时期的编程技术,无疑是非常简陋的,即便是北大,现在也是摸着石头过河。
最早期的编程语言依赖于机器语言,比如二进制代码,程序员需要直接操作硬件指令,过程繁琐且容易出错。
为了提升效率,国外在五十年代就陆续创新了编程语言,比如刚才徐献瑜教授说的FORTRAN,还有MOV、ADD等助记符等汇编语言来替代机器语言。
“徐教授,你的问题,我先不说,我们来先说说外国在今年刚刚推出的一种新的汇编语言,叫COBOL(Common Business-Oriented Language),这种语言面向商业数据处理,强调可读性和数据管理....”
周志民道:
“我研究过,COBOL语言通过接近自然语言的语言抽象了硬件细节,显著降低了编程门槛,虽然他们因此提出了操作系统的概念,但依然摆脱不了硬件与软件技术协同进步的桎梏....”
“不过我想说的是,操作系统这个概念,还是非常有用的....”
“我们要研发的是计分板技术,这是一种流水线处理器中的动态调度技术,通过对顺序执行的汇编语言指令进行乱序执行优化,以提高处理效率....”
“同时,我还会在其中加入模块化和控制结构的概念,以此减少代码复杂性,还有如瀑布模型等软件生命周期模型,来规范需求分析、设计和测试流程....”
伴随着周志民的声音,徐献瑜等人的表情,全都凝重起来。
比如周志民提出的需求分析、设计和测试流程,这一点对于后续的很多测试计算研究项目将会起到很大的帮助。
其实现在的大西北,目前还在进行‘内部理论扫盲班’这个阶段。
邓稼先亲自讲课、辅导,带队翻译外文著作,另一边则是选定中子物理、流体力学、高温高压状态方程三个主攻方向。
简单来说,就是从最基本的原理出发,自己算、自己推、自己试错。
从去年年开始,邓稼先就从原本相对公开的学术平台,转向一条注定‘不能抛头露面’的道路。
而他们现在的计算手段,原始得让人难以想象,比如大规模运算,全凭算盘和计算尺。
复杂的非线性方程组,要一批人轮班算法一个多月。
一个关键的参数,为确保可靠,往往要重复计算九遍以上。
今年的国际上是什么特殊情况,干科研工作的人,基本上都听说了。
所以邓稼先他们都已经做好了完全无法得到隔壁邻居专家帮助的最坏打算。
因此,这也是为什么上面会愿意支持周志民成立101项目进行研发超级计算机工程的决定。
徐献瑜大概知道核裂变技术需要进行哪些方面的计算工程,而周志民提出来的规范需求分析、设计和测试流程,确实能够帮助到大西北项目的理论研究工作。
“好了,软件部门我大概就先说这么多,接下来我们聊一聊硬件部门!”
周志民道:
“硬件部门非常重要,最核心关键是中央处理器和内存系统....”