手机浏览器扫描二维码访问
“一个真正的程序员,他的编程从裸机开始!”
“一个真正的程序员,不存在面向对象与面向过程之分,也不存在强类型与类型不安全之别,从机器语言到汇编器到编译器到无数高级应用程序,他无所不通!”
某些回忆闪闪发光。向山已经记不清这是什么人对他说的了。不过,某些“知识”成分的东西却在提醒他,那个人是历史上有名的程序员,是曾经决定了历史面貌的人。
向山和“这个人”有很深的交情,所以他学到了关于编程的“一切”。
这东西的本质是“数学”。
编程,是语言学,也是数学。
或者说,语言学就是一种数学。
二战结束的前后,数学家们开辟出了一个被称作“字问题”的全新领域。在这个领域中,一些数学概念被套上“文字”的外衣,用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年,美国逻辑学家,人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年,安德烈·马尔可夫之子,阿纳托利·马尔可夫也不知晓波斯特工作的前提下,做出了一样的证明。
“语言”之中,存在“不可判定性问题”。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时,语言学家也沿着相反的方向,抵达了相同的境界。
如果说现代语言学起源自费尔迪南·德·索绪尔,那么诺姆·乔姆斯基就是索绪尔之后的高峰。而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外,他还可以算是一个数学家。
他对语言学的研究,甚至被录入了数学史之中。
“上下文无关语言的语法”和“正则语言的语法”这两个由乔姆斯基创造的领域,在计算机科学理论之中,也有相当的地位。
遗传学家们同样尊敬乔姆斯基,他们认为,乔姆斯基对语言的研究,或许可以成为破解遗传密码的钥匙——他们可以反推出隐藏在遗传信息中的、“造物主的语言”。
或者说,遗传化学所遵循的“程序”。
只要对相关领域的数学有足够深的研究,那么创造一门独有的语言,就不是太困难的事情。
真正难的,是在保证语言对人晦涩的同时,对机器简单易懂。
越是晦涩的语言,在内功上的优势就越大。侠客就是依靠内功在网络之中、在这个世界隐藏自己的。“语言”是他们所有防线的根。他们大脑的语言机能,与自己的内功高度协同。
大脑所熟悉的语言越晦涩,内力就越是无迹可寻。
如若单纯为了内功上的优势,就让计算机的运行效率下降,那就本末倒置了。
lisp就做不到“晦涩”这一点。它太接近数学了,以至于只要知道了它的入门知识,厉害的数学家就能知晓它的用法。
c语言是“具备自然语言特征的高级语言”,它的使用人数实在是太多了,所以这一门语言呈现出一种“野蛮生长”的状况,甚至在很短的时间内出现了“语言的流变”现象——这一点就很接近自然语言的演化了。如果世界上出现两块网络相对封闭的区域,那么c语言甚至有可能演化出“方言”。
向山不管是哪边都很熟悉。
在内功的领域,这就一法通、万法通了。
向山觉得,自己应该还认识那么一个人。这个人或许名声没有那么响亮,但他绝对站在了人类认知的边界上。
影视世界从小舍得开始 我创造的那些神话种族 纨绔子的美娇妻 重生九零之军妻撩人 奥特曼:我摊牌了,我是贝利亚 斗罗:代管武魂殿,全成封号斗罗 学神和她撒娇卖萌的小娇夫 食戟之我成了幸平创真 万界从成果开始 星海:从废弃采矿空间站开始 开局一只沙奈朵 开局入赘大唐李家 伦敦升维1919 陆爷的小祖宗是玄学大佬 帝宫东凰飞 生存真人秀后她惊艳全球 一切从西行妖开始 动物园养成游戏 秦始皇:我儿知错了吗? 快穿:宿主快跑,boss黑化了
第一次来到这个世界,八嘎!一声纯粹的日语让林远怒火中烧,旁边耸立的高墙也让他是二丈和尚摸不着头脑,握草,五行之力,可以啊。发现自己可以操控五行之后,林远笑出了声,然而,越来越强大的他也终于摸清了这个世界的真相,巨人之力,亦或者五行之力,都不应该存在的。明白了自己的使命后,满是不舍的林远,终究是决定了放手...
陈氏继承人陈最,虽生了张祸国殃民的脸,但行事低调至极又清心寡欲。众人只道他是为了白月光修身养性。直到回国接风宴那天,一众好友热情地给他牵红线时。陈最才漫不经心地说没女朋友,但已婚。那时,朋友们才知道他有一个结婚三年的妻子,还不是他的白月光。陈最已婚消息一经传开,小道消息层出不穷。听闻女方是个破产千金,不择手...
恶魔囚笼简介emspemsp关于恶魔囚笼一款不受任何保护的地下游戏,一群追逐权利财富生命的玩家!命不久矣的秦然,选择进入其中为了活下去的机会!企鹅群(VIP全订547350184普通392362642)请关注微信公众号吃货龙有...
当初说好的先卧底一百年,结果一百年后又一百年,一百年后又一百年,这都快三百年了啊,阿镜!我都快混成门派掌教了!你对我态度好点行不行?现在全世界只有我知道你的身份,等下我就去另找救世主,你后续身份暴露如何被她们追杀我也不用管了。那你想我怎样?天天提醒自己,‘我是救世主,我卧底是为了拯救世界’,这样啊?...
传言,陆男神只喜欢玩游戏,不喜欢女人。为了打破传言,安辰星发起进攻,游戏里,现实中,对男神展开猛烈追求!小哥哥,你缺女朋友吗?我玩游戏菜,但我骂人贼溜,还会喊666!不缺!任何人都逃不过的真香定律,迟早会出现!陆男神我还缺一个女朋友,你要不要来试试?安辰星我不要!陆男神那你缺男朋友吗?安辰星嗯,真香!PS前期女追男,后期男追女!如果您喜欢我被国服大佬团宠了,别忘记分享给朋友...
熊槐刚刚穿越成为楚怀王,就碰到秦国的张仪前来送礼商於之地六百里。熊槐表示要改写历史,不再做愚蠢的楚怀王,绝不绝齐连秦。结果第二天,和满朝文武商量之后,经过数轮唇枪舌剑,楚国上下达成一致意见。熊槐意气风发对张仪道寡人决定和齐国绝交。如果您喜欢大楚怀王,别忘记分享给朋友...