<!--go-->

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

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

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

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

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

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

Loading...

未加载完，尝试【刷新】or【退出阅读模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

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

收藏网址：www.mybaowen.com

(＞人＜；)