小叶中文网

手机浏览器扫描二维码访问

第十七章 语言与数学(第3页)

“一个真正的程序员,他的编程从裸机开始!”

“一个真正的程序员,不存在面向对象与面向过程之分,也不存在强类型与类型不安全之别,从机器语言到汇编器到编译器到无数高级应用程序,他无所不通!”

某些回忆闪闪发光。

向山已经记不清这是什么人对他说的了。

不过,某些“知识”

成分的东西却在提醒他,那个人是历史上有名的程序员,是曾经决定了历史面貌的人。

向山和“这个人”

有很深的交情,所以他学到了关于编程的“一切”

这东西的本质是“数学”

编程,是语言学,也是数学。

或者说,语言学就是一种数学。

二战结束的前后,数学家们开辟出了一个被称作“字问题”

的全新领域。

在这个领域中,一些数学概念被套上“文字”

的外衣,用代数结构产生的形式自然的表明着它们自身。

数学家们尝试使用语言学的规则玩弄数学。

1944年,美国逻辑学家,人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。

而在1947年,安德烈·马尔可夫之子,阿纳托利·马尔可夫也不知晓波斯特工作的前提下,做出了一样的证明。

“语言”

之中,存在“不可判定性问题”

这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。

而与此同时,语言学家也沿着相反的方向,抵达了相同的境界。

如果说现代语言学起源自费尔迪南·德·索绪尔,那么诺姆·乔姆斯基就是索绪尔之后的高峰。

而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外,他还可以算是一个数学家。

他对语言学的研究,甚至被录入了数学史之中。

“上下文无关语言的语法”

和“正则语言的语法”

这两个由乔姆斯基创造的领域,在计算机科学理论之中,也有相当的地位。

遗传学家们同样尊敬乔姆斯基,他们认为,乔姆斯基对语言的研究,或许可以成为破解遗传密码的钥匙——他们可以反推出隐藏在遗传信息中的、“造物主的语言”

或者说,遗传化学所遵循的“程序”

只要对相关领域的数学有足够深的研究,那么创造一门独有的语言,就不是太困难的事情。

本月排行榜
本周收藏榜
热门小说推荐
万武天尊

万武天尊

异世醒来,萧晨获得传世之宝,武神攻略。从此,一代学神横空出世。脚踩仙帝,拳打魔尊,太古神明供我驱使,洪荒巨兽给我看门。你问我为什么这么牛?呵呵,一句话有文化,真可怕!...

豪门囚爱:纨绔强少骁宠妻

豪门囚爱:纨绔强少骁宠妻

张少,求你放过小女子吧!乔薇欲哭无泪的望着背脊笔直如剑,穿着一身军装的男人,哀求道。不放!张强清淡的言语中带着一丝坚定。张强,你当姑奶奶好欺负是不是,你别以为你是京城第一炮,我就怕你!乔薇厉声道。你说什么?张强微微眯起眼睛,眸光一冷。怎么?没脸了?谁不知道,你是京城生活最糜烂的男人?恐怕私生子都成群了吧?乔薇鄙夷道,说完,转身就朝远去跑去。张强望着渐行渐远的倩影,嘴角微微翘起一抹笑容老子看上的女人,还能让你跑了?...

屠魔工业

屠魔工业

灭世绝境下该寻求自身的存活亦或族群的延续?科学与玄学摩擦出的文明火花难以想象。这一个玄学文明的演变史,一个文明与文明碰撞的故事。PS这是玄学工业化太空化的文明大百科,打打杀杀只是极小的一部分,请不要对此抱有期待。新书塔防战略已上传。...

校草狠坏:恶魔,别吃我

校草狠坏:恶魔,别吃我

全本免费她混进男校,却被恶魔盯上,一言不合就强吻,话不投机就欺负,还假装梦游,上她的床,霸道撩人。她愤怒挣扎恶魔,我是男的。他把她咚床上,邪肆地笑你是男的?把裤子脱了,让我验明正身,我就信了。一见恶魔校草误终身,恶魔撩人那么厉害,怎么破?...

军少的百亿萌妻

军少的百亿萌妻

好嘛,重生了,但为嘛只有三岁啊。关行慎,我喜欢丫头!貌美如花的小正太一脸正色,关小少爷一拳轰出,揍得正太鼻血狂流。嗯,这是一个有关重生,有关空间,...

祈家福女

祈家福女

资深殡葬师魂穿异世成了人人忌讳的棺生女,避世十五年重回祈家,她是该报怨?还是该创造自己的幸福小日子?  灾星?福女?姐自个儿说了算!...

每日热搜小说推荐