小说园

第71部分（第2页）

站在台阶上，凉爽的晚风吹得人很是舒服，老人深吸一口气，从衣兜里摸出皱巴巴的一包前门，抖了一下，却是空空如也。

长久赶紧掏出刚买的健牌奉上，老人看了长久一眼，捏了一根出来，刚想掏火柴，叮的一声，不锈钢火机已经点上了。

“档次挺高嘛，你哪个系的？”老人深吸一口，顿时神清气爽，对眼前这个素不相识的年轻人感觉很好，看穿着估计也是一**，难道有所求而来？

“我数学系的！”长久编瞎话眼睛都不眨，他刚才帮忙的时候看老人的资料全是一些数学定理证明之类的东西，真好自己对此也有一点认识，就打蛇随棍上，顺口就说了数学。

“数学系的啊，不会是找我老头子后门的吧，呵呵。”老人笑道，“先声明，我可不管工作分配啊。”

长久一愣，随即哈哈大笑，连连摆手道：“不用您麻烦，只是看您一大把年纪还这么兢兢业业搞研究，作为一个晚辈，您是一个值得尊敬的人而已，仅此而已。”

“小子还满敬老的嘛！”老人看着长久的眼睛，清澈见底，似乎也找不到什么其他的意思，“那好吧，天色也不早了，一起去吃个饭吧，生平不受人滴水之恩，你请我抽烟，我请你吃饭。”

长久一看表，六点半了：“我请您吧，相聚也算是个缘分，跟我这个晚辈你就甭客气了。”

一老一小，两人来到了一家饭馆，点了几个菜，要了四两酒，就开始吃了起来，边吃边聊。

“看谈吐穿着，你不像个学生啊！”老人问道，他也很好奇。

略一思索，长久答道：“我刚从国外回来，对清华园仰慕已久，就顺道看看，没想到和您碰上了。”

“哦，还是个归国华侨啊。”老人道，“自我介绍一下，我姓文名俊，在清华教数学，不算个什么人物，呵呵。”

“我姓曹，叫曹长久，您就叫我小曹吧。”长久敬了老人一杯酒，“您是个数学家，想必对计算机是精通的了。”

文俊老人哈哈大笑：“哪里，我对计算机其实一窍不通，以前输入都得找别人。”

~~~~~~

为下周预定花，有收藏更好，呵呵。

……公告：网文联赛本赛季海选阶段最后三周！未参加的小伙伴抓紧了！重磅奖金、成神机会等你来拿！点此参与……》

一百三十九

长久道：“数学家逻辑严谨，那些计算机程序肯定一瞧便会，要换了其他学科的人，估计到您这岁数连计算机是啥都不知道。”

文俊老人虽知这是马屁，但是还是舒服啊。

长久又道：“冒昧问一句，您是做什么研究的，我数学也学过一点。”

“定理证明。”老人脱口而出，“机器定理证明，就是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，你听说过没有？”

这么长的专业语言别人或许不知道，长久还是了解的：“这个啊，很有用的，对计算机逻辑和程序语言、人工智能来说这个就是基础，想不到您居然对这方面有研究……”

早年长久做的就是自动编译器系统，有关这方面的书籍可没少看，要说起数学定理机械自动证明这玩意，似乎还有个中国人是关键，破解了这个天地玄关，好像也叫文俊，弄出个算法叫文氏算法，登上了这个领域的顶峰……

世界还真他妈的小啊，随着年岁的增加，长久对梦中的事情反而越发的清楚，来到这个世界上之后到处都能碰到一些景仰的人物。

想到这里，长久顿时肃然起敬，举杯问道：“您老辛苦了，不知道您研究到什么程度了，我对此也有点心得，不知道能不能交流一下。”

文俊老人很感兴趣，随便问了几个问题，长久一一回答并做了一些引申，老人闻之大喜，一把抓住长久的手说：“相见恨晚啊，我虽说搞这个，却刚刚开始学计算机，十窍九通，你的想法很好啊，大有启发，大有启发。”

长久微笑道：“不算什么，大家行业不同而已。您也在国外求过学的，怎么不留在外面，那里的学术环境应该好一点吧。”

老人大笑，幽默的说：“看你怎么想了，我有两个导师，一个是老外，他就挽留我，说国外可以赚很多很多money。另一个则说看你自己，只要有心，无处不是学问。这不我就回来了。”

长久也笑，两人又举杯干了。

老人又讲道：“不过回来也不错，中华民族的传统文化还真是取之不尽，有些古老的数学典籍确实很有研究价值，我现在的研究就从中吸取了很多营养。”

长久知道这事，记忆中这位泰斗就是这样，总是那么的推崇传统数学研究，并做出了举世瞩目的贡献。且不管是不是真的，至少人家是专家泰斗加权威，说从中国古籍中推出来的公式，你个老外不信也得信，谁让你在这方面超不过人家捏。

就为这个，当浮一大白。