第227章 你是说，在1951年的华国，你有内存焦虑？(2/2)

【畅读更新加载慢，有广告，章节不完整，请退出畅读后阅读！】

p; 推开门，一股纸墨味混着烟草味直接扑面而来。



    这间办公室比机房小了不少，却塞了十几号人。



    几个年轻人围在两张拼起来的桌子旁，正趴在纸上正在画指令流图，还有两个人凑在终端前，正对着一行行八进制的数字小声争论着。



    编程组的组长是个戴眼镜的中年人，叫周明，是林远从数学所里“借调”过来的。



    此时，他正跟两位老先生在黑板跟前讨论着什么。



    黑板上密密麻麻写满了字，左边是一竖排单字：取、存、加、减、乘、除、跳、零、入、出、停。



    每个字旁边都标着一个六位数的八进制操作码。



    右边还画着指令格式的框图：操作码六位，第一地址十二位，第二地址十二位，加起来正好三十位，剩下一位留空。



    那两位老先生，其中一位是沈有鼎先生，他是国内最早搞数理逻辑的专家之一，早年在西南联大、北大教数理逻辑，命题逻辑等等，可以说，华国国内，没人在这个方面比他更权威了。



    另一位是董世华先生，也是搞数理逻辑的，在国内与沈有鼎先生素有‘高山流水’之美称，也是前阵子刚被计算机所“借调”过来的。



    两位先生看着都五十出头，正值壮年，凑在黑板前指指点点，时不时还跟周明争上两句。



    林远和华教授面带微笑的站在门口看了一会儿。



    最后还是周明先瞥见了他，连忙放下粉笔迎了过来。



    “华教授，林远同志，你们来了！”



    沈先生和董先生也同步转过头来。



    沈先生推了推鼻梁上的眼镜，目光在林远身上停留了两秒，忽地咧嘴笑了。



    “林远同志，你可算是来了！”



    他说话带着一股子民国时期过来的知识分子特有的腔调，文白夹杂，却又不显迂腐。



    “我沈某人搞了大半辈子数理逻辑，从罗素到哥德尔，纸上推演了无数遍，总觉着这玩意儿是书斋里的屠龙之技，中看不中用罢了。”



    “可今日一见这仓颉，方才晓得??逻辑这东西，原来是能让铁疙瘩替人跑的！”



    他说着，激动地指了指黑板上那排单字操作码。



    “你看看这个'零'指令，累加器为零则跳转。这不就是一阶逻辑里的条件断言么？还有这个'跳'，便是无条件的重言式。”



    “以前在北大讲堂上讲这些，学生们听得云里雾里。今日倒好，竟直接在机器上跑起来了！”



    董世华先生也在旁边点头，语气里带着一股子压抑不住的兴奋，他说话比沈先生更文一些，带着点江浙口音。



    “我跟沈兄前日刚到，看了周明同志他们写的指令表，一宿未眠。”



    “你说这事儿巧不巧？我们搞了几十年的形式系统，到头来全在这台机器上找着对应了。”



    “公理是指令集，推演规则是操作流程，定理便是程序跑出来的结果。”



    “逻辑终于落地了！我这一辈子考究的学问也算是落地了！”



    两位先生你一言我一语，说得屋里的年轻人都跟着笑了。