第六十八章 范畴论

    而它在工程上再优化，就是冯诺依曼架构。

    至于原本作为计算机发展的前置数学研究，也就是丘奇、图灵那一脉的部分成就，那与查尔斯·巴贝奇的梦想息息相关的追求，在这个世界，居然不是为了“创造可以计算的机器”本身而生。

    所以，王崎只有选择这一条路。

    某一类型的结构的所有有可能的例子的类，再加上保持这种结构的所有函数，就是“范畴”。

    这样，方能将他自身的算学水平，与兽机关集群、自身修法更好的结合起来。

    首先，两个世界对“计算机”的概念，其实就有微妙的不同。

    虽然话是这么说，但是……

    这玩意总算是比前面的诸多理论接地气了一点了。

    基派理论，已经成为他修法不可分割的一部分。

    确实很让人心里没底。

    布尔巴基学派宣称“结构”是“数学家使用的数学基础”【而非“逻辑学家使用的数学基础”】他们从另一条路上出发，去统一整个数学领域。

    “是，我明白了。”赵清潭微微叹息。

    “还是说结构好了。我们的‘结构’，还是一个新生的概念，但是，还不够有力量——我认为它是有力量的。它应该可以改变所有万法门弟子的思考方式。”

    但他王崎，就是打算生生走出一条路。

    范畴可以认定为结构概念的一个特殊情形，而另一反面，集合及其函数有可以视作为范畴的一个特殊情形。

    它同样具有“成为整个算学基础”的潜力。

    而“结构”这个概念的进一步升华，就是“范畴”。

    王崎之所以在结丹之后，逐渐将这一块转交给苏君宇打理，除了是忙着去剿灭灵凰岛古法余孽之外，也是因为怕自己在地球上产生的知见障而耽误了这一条线的发展。

    就好像原子理论并不会影响正常人对宏观事物的感知一下，万法门弟子在数数的时候，也不会将自然数想象成“等势集合的类”。

    赵清潭皱眉：“还是纯粹算学？可你不是说救命要紧……”

    王崎当初提出不完备定理，几乎毁了半个万法门。

    至少，范畴论是可以应用到计算机科学里面的——虽然王崎已经忘了具体是怎么回事。

    虽然也是一条黑路就是了。

    只不过是堵上一个有可能的漏洞而已。

    这个实验真正的意义在于，给予“图灵机”以一个可以实现的结构。

    你随便跟那个地球人将，那个地球人都不会相信存在这么扯淡的技术史的。

    “行啊，没问题。”赵清潭自无不可。

    实际上，任何一个地球人来看，这个世界的算器理论领域，都非常诡异。

    千机阁本身就有“以机关拟化万物”的想法。在这里，创造人工智能，也就是所谓的“后天意志”其实非常简单，一缕分魂，甚至用法术拓印下魂魄活动就行。法宝真灵，都可以勉强算进其中。

    或者说，只有逻辑学家，才会关系逻辑本身。更多的算家，其实并不关心逻辑。逻辑有矛盾就有矛盾，也并不影响任何算学的实际证明。

    “没有这一步，我怎么自救啊！”王崎摊手：“赵师兄啊，我昨天说得很清楚了吧？”

    王崎对自己打气道，然后看向静室之中的另外两人。

    而若是他出现功法冲突的话，那么很有可能就是源自于算君的虚相修法，和这一部分的冲突。

    如果不是算君已经搞出来了，王崎都不相信存在这样的技术。

    倒不是说他觉得算君真的会用算学手段之外的方式加害自己，更不寄希望于自己能够在可预期的时间内反超算君。

    之所以有很多修士道心失守，还是因为算主那“寻找到算学统一根基”的美丽图景太过诱人，导致很多人都坚信这一点罢了。

    “而且，为自己的虚相功体，寻回一个坚实的基础，也是很重要的。”

    1943年，一位神经生物学家沃伦·麦卡洛克和一位数学家沃尔特·皮茨通过模拟人脑的思路，做出了一个人脑神京系统的抽象图形。它是基于人的神经系统的一个简化。而这一项成就却是在证明，一个可以思考的系统，能够用电线来建造，其电线的连接，就起到了神经元的作用。其中电流流动或不流动，就代表着存在或不存在突触反应。

    但是，龙皇预言却是超越一般因果的，不可不防。

    而这些神经网络所实现的，正好是一套“谓词逻辑”。

    因为二十世纪四十年代的材料学、工程学，根本不能支撑那... -->>
本章未完，点击下一页继续阅读