长久道：“数学家逻辑严谨，那些计算机程序肯定一瞧便会，要换了其他学科的人，估计到您这岁数连计算机是啥都不知道。”
文俊老人虽知这是马屁，但是还是舒服啊。
长久又道：“冒昧问一句，您是做什么研究的，我数学也学过一点。”
“定理证明。”老人脱口而出，“机器定理证明，就是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，你听说过没有？”
这么长的专业语言别人或许不知道，长久还是了解的：“这个啊，很有用的，对计算机逻辑和程序语言、人工智能来说这个就是基础，想不到您居然对这方面有研究……”
早年长久做的就是自动编译器系统，有关这方面的书籍可没少看，要说起数学定理机械自动证明这玩意，似乎还有个中国人是关键，破解了这个天地玄关，好像也叫文俊，‘弄’出个算法叫文氏算法，登上了这个领域的顶峰……世界还真他***小啊，随着年岁的增加，长久对梦中的事情反而越发的清楚，来到这个世界上之后到处都能碰到一些景仰的人物。
想到这里，长久顿时肃然起敬，举杯问道：“您老辛苦了，不知道您研究到什么程度了，我对此也有点心得，不知道能不能‘交’流一下。”
文俊老人很感兴趣，随便问了几个问题，长久一一回答并做了一些引申，老人闻之大喜，一把抓住长久的手说：“相见恨晚啊，我虽说搞这个，却刚刚开始学计算机，十窍九通，你的想法很好啊，大有启发，大有启发。”
长久微笑道：“不算什么，大家行业不同而已。您也在国外求过学的，怎么不留在外面，那里的学术环境应该好一点吧。”
老人大笑，幽默的说：“看你怎么想了，我有两个导师，一个是老外，他就挽留我，说国外可以赚很多很多money。另一个则说看你自己，只要有心，无处不是学问。这不我就回来了。”
长久也笑，两人又举杯干了。
老人又讲道：“不过回来也不错，中华民族的传统文化还真是取之不尽，有些古老的数学典籍确实很有研究价值，我现在的研究就从中吸取了很多营养。”
长久知道这事，记忆中这位泰斗就是这样，总是那么的推崇传统数学研究，并做出了举世瞩目的贡献。且不管是不是真的，至少人家是专家泰斗加权威，说从中国古籍中推出来的公式，你个老外不信也得信，谁让你在这方面超不过人家捏。
本章未完，请点击下一页继续阅读！