“一个真正的程序员,他的编程从裸机开始!”
“一个真正的程序员,不存在面向对象与面向过程之分,也不存在强类型与类型不安全之别,从机器语言到汇编器到编译器到无数高级应用程序,他无所不通!”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过,某些“知识”成分的东西却在提醒他,那个人是历史上有名的程序员,是曾经决定了历史面貌的人。
向山和“这个人”有很深的交情,所以他学到了关于编程的“一切”。
这东西的本质是“数学”。
编程,是语言学,也是数学。
或者说,语言学就是一种数学。
二战结束的前后,数学家们开辟出了一个被称作“字问题”的全新领域。在这个领域中,一些数学概念被套上“文字”的外衣,用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年,美国逻辑学家,人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年,安德烈·马尔可夫之子,阿纳托利·马尔可夫也不知晓波斯特工作的前提下,做出了一样的证明。
“语言”之中,存在“不可判定性问题”。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时,语言学家也沿着相反的方向,抵达了相同的境界。
如果说现代语言学起源自费尔迪南·德·索绪尔,那么诺姆·乔姆斯基就是索绪尔之后的高峰。而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外,他还可以算是一个数学家。
他对语言学的研究,甚至被录入了数学史之中。
“上下文无关语言的语法”和“正则语言的语法”这两个由乔姆斯基创造的领域,在计算机科学理论之中,也有相当的地位。
遗传学家们同样尊敬乔姆斯基,他们认为,乔姆斯基对语言的研究,或许可以成为破解遗传密码的钥匙——他们可以反推出隐藏在遗传信息中的、“造物主的语言”。
或者说,遗传化学所遵循的“程序”。
只要对相关领域的数学有足够深的研究,那么创造一门独有的语言,就不是太困难的事情。
真正难的,是在保证语言对人晦涩的同时,对机器简单易懂。
越是晦涩的语言,在内功上的优势就越大。侠客就是依靠内功在网络之中、在这个世界隐藏自己的。“语言”是他们所有防线的根。他们大脑的语言机能,与自己的内功高度协同。
大脑所熟悉的语言越晦涩,内力就越是无迹可寻。
如若单纯为了内功上的优势,就让计算机的运行效率下降,那就本末倒置了。
lisp就做不到“晦涩”这一点。它太接近数学了,以至于只要知道了它的入门知识,厉害的数学家就能知晓它的用法。
c语言是“具备自然语言特征的高级语言”,它的使用人数实在是太多了,所以这一门语言呈现出一种“野蛮生长”的状况,甚至在很短的时间内出现了“语言的流变”现象——这一点就很接近自然语言的演化了。如果世界上出现两块网络相对封闭的区域,那么c语言甚至有可能演化出“方言”。
向山不管是哪边都很熟悉。
在内功的领域,这就一法通、万法通了。
向山觉得,自己应该还认识那么一个人。这个人或许名声没有那么响亮,但他绝对站在了人类认知的边界上。
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
穿在1977 喜欢是芥末草莓味 三岁女配带不动 我看心电图,你说我上班炒股? 我喜欢那个据说是反派的男人(穿书) 穿成校草O后被学霸标记了 诱你标记 重生商纣,开局怒怼圣人女娲 女修凶猛 明末巡检天下 我在剑宗以情入道 诡案追踪 给暴龙族族长养包子 制卡三幻神,从无限推演开始 我靠抽卡,穿成小动物给疯批生崽 要死,开局穿越宇智波灭族之夜 快穿之考场妖精 超时空男团 美食:承包食堂,清北抢我抢疯了 重生八零:天才小媳妇
神秘游戏从天而降,水蓝星的所有人类都被迫成为游戏玩家。玩家的每一个举动,都有可能触发游戏副本。游戏副本触发后,玩家会收到副本任务。只要参与副本游戏,玩家就有机会获得经验值。但只有完成副本任务,玩家才...
大婚在即,新郎却意外身亡。母亲怜惜,她被悄然送去长安避难,却不想邂逅一段混乱悲凉的感情。静水深流,教人爱恨无奈的他至情至性,温柔体贴的他。是不顾礼教的束缚,选择深爱的他还是只求一世荣华,将人生随...
陆大强在旁人眼里是个泼皮无赖,婆娘跑了之后独自抚养儿子长大,儿子很争气长大后开创了一番自己的事业,但是很气愤的事,儿子一直不结婚,而且心里眼里都是他的死对头,把对方当亲爹一样待。老头儿怎么忍得了战...
开新文啦本文预计4月7日入v,入v当日有万更掉落,v章还有随机红包,请大家多多支持鞠躬本王已经设置防盗,作者码字不易,还请多多本文设定黛玉的爹妈前世魂魄看到了女儿的遭遇却无能为力重生到...
老何,管管贾无敌吧,又在疯狂带一个小鲜肉的节奏。你二大爷的,我哪里是带节奏,我是弘扬正能量提升凝聚力。你一个人工智能,口吐芬芳把一群人怼的瑟瑟发抖,抱团取暖,能不提升凝聚力嘛。何昱作...
方舟穿越到一个男卑女尊的修仙界。这个世界,流氓是女的,色魔是女的,修仙是女的,连开天辟地的创世神都是女的。作为一个走到哪都被觊觎的靓仔,方舟压力很大。女孩们都想跟他一起玩,还想抓他回去玩。为了小命着想,方舟不得不化身钢铁猛男,抵抗到底。滚开你们这些臭女人,不要打扰我修仙!...