猪猪小说网

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

第63章 第 63 章（第1页）

一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！

【滴……触发任务！

恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。

奖励：软件商城的一张五折优惠券！】

久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”

问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。

没什么不可说的，但要怎么说才能让人听懂呢？

沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”

没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。

观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”

开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”

“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”

让语言成为推理的工具，这有什么用呢？又与算术有什么关系？

开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。

他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。

沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”

到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。

沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：

所有马都是动物，可以对应为，所有x都是y。还可以以此类推，

没有树是动物，没有x是y。

有些马是纯种马，有些x是y。”

祈愿事务所[快穿]  追寻能量的零  从茄子开始无敌进化  我全校都穿越了  他们都想攻略君主  白金之躯  顶流大佬的财迷心尖宠  重生七零：彪悍小媳妇  九转天尊  快穿之大佬上线中  剑道丹尊  假千金回家以后  暴君的小皇后她超甜的  星域万界  不小心变成反派的小棉袄  梦境人生  太渊魔法纪元  一世豪婿  元后传  十二时神