手机浏览器扫描二维码访问
第1279章（第1页）
直觉主义一向是将“数学”看做是人类智慧的构造性活动的。
在计算机日益发达的时代，直觉主义的研究者，就提出了一个全新的口号。
“定义即构造，构造即证明，证明即程序”。
他们打算借用形式主义者开发出的计算机器，来证明自己的数学理论。
研究一个类型级别的数学实体，就需要比这个类型相等或者更高的元数学。
所以研究涉及无穷超穷的数学实体，就成了需要无穷超穷的元数学。
而直觉主义是不承认“无限的实体”存在的。
就好像物理世界不存在一个“无限实体”一样。
最最严苛的类型系统，是没有循环和自指的。
因而，这个系统，即使是涉及到“无限”的问题，因为并不会造成无限的逻辑回环，所以仍旧可以停机。
因为强规范化的类型系统，都是有穷终结的，也就是一切函数都可以停机并且给出唯一结果。
不存在自我指涉与无限循环这两个停机问题上的幽灵。
这是在牺牲图灵完备的前提下，对停机问题的一次利用。
也就是说，“类型论”是基础数学领域的成就。
而由此衍生的，就是一种绝对可靠的计算机语言。
或者说“一类”。
也就是“强类型”语言。
由于是“最严苛”的系统，所以强类型语言的自由度真的很低。尤其是其中的“强规范类型”，由于牺牲了图灵完备，所以这种语言非常容易发生逻辑上的矛盾。有一点错误就会产生直接停机。
不过好处就是，这种类型的语言，永不出错。
可说真的，你听说过可以号称“永不出错”的语言吗？
你的indos没有蓝过屏？你的安卓没有死过机？
那却是因为，强规范类型，真的不是一般人人玩的。
正是因为如此，强规范类型语言，并没有在码农之中流传开去。想要用好强规范类型，就必须背下和推算一大堆指针和参数的类型。只有完全对得上，程序才会运转。有哪怕一点对不上的，就会直接停机。
这就是牺牲了“图灵完备”的恶性后果了。
说真的，这也蛮考验水平的。可以说，图灵完备，使得一些普通人也能参与到“编程”这个工作之中。而当“图灵完备”被牺牲的时候，对编程的智商要求就提高了。
但另一方面，高智商的人才，通常会更喜欢自由创作一点，也不耐烦背那么多东西了。
这也是业界抛弃这类语言的原因——这类语言不能被廉价程序员掌握。
不过，正是由于它稳定可靠，所以航空航天事业也有使用它。
毕竟，这东西要是死机，那就是上亿元打水漂了。
如果从类型论的观点来看的话，那么……王崎之前的万象卦文，应该算是……无类型语言。
无类型语言的自由度高，可以领高等数学的计算过程直接在物理机上实现，且更接近人类的思维习惯。
或者更接近地球类型论诞生之前的那些高级语言，属于“类型不安全”的范畴。
——甚至可以说，万象卦文同时具有“无类型”和“类型不安全”的标签。
天地炼成 捡到病娇太子之后（重生） 赌妃在上，王爷在下 废材重生：邪王独宠悍王妃 最强除妖师 悍妻[医道] 神偷长公主 直播和男神同居的日子 娱乐超级奶爸 系统之娇宠孕妻 时光请善待我的她 眼镜兄撞上恶魔王子 天黑请开眼 穿越之弃子国师 烈火燃情：高冷总裁滚远点 扛着boss拼下限（末世） 一爱到底之顾少毒妻 大明孤狼 我是狠人大帝的同乡 断神
超强保镖
回国的强者本想安分守己的做个出租车小司机，没想到一次机缘巧合之下救了美女总裁，从此之后，小司机有了春天，做起了美女总裁的贴身保镖，一代超强保镖就此诞生。且看超强保镖林洋，穿梭在都市之中，面...
穿越武大郎从卖饼开始
我穿越成武大郎，刚来就遇到潘金莲。潘金莲嫁给我后感叹自己命苦，但她却发现这个大郎不一般，他的身高，容貌发生了惊人变化，且会厨艺，懂诗词，能武功。遇到西门庆，敢觊觎我娘子？爆锤。王干娘做的好事？弄她。赚钱？抱歉，我精通各种厨艺，席卷宋朝餐饮业。打仗？其实我精通孙子兵法，鬼谷子，三十六计，五经七书，六韬，三略，诸葛兵法论权力，他和当今官家称兄道弟，权倾朝野。遇到水浒好汉，将其统统收服，他能威慑辽国收回燕云十六州，且镇压西夏，金国，以及倭国，拂菻他还能现代化经济建设，改变历史。从此大宋出了个武大郎，他的名声广传天下，威震四海！莫能比也如果您喜欢穿越武大郎从卖饼开始，别忘记分享给朋友...
重生1982做顽主
玩主者顽主，把玩当成正经事，玩出花儿，玩出事业，玩出人生。而杜康精通古董修复，国宝修复需请他出手。精通古董辨识，收藏家想要请他鉴宝。精通玉器赌石，可从顽石中找到宝玉。更精通天下百工，随便一件作品都要数百上千万，有作品拍出过亿的价格。如果您喜欢重生1982做顽主，别忘记分享给朋友...
晚安小萌妻
关于晚安小萌妻雨夜逃婚，迷糊的她强上了未婚夫儿子的车，以为从此逃离魔掌。到头来，她却从一个坑跳进了另一个坑里，一张契约让她从后妈成了儿媳。人前，他对她万般宠爱，眉宇间的爱意如浓郁的巧克力怎么也化不开。她明知是戏，却还不可救药的深陷其中，伤身伤心。人后，他对她呼来喝去，却当关爱与依赖已刻入骨髓，他才后知后觉。...
男人三十
关于男人三十公司破产，妻子出轨，背负巨债，我该何去何从我记得一句话，要么在沉默中死亡，要么在沉默中爆发。我不甘被人戏耍于股掌之间，决心要复仇，要东山再起。对不起我的，我要让他们知道后果，背叛我的，要付出代价。亏欠我的，我将加倍讨回。男人三十，精彩人生才刚刚开始！...
世子妃又野又甜
传闻中恶行昭著不知礼数的草包小姐被退了婚！世人议论纷纷，皆大欢喜。殊不知陆南枝为了退婚干出多少丧心病狂的事儿。众人耻笑没多久，这位怀文候府庶出小姐引得皇城世家公子个个上门求娶。众人悴。后来有一日，陆南枝和那位举世无双温润如玉的世子爷走在一起。霎时，可谓山崩地裂！陆南枝一生都在苦苦追求，研权谋学武艺弃闺阁入朝堂！一双素手掌棋局，抬眸便可定乾坤抒情版文案我把我的心给她，哪怕她撕碎了，踩烂了，也是我愿意的，你管不了，任何人也管不了！沈容煦他们杀人放火也好，灭我家国也罢，哪怕是一寸寸敲断我骨头，我都不会有这般滔天恨意！为何死后扒皮抽筋？挂头颅于城墙之上暴晒！为何死前凌辱？于一介弱女子梳洗之刑？谁若拦我，我便杀死！你若拦我，我便杀你！陆南枝PS男强女强，双洁一对一，简介仅供参考，详情请戳正文。如果您喜欢世子妃又野又甜，别忘记分享给朋友...