第十七章 语言与数学[第1页/共4页]

真正难的，是在包管说话对人晦涩的同时，对机器简朴易懂。

这些说话，天生就是为了让人读懂而存在的。

“嘿！你疯了！”以诺吓了一跳。他但是真的筹算要和尤利娅在一起的。以诺晓得本身的脾气，他守不住奥妙。他如果动了尤基，就没法和尤利娅在一起了。

但在侠客的视角上，也是最强的说话之一。

向山支解了终端的操纵体系。他用本身的编译器替代了本来的编译器。

如果说畴昔的法度员在试图缔造一种“最好的说话”，好到统统人都会想要用它，那么侠客们所缔造的说话，就是完整相反的，“最差的说话”。

Lisp就做不到“晦涩”这一点。它太靠近数学了，乃至于只要晓得了它的入门知识，短长的数学家就能晓得它的用法。

“话说返来，如果真的有这么难的话……我到底是如何学会的啊？”向山喃喃自语：“我到底是甚么人啊？我如何这么短长啊？”

二战结束的前后，数学家们斥地出了一个被称作“字题目”的全新范畴。在这个范畴中，一些数学观点被套上“笔墨”的外套，用代数布局产生的情势天然的表白着它们本身。数学家们尝试利用说话学的法则玩弄数学。

爱因斯坦暮年最好的朋友是最顶级的数学家哥德尔。但这段友情也没有让爱因斯坦的数学程度晋升到哥德尔的层次――起码在真正的数学家眼中，阿尔伯特・爱因斯坦先生的数学程度仍旧是“作为物理学家够用了”的层次。

大脑所熟谙的说话越晦涩，内力就越是无迹可寻。

他对说话学的研讨，乃至被录入了数学史当中。

他内功的根底，是一种知名的、只在极小圈子里通报的说话。

只要对相干范畴的数学有充足深的研讨，那么缔造一门独占的说话，就不是太困难的事情。

“那只是运气好！”以诺恶狠狠的说道：“只是大老爷美意肠罢了！呸，甚么赢了。他不是还倒在地上说‘我输了我输了’甚么的吗？这类懦夫……呸！”

汽笛轰鸣。在刹车声与爆炸般的扬尘当中，一个黑影停在维利面前。随后是调剂摄像头焦距的声音。过了半晌，一个粗暴的声音才说道：“维利？你为甚么在这里？”

而与此同时，说话学家也沿着相反的方向，到达了不异的境地。

刚才阿谁小鬼撞到他身上的时候，他真的吓坏了。他但是尽了最大的尽力，才节制住本身的。

不管是下里巴人的Java、仅仅是根底的C、如陈腐诗歌普通唯美而孤傲的Perl、如同当代诗歌普通豪情的Ruby、易学难精但大成以后近乎神明的Python，还是最切近数学也最切近造物的Lips，乃至是它们的后继者，都不适合用来维系内功的存在。

1944年，美国逻辑学家，野生智能前驱埃米尔・波斯特就证了然字题目具有不成鉴定性。

每一个流派的内功，都对应了特别的编译器，有特别的语法规范和定名体例。它们所编译的初级说话，与畴昔的初级说话在设想思路上大相庭径。

这一门知名说话，绝对是天下上最TM难用的说话。

维利尖叫：“明天但是你让我推那这家伙出去的！是你啊！你不能不管我！不然的话……不然的话……”维利说着，收回哭声：“以诺大哥！我……”