啃书文学网

手机浏览器扫描二维码访问

第176章 自动机（第2页）

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

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

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

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

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

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

吴俊说：“这就是五年前的第二台机器证明2.0，能把可证明的命题给证明出来。只是杂乱的逻辑谓词小定理的繁复堆积，他能证明这种堆积是正确的，没有错误。其中的关键是，我们创立了一套可否定判定的算法，就是证否就可以停机而不需要无穷搜索的装置。还研制了一种算法，可以反复去验证错误猜想无法去推导，逻辑谓词语言表达没有相似性，而正确猜想就可以这样表达出来，虽然语言难懂。所以只需要把难懂的语言通过逻辑谓词翻译器翻译成人能读懂的样子。”

祖文远说：“可以用多种方法证明一个猜想吗？”

吴俊说：“多种不同的表达就是多种或者是一种，一种方式或许能弄成多种表达一阶谓词。”

祖文远说：“你们尝试使用了吗？”

吴俊说：“说来挺有趣，所以我们验证了黎曼猜想是正确的，哥德巴赫1+1正确，p-np部分问题可以解决到最优和比较优点，有些问题无法解决。”

祖文远说：“证明的语言好理解吗？是不是可以让我们洞察更加深邃的数学机理？”

吴俊笑着说：“只是翻译过来之后的人都难以读懂是一种什么方式，只有大量的椭圆曲线，模空间，扩展域，交换群的变化。绕的人都难以看懂，简直难以理解。四色猜想的复杂度简直变得非人道。黎曼猜想中0.5轴上点的分布与质数分布毫无关系，却有一种奇特的变化。”

祖文远也笑着说：“原来如此有趣呢？我倒是想拜读一下这些著作，如果正确的话，我或许能够根据这个工作可以发展出更多的数学工具。”

吴俊说：“国际上许多的数学大咖早就这么做了，但是对我的证明机十分怀疑，因为这里的数学证明他们都看不懂，所有他们甚至认为这些证明都是错误的。所以说我们现在正在研发了第三台机器证明3.0，能用不同的几个数学模块相互组合。这种机器证明出来的东西我们就能看懂，当然也可以推动第四台机器证明4.0，可以创立新命题，对数学有重大推动作用。”

祖文远说：“我跟你们一起参与3.0的研究吧，我都很感兴趣了。”

吴俊说：“你最重要的就是需要理解很多数学理论与逻辑符合的联系，这样找到一种算法就可以制造机器证明3.0。”

祖文远说：“如果能够得到机器证明4.0，那是很多数学家梦寐以求的事情。”

吴俊说：“不过呢，你还是需要见见那个女孩，时间长了，说不定可以培养出感情，而且她是做基因编辑研究的，基因计算或许需要你的帮忙。”

祖文远说：“好吧，她不排斥我就行。”

之间吴俊画出了黎曼zeta函数的各种不同角度的图案，祖文远大为惊奇。

祖文远说：“你能教教我吗？你能画出连电脑都难以计算的图形？”

吴俊说：“能追上吉妮，我再教你。”

东宫瘦马  万域神君  董三生林诗音  魔改文明  圣鸦  穿越之被逼成反派  宋士  犯罪现场  七少绝宠：我家小妻是大佬  陆羽孟竹韵  万域神君携壶远游  玄幻：从蛋开始无敌  万域神君陆羽孟竹韵  太古神尊  扎纸匠  莫笑世人痴  我真就想当个厨子啊  大唐龙帝  举世之境  霸道总裁宠萌妻