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