手机浏览器扫描二维码访问
第63章 第 63 章（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！
【滴……触发任务！
恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。
奖励：软件商城的一张五折优惠券！】
久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”
问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。
没什么不可说的，但要怎么说才能让人听懂呢？
沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”
没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。
观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”
开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”
“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”
让语言成为推理的工具，这有什么用呢？又与算术有什么关系？
开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。
他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。
沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”
到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。
沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：
所有马都是动物，可以对应为，所有x都是y。还可以以此类推，
没有树是动物，没有x是y。
有些马是纯种马，有些x是y。”
从茄子开始无敌进化 星域万界 太渊魔法纪元 剑道丹尊 不小心变成反派的小棉袄 假千金回家以后 追寻能量的零 元后传 梦境人生 九转天尊 我全校都穿越了 暴君的小皇后她超甜的 白金之躯 他们都想攻略君主 重生七零：彪悍小媳妇 十二时神 祈愿事务所[快穿] 快穿之大佬上线中 顶流大佬的财迷心尖宠 一世豪婿
网游之不败剑神
游戏世界！这里有所有玩家一起游戏的大世界。也有可以不断升级的，个人玩家享受英雄待遇的个人世界，战队队员的战队世界，公会成员的公会世界。这是一个华夏神话故事，后神话时代的游戏世界...
天生我才会念书
徐白，小学开始每天天色没亮的时候就爬起来边走路，边背书，自小学开始一直到大学毕业，不管是网络游戏还是各类小说，不论是影视歌星还是各类八卦，绝对和他沾不上边，真可谓是两耳不闻窗外事，一心只读圣贤书的强人。踏上社会终于看了第一本闲书，于是他的生活变了有道是富家不用买良田，书中自有千钟粟。安居不用架高堂，书中自有黄金屋。出门无车毋须恨，书中有马多如簇。娶妻无媒毋须恨，书中有女颜如玉。男儿欲遂平生志，勤向窗前读六经。...
九层仙莲
要种地，就种得大一点收废站老板胡途，以废铁价格收购的黑色莲台，竟是空间宝物。宝物低调辅助，开启开挂人生。他擅长种地，种出一个小世界他钟爱艺术，制作一件件国宝级艺术品他敢于冒险，上天下海无所不能他探墓挖宝，挖出一面面飞扬的锦旗...
我靠团宠爆红娱乐圈
爆甜团宠少女心炸唐夭夭被大佬封杀后，她的演绎圈生涯就快结束。她偏不信，找到亲哥大哥，我是您失散多年的小妹，不如认个亲？本以为只有一个，结果，二哥三哥五哥六哥从此，打脸虐渣，爆红，被哥哥们宠得生活不能自理。亲娘！这不是封杀她的大佬吗？萧靳寒将她逼近墙角里我是不是说过，我的病，只有你能治，嗯？所以，这病要怎么治！？人人都知，萧四爷最是厌恶女人，尤其是唐夭夭这般妖精的女人。直至一日，狗仔拍到箫四爷屈尊降贵，弯腰给小妖精披上外套，耐心诱哄乖，亲密戏要用替身。唐夭夭趾高气扬昨晚键盘被你跪坏了。萧四爷十分宠溺再买个，接着跪。全网受到雷电交加般的暴击！...
我要你
作者臣年的经典小说我要你最新章节全文阅读服务本站更新及时无弹窗广告小说1商从枝被誉为娱乐圈神颜女神，美得明艳张扬，然而除了颠倒众生的颜值外，在演技上一无是处，花瓶美人的标签撕都撕不下来，偏偏坐拥无数顶级资源，背景成谜。商从枝丝毫不惧恶评如潮，俨然就是本仙女有背景谁都不怕的架势，气死黑粉无数。大家很好奇，什么样的金主大佬，能降得住这个无法无天的小妖精。网上忽然爆出来的一张照片游乐园里，商从枝把一个身形挺拔，俊美斯文的男人按在旋转木马上亲。娱乐圈炸了，奔走相告商从...
高武之史上最强召唤
本书设定为高武世界！非都市装逼文，慎点！）恭喜加入诸天名媛拼单群小乔小哥哥，人家身娇体柔，能打能抗！貂蝉我沉鱼落雁，可以召唤吕布放无双大招！武则天朕有雄兵百万，能助你横扫诸天！花木兰告诉我你想杀谁，二更别君三更回！诸天名媛小哥哥，请带上我们，一起装杯一起飞！！杨青时无奈，其实我真的只想做条安静的咸鱼...