手机浏览器扫描二维码访问
第63章 第 63 章（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！
【滴……触发任务！
恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。
奖励：软件商城的一张五折优惠券！】
久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”
问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。
没什么不可说的，但要怎么说才能让人听懂呢？
沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”
没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。
观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”
开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”
“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”
让语言成为推理的工具，这有什么用呢？又与算术有什么关系？
开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。
他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。
沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”
到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。
沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：
所有马都是动物，可以对应为，所有x都是y。还可以以此类推，
没有树是动物，没有x是y。
有些马是纯种马，有些x是y。”
重生七零：彪悍小媳妇 一世豪婿 十二时神 顶流大佬的财迷心尖宠 九转天尊 追寻能量的零 星域万界 剑道丹尊 白金之躯 快穿之大佬上线中 暴君的小皇后她超甜的 从茄子开始无敌进化 梦境人生 祈愿事务所[快穿] 太渊魔法纪元 我全校都穿越了 他们都想攻略君主 元后传 假千金回家以后 不小心变成反派的小棉袄
韩夫人，你马甲掉了
豪门千金楚柠大小姐，被继母设计进了精神病院，出来后处处招人冷眼和嘲讽，是个草包废物。直到有一天，柠爷的马甲被一个个扒出来，各方大佬不淡定了，嘲笑过她的人慌了。黑客大佬N举世无双设计师肉骨白手神医天下第一首富神秘组织一把手更有三个表哥争相宠爱。众人再厉害又怎么样，还不是没人要。京城权财滔天的太子爷韩珩川，默默的掏出了小红本老婆快来认领。...
上门女婿是厨神
作者不见桑梓的经典小说上门女婿是厨神最新章节全文阅读服务本站更新及时无弹窗广告小说上门女婿是厨神不玩了，我摊牌了，我是厨神！上门女婿周航无奈的说道。...
沈奕辰简一
心灰意冷离家出走，却被沈奕辰捡回了家。传言沈大少冷酷无情，手段狠辣，简一看着某人亲手给她做的一日三餐，一头黑线。传言沈大少有洁癖，简一看了眼在浴室给她洗衣服的男人，仰头望天。传言沈大少不近女色，简一不怕死地试了试，于是，她怀孕了...
太古神魔诀
修炼，乃逆天之举！突破自身桎梏，达到永生不死之境！然，生之极境便是死，死之极境便是生，生死两相依！且看主角如何在生死磨练之中，勘破武之真谛，臻至武境巅峰！开新书了，名字叫独掌雷霆，下方推荐位第一个就是，新书还会一如既往的努力，写出更好的作品，希望各位书友能够多多支持，西楼的人品相信大家还是知道的，多谢。...
慕少的千亿狂妻
被小三在高速公路上砍断手脚筋，活活的拖死。上天垂怜让她重生，再次睁眼，魑魅魍魉们，她宋星辰活过来了。养女跋扈，毁掉她把她赶出宋家。继母嚣张，把她打回原形。还有那个男渣，麻利的给我滚粗。二十岁建立自己商业帝国，成就亿万财富，走向人生巅峰。只是慕家神秘的太子爷，虐渣爽了，什么时候跟我生孩子？...
一夜情深：隐婚娇妻惹人疼
...