而在计算机发展方面,数学就是它的基石,如今会有一个大数学家来到陕北,他陈常在当然会感到非常高兴了。
所以这两天他也抽空把特科同志弄来的,乔治·布尔的核心着作《逻辑的数学分析》(1847年版)和《思维规律》(1854年版)。
以及图灵在1936年发表於《伦敦数学学会会报》的论文,《论可计算数及其在判定性问题中的应用》,又都拿了出来让自己也复习一下。
现在他那些在精密仪器厂实验室中,搞机械式计算机的那些学生们。
他们所使用的计算机方面的基础教材,就是这两本书的翻译版本,而且是陈常在做过最後校订的。
虽然陈常在校订过这两本书,但他还是要把它们拿出来再看一看,温故而知新吗。
时间过的很快,就在陈常在一边看着「金雕」战斗机试飞的工作,一边温习着关於计算机上的一些理论基础的时候。
总部那边高个子领导的秘书特意打电话告诉他,说那位大数学家已经抵达陕北了。
并对陈常在说道:「那位大数学家在到了陕北之後,和首长们相谈甚欢,尤其是在看了总部那边,从小学到大学的学校之後更是赞不绝口。
更是对陕北竟然有水平非常高的理科学校,感到不可思议。
这位大数学家对总部的首长们说「自己来晚了,应该早些来的。」
而且他还是特意说要见一见首长您,说您现在,在西南地区的名气非常大,他也是仰慕已久了。」
陈常在则是好奇的对那位秘书问道:「叶秘书,这位大数学家是谁啊,现在可以说了吧。」
叶秘书在电话中说道:「报告首长,这位大数学家姓华,是在西南大学教学的非常厉害的一位数学教授。
反正他说的很多东西我是听不懂的,但是首长听的却是津津有味。」
听到了这个姓氏,陈常在就知道来的这位大数学家是谁了。
这位大数学家的到来,对陈常在来说真的是自己瞌睡的时候就有人给放上了枕头。
因为这位华姓大数学家,正是後世国内计算机行业的主要奠基人之一。
在後世的时候,这位华姓大数学家华教授虽然一直想来陕北,可是因为各种原因的阻挠,一直都没有成行。
後来在1946年的时候,他辗转去了美国教书,在1950年的时候他回国,并主持了国内计算机行业的发展工作。
如今这位大
本章未完,请点击下一页继续阅读!