开局小说

手机浏览器扫描二维码访问

第九十七章 灵气宇宙技术史的风格第二更(第2页)

赵清潭一愣,惊到:“难道说,算君的一本书稿,就能将一个离宗弟子,洗成连宗弟子?这么危险?”

“这个……好吧,由嘉她小时候其实更喜欢应用方向来着……说不定她是我们当中最不在乎离宗连宗分野的人。”王崎这么说道。

赵清潭却是不敢看那算君书稿了。他直接问王崎:“师妹到底想出了什么?”

王崎一愣。

…………………………………………………………………………

天宫之内,柯兰荫松开了自己握着天剑的手臂。

他发现自己背后已经全是冷汗了。

“真是吓人啊……”

他很难形容刚才那一瞬间,王崎整体发生了什么样的异变。他觉得王崎的气息突然之间变得像个炸弹一样,好像随时都会崩溃一般。

那个时候,他几乎以为是龙皇预言发作了。王崎就要完蛋了。

而他天体妖灵级数的法力,也会给这个大日疆域留下难以磨灭的影响。

但幸好,这种感觉只有一瞬。

但是,柯兰荫却还是感觉到一丝惊惶。

“这种活儿不能让我一个老头子来干吧……真是,我都落伍多少年了……”云中君无奈的自嘲道。

应该给打个申请,让他们多派一两名逍遥过来的……

最好还得是那种强力一点的,不然还真干不过这个晚辈。

……………………………………………………………………

在地球历史上,“类型论”是用来突破哥德尔不完备定理的尝试。实际上,它多少也成功了一点。哥德尔第一不完备、第二不完备都被接连突破。

只不过,这也只是“浅层”而已。

哥德尔不完备定理,至今没有被完整的突破过。

直觉主义一向是将“数学”看做是人类智慧的构造性活动的。

在计算机日益发达的时代,直觉主义的研究者,就提出了一个全新的口号。

“定义即构造,构造即证明,证明即程序”。

他们打算借用形式主义者开发出的计算机器,来证明自己的数学理论。

研究一个类型级别的数学实体,就需要比这个类型相等或者更高的元数学。

所以研究涉及无穷超穷的数学实体,就成了需要无穷超穷的元数学。

而直觉主义是不承认“无限的实体”存在的。

就好像物理世界不存在一个“无限实体”一样。

最最严苛的类型系统,是没有循环和自指的。

因而,这个系统,即使是涉及到“无限”的问题,因为并不会造成无限的逻辑回环,所以仍旧可以停机。

因为强规范化的类型系统,都是有穷终结的,也就是一切函数都可以停机并且给出唯一结果。

不存在自我指涉与无限循环这两个停机问题上的幽灵。

这是在牺牲图灵完备的前提下,对停机问题的一次利用。

也就是说,“类型论”是基础数学领域的成就。

而由此衍生的,就是一种绝对可靠的计算机语言。

舌尖天下  穿进语文书,从刺猹开始  谭笑风声里,灼灼桃之夭  月薪十万,女总裁她果然不只是让我当司机  灵异直播,女主她不想吓人  敛财心  巫妖生存指南  网游航海之王  先婚后爱:娇妻拒婚101次  大明:开局剧透崇祯,重振河山  运河之韵  道化九界  西游:六岁熊孩子,开局怒怼观世音  什么?奥特曼是终身制的?  建立帝国从骑士次子开始  我,地球唯一超能力者  巨树领主  万苍天穹  盛世花都  我的修真小米三  

热门小说推荐
我当捕快那些年

我当捕快那些年

侠之大者,为国为民。让宵小之辈有所震慑,让权贵之人有所忌惮,为沉冤者得雪,为弱小者仗剑,为天下开太平!微信sanguanyouzai。交流公众号三观犹在。...

异维度游戏

异维度游戏

无意间得到了一款游戏,里边的剧本精彩纷呈妖魔鬼怪怪异魔神让王昊走上了意想不到的道路。这是跨越维度的旅行,我们探索未知,却得到更多未知我们反抗恐惧,却得到更多恐惧。当人类在黑暗中迷失方向,我将成为他们的先驱,燃烧自己的心骨,照亮前进的道路!...

武破九荒

武破九荒

魔蝎小说...

我有一座藏武楼

我有一座藏武楼

九阳神功力拼嫁衣神功,究竟孰强孰弱?燎原百击直面天外飞仙,谁可当世称雄?神州大地,山河之内,主宰一切的,只有武功,也只能是武功。段毅来到陌生而又熟悉的...

永生世界

永生世界

2120年,人类科技水平再次迈上了新台阶。新种族的诞生,能令意识长生不死的虚拟元宇宙世界,可用时间抗衡绝症的冰冻技术,崭新的资本角斗场眼花缭乱的出现在了地球原住民的眼前。人类与AI如何共...

开局枪杀上线,我不想当卧底

开局枪杀上线,我不想当卧底

犯罪权谋政商博弈跨国红商新书上线,主页观看一个被安插在犯罪集团的卧底,心狠手辣,冷酷无情,历尽波折当上了集团老大,亲手枪杀了唯一知道自己身份的上线。凭借过人的能力,得到了诸多大佬的赏识,自古以来,官与商之间藕断丝连,你中有我,我中有你。他究竟是隐藏极深的卧底,还是披着羊皮的恶狼!你所认为的好人,真的是好人吗?你所认为的坏人,便真的是坏人吗?内容纯属虚构。...

每日热搜小说推荐