有收藏更好，呵呵。
……公告：网文联赛本赛季海选阶段最后三周！未参加的小伙伴抓紧了！重磅奖金、成神机会等你来拿！点此参与……》
一百三十九
长久道：“数学家逻辑严谨，那些计算机程序肯定一瞧便会，要换了其他学科的人，估计到您这岁数连计算机是啥都不知道。”
文俊老人虽知这是马屁，但是还是舒服啊。
长久又道：“冒昧问一句，您是做什么研究的，我数学也学过一点。”
“定理证明。”老人脱口而出，“机器定理证明，就是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，你听说过没有？”
这么长的专业语言别人或许不知道，长久还是了解的：“这个啊，很有用的，对计算机逻辑和程序语言、人工智能来说这个就是基础，想不到您居然对这方面有研究……”
早年长久做的就是自动编译器系统，有关这方面的书籍可没少看，要说起数学定理机械自动证明这玩意，似乎还有个中国人是关键，破解了这个天地玄关，好像也叫文俊，弄出个算法叫文氏算法，登上了这个领域的顶峰……
世界还真他妈的小啊，随着年岁的增加，长久对梦中的事情反而越发的清楚，来到这个世界上之后到处都能碰到一些景仰的人物。
想到这里，长久顿时肃然起敬，举杯问道：“您老辛苦了，不知道您研究到什么程度了，我对此也有点心得，不知道能不能交流一下。”
文俊老人很感兴趣，随便问了几个问题，长久一一回答并做了一些引申，老人闻之大喜，一把抓住长久的手说：“相见恨晚啊，我虽说搞这个，却刚刚开始学计算机，十窍九通，你的想法很好啊，大有启发，大有启发。”
长久微笑道：“不算什么，大家行业不同而已。您也在国外求过学的，怎么不留在外面，那里的学术环境应该好一点吧。”
老人大笑，幽默的说：“看你怎么想了，我有两个导师，一个是老外，他就挽留我，说国外可以赚很多很多money。另一个则说看你自己，只要有心，无处不是学问。这不我就回来了。”
长久也笑，两人又举杯干了。
老人又讲道：“不过回来也不错，中华民族的传统文化还真是取之不尽，有些古老的数学典籍确实很有研究价值，我现在的研究就从中吸取了很多营养。”
长久知道这事，记忆中这位泰斗就是这样，总是那么的推崇传统数学研究，并做出了举世瞩目的贡献。且不管是不是真的，至少人家是专家泰斗加权威，说从中国古籍中推出来的公式，你个老外不信也得信，谁让你在这方面超不过人家捏。
就为这个，当浮一大白。
酒精下肚，老人的话慢慢的多了起来，大多是关于计算机的。长久静静的听着，不厌其烦的为老人做着解答。
临到末了，老人说了一句：“要是能有自己专用的计算机该多好啊，就不用和别人抢机时了，搞得今天还豁出老脸跟人吵架，呵呵。”
“那没什么。”有点喝高了，长久当即答道，“等过几天我给您老弄一台来，要是不嫌弃，等我在这边办企业，机器随您用。”
“那感情好！”老人也是醉眼朦胧，不过似乎压根没把长久的话当回事，哪有送人计算机的啊。
又结识了一个牛人前辈，长久深感自己此行不虚，到底是值回票价了。
随后几天长久和老人整天在那里聊天，顺便交流一下学术上的一些事情，长久只是自学成才，论深度自然不及这位大数学家，可是在计算机程序方面长久可是专家，两人所知互相印证，大有一日千里的感觉。
几天之后，长久一