手机浏览器扫描二维码访问
第63章 第 63 章（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！
【滴……触发任务！
恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。
奖励：软件商城的一张五折优惠券！】
久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”
问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。
没什么不可说的，但要怎么说才能让人听懂呢？
沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”
没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。
观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”
开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”
“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”
让语言成为推理的工具，这有什么用呢？又与算术有什么关系？
开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。
他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。
沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”
到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。
沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：
所有马都是动物，可以对应为，所有x都是y。还可以以此类推，
没有树是动物，没有x是y。
有些马是纯种马，有些x是y。”
梦境人生 一世豪婿 顶流大佬的财迷心尖宠 祈愿事务所[快穿] 重生七零：彪悍小媳妇 假千金回家以后 剑道丹尊 十二时神 太渊魔法纪元 元后传 暴君的小皇后她超甜的 白金之躯 追寻能量的零 星域万界 九转天尊 我全校都穿越了 快穿之大佬上线中 不小心变成反派的小棉袄 从茄子开始无敌进化 他们都想攻略君主
从天儿降：裴少，你中奖了
贝瑶十八岁家破人亡，惨遭男友抛弃，甚至怀了陌生人的孩子，差点被害死。绝望之际，她不得不抱上一条金大腿，成为裴墨擎的隐婚妻子。后来的三年里，他与她朝夕相处。直到有一天，裴墨擎突然多了一个私生子！贝瑶雄赳赳气昂昂的甩上辞职信，收下分手费，转身重回娱乐圈。可是，总裁大人的亲儿子抱着她喊妈咪是怎么回事？...
再起神峰
一代兵王秦逸回归都市，本欲平凡，可命运注定他不平凡的一生，携美走向辉煌...
开滴滴就能成首富
宿主完成XXXXX号订单，触发隐藏系统，目前系统已激活。恭喜宿主开启最强滴滴系统，系统赠送新手大礼包，是否开启？徐猛凭借系统，淘得了第一桶金，开始潇洒肆意的生活。做董事长？小意思。遇上了竞争对手？不怕，他有金手指。且看他如何玩转人生，成为人生赢家！...
农门娇妻美如芸
杏花树下，夫君许我一世安逸富足的田园生活，逍遥自在，浓情惬意杏花落尽，往日的欢情在一次次的刀光剑影中，柔肠寸断，痛苦不堪我望着夫君，那个曾经的屠夫，现在的将军纵使万人阻扰，天地不容，也只愿留在他的身边，做他专属的娇妻。...
干物妹也要当漫画家
干物女是已经放弃恋爱，凡事都说这样最轻松的年轻女孩。主角的名字叫作安忆，她很喜欢安逸的生活。为了安逸的生活，穿越到平行世界的她，只能拿起画笔，赚取足够金钱供她死宅，等什么时候赚够了钱那就尽情地休刊吧。什么？无数粉丝读者暴动了？还破口大骂坑王之王？诶诶诶那该怎么办？什么嘛，原来只要爆照就可以平息读者的怨念...
买一送一，天才宝贝俏佳人
一次陌生相遇，她把自己的一生，都葬送给了一个男人。自幼受尽冷眼的她，过着不堪的生活。一年后她生下一个可爱的女儿，可上天并不怜惜她，还让年幼的女儿患上了白血病。当她再与那个男人相遇的时候，却在她和女儿的身上，发生了一连篇的大事。...