手机浏览器扫描二维码访问
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费!
【滴……触发任务!
恭喜宿主的大道之路已经确立方向,软件商城已打开,请宿主在三十天内用二进制进行应用,可以用任意的形式完成一个成果。
奖励:软件商城的一张五折优惠券!】
久违的滴滴声响起,沈定溪精神一振,来不及仔细查看,旁边的师父问道:“你说你进行了一个试验,究竟是什么试验?”
问出这个问题,不知活了几百岁的开元真人竟有些迫不及待,他身旁站着的戴牧归也极其认真的看着沈定溪。
没什么不可说的,但要怎么说才能让人听懂呢?
沈定溪想了一阵,反问道:“师父,你在平常的研究中会经常感到语言对算术的局限吗?”
没想到沈定溪会问这个,但开元真人想到她所写的马青公式便明白了,在研究马青公式时,里面所运用的符号和定义让人着迷,他当时就有所启发,觉得这些符号和定义能够打破许多算术中的禁锢。
观察师父的神情,沈定溪满意的笑笑,而后说道:“可能是得益于马青公式的证明过程,我在无意中发现,若是将很多事物根据属性归于固定的范畴,就可以得出十分有趣的结论。”
开元真人不由陷入思索,戴牧归忍不住问道:“什么结论?”
“这样可以剔除掉语言中的许多悖论,净化语言。再加入符号,便可以让语言成为推理的工具。”
让语言成为推理的工具,这有什么用呢?又与算术有什么关系?
开元真人与戴牧归都双眉紧皱,万分不解的看着沈定溪。
他们都认为,算术的研究对象是数字和图形,推理只是一种工具,并不是值得研究的对象。
沈定溪解释,“语言可以进行推理,进而成为想算术推理一样的形式,若是有了合适的工具,是不是所有的语言都可以成为算术推理呢?进而推理,语言逻辑可以被计算出来。”
到此,开元真人和戴牧归已经不知道沈定溪在说什么了,两人都用陌生的目光看着她。
沈定溪抽了抽嘴角,她放弃了理论上的讲解,直接举了一个例子,“那么师父,你们可以这样理解。若是我将一些名词定义为一些符号,例如将马当做x,将动物当做y。可以这样表示:
所有马都是动物,可以对应为,所有x都是y。还可以以此类推,
没有树是动物,没有x是y。
有些马是纯种马,有些x是y。”
九转天尊 暴君的小皇后她超甜的 一世豪婿 元后传 梦境人生 十二时神 我全校都穿越了 假千金回家以后 剑道丹尊 祈愿事务所[快穿] 追寻能量的零 太渊魔法纪元 快穿之大佬上线中 从茄子开始无敌进化 白金之躯 顶流大佬的财迷心尖宠 他们都想攻略君主 不小心变成反派的小棉袄 重生七零:彪悍小媳妇 星域万界
龙潜之后踏上至尊之路!英雄挂宝刀,美女念英雄!至尊人生的漫漫长路,巅峰欲望的靡靡梵音。本站为书迷更新天娇至尊最新章节,查看加减号所撰都市言情天娇至尊的最新章节免费在线阅读。...
作者赵守中的经典小说大尊主最新章节全文阅读服务本站更新及时无弹窗广告小说试看一个小小的奴才,如何做到笑傲宇宙之内,独尊天地之间。...
ampldquo宝贝,乖amphellip过来amphellipamprdquo俊美矜贵的男人看着缩在墙角的软糯少女,低声诱哄道。一不小心,乔绵绵惹上云城身份最尊贵显赫的男人墨夜司。很快,全城的人都知道曾扬言终身不娶的墨少娶了个心头宝回来,捧手里怕摔了,含嘴各位书友要是觉得甜蜜隐婚老公大人,宠上瘾还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦!甜蜜隐婚老公大人,宠上瘾最新章节甜蜜隐婚老公大人,宠上瘾无弹窗甜蜜隐婚老公大人,宠上瘾全文阅读...
作者凡赛尔的经典小说都市开局签到神豪最新章节全文阅读服务本站更新及时无弹窗广告小说叶晨意外来到平行世界,叶晨激活了选择系统,开局就送五个神豪姐姐。叮,恭喜宿主认祖归宗,奖励现金一百万。叮,恭喜宿主选择成功,奖励十倍返利卡。叮,恭喜宿主选择成功,奖励神龙碎片,聚集碎片,可召唤神龙。...
男女主是林落施肖墨寒的全文免费阅读小说是一世缠宠总裁,追妻忙。主要讲述了丈夫三年未归,回来时却把离婚协议书砸向她的面前,当她离开时候,他又...
当足球天赋以卡片的形式存储起来。蓝色的紫色的红色的金色的。普通球星级,金球球星级,准球王级,球王级。贝克汉姆的圆月弯刀,杰拉德的远射高手,巴乔的忧郁王子,卡卡的大步流星。一切应有尽有,尽在其中。(一个足坛小球员的成长札记)...