<!--go-->

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

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

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

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

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

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

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

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

Loading...

未加载完，尝试【刷新网页】or【关闭小说模式】or【关闭广告屏蔽】。

使用【Firefox浏览器】or【Chrome谷歌浏览器】打开并收藏！

移动流量偶尔打不开，可以切换电信、联通网络。

收藏网址：www.yuesekanshu.com

(＞人＜；)