“我沈某人搞了大半辈子数理逻辑，从罗素到哥德尔，纸上推演了无数遍，总觉着这玩意儿是书斋里的屠龙之技，中看不中用罢了。”
“可今日一见这仓颉，方才晓得——逻辑这东西，原来是能让铁疙瘩替人跑的！”
他说着，激动地指了指黑板上那排单字操作码。
“你看看这个'零'指令，累加器为零则跳转。这不就是一阶逻辑里的条件断言么？还有这个'跳'，便是无条件的重言式。”
“以前在北大讲堂上讲这些，学生们听得云里雾里。今日倒好，竟直接在机器上跑起来了！”
董世华先生也在旁边点头，语气里带着一股子压抑不住的兴奋，他说话比沈先生更文一些，带着点江浙口音。
“我跟沈兄前日刚到，看了周明同志他们写的指令表，一宿未眠。”
“你说这事儿巧不巧？我们搞了几十年的形式系统，到头来全在这台机器上找着对应了。”
“公理是指令集，推演规则是操作流程，定理便是程序跑出来的结果。”
“逻辑终于落地了！我这一辈子考究的学问也算是落地了！”
两位先生你一言我一语，说得屋里的年轻人都跟着笑了。
72719540
椒盐烤鸡翅提醒您：看完记得收藏【海航书屋】 www.hoohang.com，下次我更新您才方便继续阅读哦，期待精彩继续！您也可以用手机版：m.hoohang.com，随时随地都可以畅阅无阻...