手机浏览器扫描二维码访问
第63章 第 63 章（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！
【滴……触发任务！
恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。
奖励：软件商城的一张五折优惠券！】
久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”
问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。
没什么不可说的，但要怎么说才能让人听懂呢？
沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”
没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。
观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”
开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”
“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”
让语言成为推理的工具，这有什么用呢？又与算术有什么关系？
开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。
他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。
沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”
到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。
沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：
所有马都是动物，可以对应为，所有x都是y。还可以以此类推，
没有树是动物，没有x是y。
有些马是纯种马，有些x是y。”
暴君的小皇后她超甜的 他们都想攻略君主 九转天尊 元后传 顶流大佬的财迷心尖宠 从茄子开始无敌进化 假千金回家以后 追寻能量的零 太渊魔法纪元 十二时神 梦境人生 一世豪婿 剑道丹尊 星域万界 快穿之大佬上线中 我全校都穿越了 重生七零：彪悍小媳妇 不小心变成反派的小棉袄 祈愿事务所[快穿] 白金之躯
一九二二：小女人罗曼史
李相默永远也不会想到离开家逃到北平的那一刻，注定这一世的流离失所，飘摇不定。战争的残酷，人性的懦弱与不堪，时时刻刻都在她的面前上演。乱世是一个让人快速成长的时代，在这样一个动荡的时局里，任何人都要学会隐忍和妥协。李相默懂了，所以她学会了让步，只不过始终坚守这爱情的底线。赵文斌也懂了，只想和一人终老，所以他不停的寻找。越是动荡的年代里，爱情越是刻骨铭心，他们用尽一生去守护着心中的那抹骄阳。...
重生八零：憨妻辣么甜
重生八零憨妻辣么甜重活一世，让周家过上富裕日子，最后和林榆木再来一场完美金婚。...
终极技师
他只服务女人，店长让他开展了一项新的业务，可以说，是所有男人的梦想，然而更让人惊喜的是...
女人，你成功引起了我的注意
（娱乐圈甜宠1V1双洁）一年前，某女杜星尘，我喜欢你！杜星尘滚。一年后，杜星尘把人堵在直播间门口。敖小小，你说过喜欢我。滚远了，勿Cue！新婚夜，敖小小问杜星尘你不是说我就是个祸害吗？为什么娶我杜星尘我不入地狱谁入地狱？敖小小老娘不嫁了行不行？身为饭圈毒瘤职业黑粉，为了得到第一手资料，敖小小本着不入虎穴焉得虎子的精神，深入剧组第一线，贴身盯人，在线挖瓜。没想到瓜没挖着，却上了影帝杜星尘的贼船这其实就是个职业黑粉想要扮猪吃老虎，结果被狐狸精反杀，吃干抹尽的童话故事。（啥？建国后动物不许成精？别误会，我的主角都是人！）...
炼金时代
万能灵药，贤者之石。点石成金，长生不老。炼金术主宰我们的呼吸，我们的消化它控制血液的流动，掌管我们的思想炼金术无所不能。某位创造者说。炼金术创造万物，我们无惧神明。...
极品学生是丹神
大丹神魂穿重生为一个普通的高中生，被学校开除，成为最悠闲小保安是他的目标，可是被自己家的美女总裁给安排重新去上课是什么鬼？当最牛的学生，开最强的医馆，和最漂亮的女神交朋友，成为史上最厉害的保安，这是大丹神最近的小目标！这是一个普通弱鸡高中生逆袭成为神级强者的故事，...