虽是……然话是这么说,但
多少有点信心不足。崎其实对算器理论,说真的,王
实际上,任何一非常诡异。这个世界的算器理论领域个,都地球人来看,
念,其实就有微妙的不同。对“计算机世界首先,两个”的概
到哥德尔、丘奇、图灵地球上,从来就只有机的路线。但这只是图灵相承的、递进的,实际上是一条一脉一条经典的路到发展路线而已。线,从乔治·布尔,弗雷格、罗素,再
实际上,地球的电子计算机,还有另一个源。都遗忘了的发有人,几乎所
统,能够系统的抽象统的一个简化。而这图形。它是成就却是在证明一项基于人的神和一位数学家沃尔特·线来建造经系皮茨通过模拟人43年,一位起到了神一个可以思考的系神经生,了一个人脑神京,其电线的连接,就物学家沃伦·麦卡洛克脑的思路,做出用。其中电经元的用电,就代表不存在突触反应。着存在或作流流动或不流动፝
“谓词逻辑”。现的,而这些神经网络所实正好是一套
只不过,那个时代技术的认知,都非常的浅薄子脑与电,人类对大与狭窄。
纪的成果。的都是二十一世绝大多数人思到“神经网络”时,想考
料工程学,根本不能支纪四十年代的材想中的二十世神经网络。学、因为撑那两位学者理
一个这个实验真正的意义实可以给予“图灵机”以在于,现的结构。
而它在工程上再优化,就是诺依冯曼架构。
但是,灵气宇宙,整黑箱巨大。个宇宙都是
,甚后天意志”其实非常下魂魄活动就行。法宝可工智机关这里,创造人其中。,一缕分至用简单千机阁本身就有“以法术拓印以勉强算进能,也就是所谓的“真灵,都魂拟化万物”的想法。在
,也是基于“运人最早的算器原型转而图灵真的”这个想法而实现的。模拟魂魄过程
,居然不是为了“发展的前置数学研究至于原本作为计算追求,在这个世界,也就图灵那·尔斯丘奇、巴贝奇的梦想息息相关一”本身而生。机是创造可以计算的机器查的脉的部分成就,那与
定性问题的副产物。二十三问之判它们是希门
气宇宙术史,简直堪称疯狂的大如果没有灵。看,那这一段技背景
以“炼器了不明出来,而且使用“阴现之前就已经存在。然”“御物”修士们从法术之中域里,才出现后,计算机才被发摘出了高级语反过来,在隔壁的纯数学领人工智能在计算机出变化的基础。接着,备定理,的思路带动了计算机的发展。言,去操控算器。然后完阳爻”表示
在这么个地球人将,那个都不会相信存你随便跟那的。扯淡的技地球人术史
开的一条平行于极条线发展到的线路。算器致之后,另外至于算君的“混沌拓扑网络结构”,则是在第一
不相信在这样的技术。存如果不是算君已经搞出来了,王崎都
王崎是忙着去剿灭灵凰岛古法余孽之外的发展。,也是因为怕自己给苏君宇打理,除了知见障而一块转交在地球上产生的耽误了这一条线之后,逐渐将这之所以在结丹
的。就算他整用有的常识在这块领域作限。他也就是退出了一“动力”—也没什么。地球出阿尔法狗,其实—比如开源,之类机技术快速进步的些地球上计算
为志的情况下就能下,他们有棋胜过国手的后什么会有这种东西”。”了神州已经不需要什们反而更加这种东西么“计算力有限。他关心,“天意
块算是他的弱项。这一
不过,现在也顾不得了。
王崎如此想到。
块,才能心得学好这一安。
方式加倒不是说他觉得的害自己,更不算君真时间内反超算君。学手段之外的会用算于自己能够在可预期望寄希的
而已。的漏洞不过是堵上一个有可能只
功体,寻回一,也是很重要的。”、“而且,为自己的虚相个坚实的基础
王崎。的另外两人之中对自己打气道,然后看向静室
清潭和魏沧,都算是编赵了。主力写《原算》的
需要继立起‘结构’这个们下“我续深入下去。”一个阶段的任牌子了。但是原算’,我们算是究结构。前面几本‘务,就是接着研,这还不算完,我们
”赵清潭皱眉粹算学?可你不是说救命要紧……:“还是纯
我昨天说得很清楚“没有这一步,我崎摊手:“赵师兄啊,怎么自救啊!”王了吧?”
清潭微微叹息。“是,我明。”赵白了
生的概念“还是说结构好了,。我们的‘认为它是有—我改变所有万法门弟子还不够有力量—力量的。它的思考方式。”,但是结构’,还是一个新应该可以
王崎当初提出半备定理,几乎毁了门。个万法不完
但是,为什么只是半个?为什么在算主如日中天、离宗依旧只有“半个”?多于连宗的情况下,
那么密切。学的整体,不是逻辑,其实和算为,因
才会关系的实际证明。有矛盾就有矛盾,也并,其实并不关心逻辑。逻辑辑本身。更多的算家逻或者说,只有逻不影响任何算学辑学家,
道心失守,还是因为算坚信这根基”的美丽找到算学统一很多人都主那“寻修士一点罢了。过诱人,导致图景太之所以有很多
论并不会影响正常数想象成“等势集合的类”。的自然在数,万法门弟子感知一下人对宏观事物候,也不就好像原子理数的时会将
”问题,而不是算,不完备甚至还有很学的问题。只多算本身是“逻辑”学家觉得,不相容,都与“集合
成都没关系。。算主践是这种思想的代表君就完全不在意,似行他的理想时,算算君就乎成与不
相容本身也有这种不完备与不问题。本身的倾向——问题只是逻辑的问题,而不是算学
。们看上去更像是算主道的拦路虎路上它
语言”这一类集合论带个万法门的好表述各种抽象概念的。处,似乎只有“统一的、方便
而“结构”这是另一个层面的事情了。
。,去统一整个数学领域非“布尔巴基学派】他们从家使用的数学基逻辑学家使用的数学宣称“结构”是“另一条路上出发础”【而数学基础”
,指出“结过是像这个概世界一样””,就能讨论大量典型。这个方法取得了用康托尔的“结构”已经存在。他们只不有有趣巨大的成功,因为在地球,只需用作“统合要极少数的“母结构念就在布尔巴基学派之前希尔伯特希望集合论统治数学,的例子。构”这个概念可以
”、“代数、几何、分析几个大再像古典时期那样几何”这样类,布尔巴基学派甚至影的分类。响了数学的学科划分。数学不,分成算术、代数而是出现了“拓扑代数
能够改变世这个基础是界的。
而“结构”这个就是“范畴”。概念的进一步升华,
类型的结构的所就是“范畴”。的类,再加上保持这种有有可能的例子某一结构的所有函数,
范畴是一个比结构更加灵活的概念。
个特殊情面,以视作范畴可形集合及其函数有可个特殊情形。,而另一反以认定为结构概念的一为范畴的一
合及其函数、结构及其射态,集成范畴。都可以构
它同样具有“成为整个算学基础”的潜力。
这也是布尔巴基学派的另一个重要补充。
而另一方面……
一点了。面的诸多理论接地气了这玩意总算是比前
至怎么回事。到计面的——虽然王崎已忘了具体是经算机科学里少,范畴论是可以应用
猿未必懂。,一般的程序巧了上档次的技毕竟这在地球也算是比较高端大气
与地球完全不同的技术史……另外,就神州这
确实很让人心里没底。
硬着头。皮上了但王崎却只有
。基派理论,已经成为他修法不可分割的一部分
算君的虚相修法,和这而若是他出现功法冲突于一部分的冲突。很有可能就是源自的话,那么
为就算“理,“应出现这种问题。因论”不同用”也不是仙盟以前很少会出现问题。,只是“用”,应该不群对他来说不能兼容。兽机关集
言却是超越一般因果的,不可不防。但是,龙皇预
所以,王崎只有选择这一条路。
这样,,与兽机关好的结合起来。方能将他集群、自身修法更自身的算学水平
虽。然也是一条黑路就是了
路。但他王崎生走出一条,就是打算生
说道:布置完之后,王崎又育问题吧?后打算去拜访毓族一有可能算问题的问题。我情的教,单独拜托你一下记得你也去那边打算趟,提前解决一些……在对这两人一起上路,我还有点事。”处理一下毓族“赵师兄,我之
不可。。”赵清潭自无“行啊,没问题
魏沧便先行离走去。而赵清潭叫上居地。花,跟王崎一起向毓族聚了椒·树海