《>为了网站长久运营 请在浏览器设置 *关闭广告屏蔽管理* 方可正常阅读 谢谢支持！！！！......》

        吴俊说话间从口袋里拿出笔和纸，一遍说话一遍画着一些图案。

        吴俊说：“前十年我们公司制作一台机器证明1.0，能看一个命题是否可以证明。读懂命题是一件十分重要的事情。命题都要集合化，用一阶、二阶逻辑谓词来看看。”

        祖文远说：“你能把猜想定理也用一阶逻辑谓词表示出来？”

        吴俊说：“我们把许多定理和公理用一阶逻辑谓词表示出来。许多一阶逻辑谓词的表述可以表述成各种数学定理，环语言可以进行扩张加映射。”

        祖文远说：“简化计算的工作麻烦吗？”

        吴俊说：“不增加其他形式的计算，不会在其他情况出现简单的行为。所以没有所谓的简化工作。”

        祖文远说：“可以计算所有的有理数域？”

        吴俊说：“很简单，有理数可以被整数环有限扩张映射出来。”

        祖文远说：“能作出自动机的关键是什么？”

        内容未完，下一页继续阅读