第176章自动机 (1/2)

吉妮说：“那你就是物理学的了。我接触过关于心脏的悸动就有这方面的研究，你也熟悉吗？”

祖文远说：“我知道，他们借助的是对人体输送不同盐来研究心脏肌肉的变化，貌似结果还不理想。”

吉妮说：“你能够熟练的计算非整数的微分计算吗？”

祖文远说：“做过几个，就是太困难了。你要是高兴的的话，我可以给你看几个成果。”

祖文远说着脑子里并不是非整数微分的问题，反而是觉得自己在表示代数数这个领域上有了一些非凡的突破。除了加减乘除、根号、三角函数、连分式以外，还有一种可以表示许多其他领域代数数的一些符号。这些符号也是从群论这个最原始的出发点里推演出来的，依旧符合群论的推演。

吉妮看到祖文远发呆，问道：“电磁学或许会应用到非整数微分方面的学问，那肯定是跟电磁方程有些区别的。”

祖文远说：“哪种电磁方程，用什么形式写出？”

吉妮笑着说：“你只是一个运气不错的人罢了，没有真正的真才实学，连电磁方程都不会还好意思说自己做物理。”

祖文远没回答，只是发着呆，突然在想自己做的关于对于基因的解读上面的技术难题让自己已经十分头疼，就更别说是癌症区域基金的解读，在技术上就是一个巨大的方法问题，或者也包含了复杂的数学问题。眼前这个都说不清是干什么的人更不会帮上自己什么忙。自己仅仅是脑子空白的呡一口咖啡。

吉妮子说：“对于基因编辑系统，我们现在已经具备了一定的控制能力，能用不能用，还是一个道德问题，毕竟还是没有几个人愿意做试验品。只能看到几只长生不老的老鼠。听人说有人秘密的进行过这些实验，不知道是不是真的。”

祖文远发呆，没有回答问题。两个人喝过咖啡后，匆匆离开。

下午吴俊找到了祖文远，问：“感觉怎么样？”

祖文远说：“没有任何感觉，估计不成。”

吴俊说：“你得主动点呀，她人还不错，还是一个很厉害的生物学家。”

祖文远说：“人家不答应，主动也劳神。”

吴俊说：“感情是自己谈的，我只能帮到这里了。”

祖文远说：“自己的状态不在这里，脑子里还在想乱七八糟的事情。”

吴俊说：“你是学非线性物理的，把你转进自动证明机这个领域对你来说也是个折磨吧。”

祖文远说：“那倒是没关系，我觉得挺有意思，虽然帮不上什么大忙，但是也能学点东西，而且还可以看看相互之间是不是可以借鉴些什么东西。”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

吴俊说：“国际上许多的数学大咖早就这么做了，但是对我的证明机十分怀疑，因为这里的数学证明他们都看不懂，所有他们甚至认为这些证明都是错