第139章

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

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

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

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

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

早年长久zuo的就是自动编译qi系统，有关这方面的书籍可没少看，要说起数学定理机械自动证明这玩意，似乎还有个中国人是关键，破解了这个天地玄关，好像也叫文俊，弄chu个算法叫文氏算法，登上了这个领域的ding峰…世界还真他妈的小啊，随着年岁的增加，长久对梦中的事情反而越发的清楚，来到这个世界上之后到chu1都能碰到一些景仰的人wu。

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

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

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

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

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

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

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

就为这个，当浮一大白。

酒jing1下肚，老人的话慢慢的多了起来，大多是关于计算机的。长久静静的听着，不厌其烦的为老人zuo着解答。

临到末了，老人说了一句：“要是能有自己专用的计算机该多好啊，就不用和别人抢机时了，搞得今天还豁chu老脸跟人吵架，呵呵。”

“那没什么。”有点喝高了，长久当即答dao“等过几天我给您老弄一台来，要是不嫌弃，等我在这边办企业，机qi随您用。”

“那gan情好！”老人也是醉yan朦胧，不过似乎压gen没把长久的话当回事，哪有送人计算机的啊。

又结识了一个niu人前辈，长久shengan自己此行不虚，到底是值回票价了。

随后几天长久和老人整天在那里聊天，顺便jiaoliu一下学术上的一些事情，长久只是自学成才，论shen度自然不及这位大数学家，可是在计算机程序方面长久可是专家，两人所知互相印证，大有一日千里的gan觉。

几天之后，长久一算日子也差不多要去电子bu报dao了，这才向辞别了老人，文俊老人临别还题了一副字送给他，算是留个念想。

等长久chu现在电子bu的时候，不知是哪位bu长接待的，反正很热情。那人自称王之，又是泡茶又是敬烟，一点也没有对长久的年轻惊讶的意思，搞得长久十分之坐卧不安。

“真没想到您居然自己就过来了，这是我们工作的疏忽。”王副bu