手机浏览器扫描二维码访问
第九十七章 灵气宇宙技术史的风格第二更（第2页）
赵清潭一愣，惊到：“难道说，算君的一本书稿，就能将一个离宗弟子，洗成连宗弟子？这么危险？”
“这个……好吧，由嘉她小时候其实更喜欢应用方向来着……说不定她是我们当中最不在乎离宗连宗分野的人。”王崎这么说道。
赵清潭却是不敢看那算君书稿了。他直接问王崎：“师妹到底想出了什么？”
王崎一愣。
…………………………………………………………………………
天宫之内，柯兰荫松开了自己握着天剑的手臂。
他发现自己背后已经全是冷汗了。
“真是吓人啊……”
他很难形容刚才那一瞬间，王崎整体发生了什么样的异变。他觉得王崎的气息突然之间变得像个炸弹一样，好像随时都会崩溃一般。
那个时候，他几乎以为是龙皇预言发作了。王崎就要完蛋了。
而他天体妖灵级数的法力，也会给这个大日疆域留下难以磨灭的影响。
但幸好，这种感觉只有一瞬。
但是，柯兰荫却还是感觉到一丝惊惶。
“这种活儿不能让我一个老头子来干吧……真是，我都落伍多少年了……”云中君无奈的自嘲道。
应该给打个申请，让他们多派一两名逍遥过来的……
最好还得是那种强力一点的，不然还真干不过这个晚辈。
……………………………………………………………………
在地球历史上，“类型论”是用来突破哥德尔不完备定理的尝试。实际上，它多少也成功了一点。哥德尔第一不完备、第二不完备都被接连突破。
只不过，这也只是“浅层”而已。
哥德尔不完备定理，至今没有被完整的突破过。
直觉主义一向是将“数学”看做是人类智慧的构造性活动的。
在计算机日益发达的时代，直觉主义的研究者，就提出了一个全新的口号。
“定义即构造，构造即证明，证明即程序”。
他们打算借用形式主义者开发出的计算机器，来证明自己的数学理论。
研究一个类型级别的数学实体，就需要比这个类型相等或者更高的元数学。
所以研究涉及无穷超穷的数学实体，就成了需要无穷超穷的元数学。
而直觉主义是不承认“无限的实体”存在的。
就好像物理世界不存在一个“无限实体”一样。
最最严苛的类型系统，是没有循环和自指的。
因而，这个系统，即使是涉及到“无限”的问题，因为并不会造成无限的逻辑回环，所以仍旧可以停机。
因为强规范化的类型系统，都是有穷终结的，也就是一切函数都可以停机并且给出唯一结果。
不存在自我指涉与无限循环这两个停机问题上的幽灵。
这是在牺牲图灵完备的前提下，对停机问题的一次利用。
也就是说，“类型论”是基础数学领域的成就。
而由此衍生的，就是一种绝对可靠的计算机语言。
我的修真小米三 月薪十万，女总裁她果然不只是让我当司机 西游：六岁熊孩子，开局怒怼观世音 穿进语文书，从刺猹开始 敛财心 灵异直播，女主她不想吓人 巨树领主 我，地球唯一超能力者 大明：开局剧透崇祯，重振河山 万苍天穹 巫妖生存指南 舌尖天下 道化九界 盛世花都 建立帝国从骑士次子开始 运河之韵 先婚后爱：娇妻拒婚101次 网游航海之王 谭笑风声里，灼灼桃之夭 什么？奥特曼是终身制的？
老登，看！咱家的散装宗门
一条鱼？一只狐狸？一个阿飘？外加一位魔族！徒儿啊！你是一个人都不给为师收啊？！！扶山子额头青筋突跳，扭头看向自己的开山大弟子，只见他的大弟子躺在躺椅上，蒲扇轻轻摇动，好不快哉，悠然道师父，这话徒儿不爱听，不爱听啊！怎么没给你收人，那不就是随即手中蒲扇往远方一指，扶山子顺势看去，只觉吾命休矣，那可是人族修士...
重生七零，末世女带着异能杀疯了
「年代双洁穿越虐渣打脸异能空间忠犬甜宠搞钱」在末世不幸丧生的徐娇娇一睁眼竟发现自己穿回了华夏国五百年前的七十年代，还是开局就遇上渣男一家前来退婚的狗血画面。经历过末世逃亡的徐娇娇冷冷一笑，很好，她最喜欢以拳服人了。刚考上县里的临时工就看不起我了是吧，没关系，想退婚可以，先挨本小姐一顿揍再说。你以为这就...
传奇，从继承校花老婆开始
周波，你个死肥猪，还在睡，赶紧给老娘滚下来！一个身穿大红嫁衣的绝美女子站在床前大声呵斥。迷迷糊糊的周波看到这个女子心中一跳开玩笑，老夫今天结婚？这么漂亮的女人是我未婚妻？我咋一点印象都没有？...
嫡女惨死后，重回赐婚前，不嫁了
关于嫡女惨死后，重回赐婚前，不嫁了疯批嫡女重生后，虐渣男斗庶妹嫁死对头，狗咬她她都要咬回去！上一世，相府嫡女颜云姝身负恶名，倾尽外祖家财力和权势，助大皇子许景烨得太子位得皇位。可登基当日，他却抄了她外祖满门，将她打入死牢，迎娶了她的庶妹颜书瑶。数月后，他亲自带着她的庶妹颜书瑶来到死牢，一壶毒酒将她活活灌死。死后她才发现，这个世界是一本书。她是书中恶毒女配，庶妹颜书瑶是穿书女主，手握预知未来的金手指肆意夺取她的气运，踩她上位。一朝重生，竟回到了圣上赐婚前，坚决不嫁了。但上一世那个处处和她作对的死对头，原本的皇位继承者，却成了她的这一世的准夫君。人人都道二皇子许景槐冷酷残暴不近女色，只有他自己知道，他心里只有她。...
校园青春之混的那些年
关于校园青春之混的那些年我叫陈庆，因为校园霸凌，走上了这条不归路，而踏进这泥潭后，却越陷越深，直到淹没，永远的消失给大家讲讲我曾混过的那些年吧，或许当时很快乐，或许当时没有那么多的烦恼，或许也因为那几年改变了一生，又或许正是那些年毁了我的一生！（特此声明本故事纯属虚构无不良引导切勿代入现实请勿模仿）注作者写本书目的只是告诫大家，不要踏足这泥泞之地，出来混，没有什么好下场，也不会有那么多的叱咤风云，常在河边走哪有不湿鞋，当你遇到背叛出卖欺骗家人分离时，那种痛苦无法想象，你以为你得到尊严了，但你却早已失去了尊严。相信各位读者都会感同身受，远离这片是非之地。珍惜眼前，活在当下，简单平淡也是幸福，感谢大家。...
称霸诸天：从娶女弟子开始
关于称霸诸天从娶女弟子开始大弟子天狐女帝师傅，人家怕冷，求暖被窝二弟子九幽魔帝师傅，你若不嫁给我，我就砍你了哦三弟子绝情女帝师傅，缺对象吗？咱俩处处。萧三斤乖徒儿们别闹，我忙着独断万古呢...