手机浏览器扫描二维码访问
“一个真正的程序员,他的编程从裸机开始!”
“一个真正的程序员,不存在面向对象与面向过程之分,也不存在强类型与类型不安全之别,从机器语言到汇编器到编译器到无数高级应用程序,他无所不通!”
某些回忆闪闪发光。
向山已经记不清这是什么人对他说的了。
不过,某些“知识”
成分的东西却在提醒他,那个人是历史上有名的程序员,是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情,所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程,是语言学,也是数学。
或者说,语言学就是一种数学。
二战结束的前后,数学家们开辟出了一个被称作“字问题”
的全新领域。
在这个领域中,一些数学概念被套上“文字”
的外衣,用代数结构产生的形式自然的表明着它们自身。
数学家们尝试使用语言学的规则玩弄数学。
1944年,美国逻辑学家,人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年,安德烈·马尔可夫之子,阿纳托利·马尔可夫也不知晓波斯特工作的前提下,做出了一样的证明。
“语言”
之中,存在“不可判定性问题”
。
这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时,语言学家也沿着相反的方向,抵达了相同的境界。
如果说现代语言学起源自费尔迪南·德·索绪尔,那么诺姆·乔姆斯基就是索绪尔之后的高峰。
而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外,他还可以算是一个数学家。
他对语言学的研究,甚至被录入了数学史之中。
“上下文无关语言的语法”
和“正则语言的语法”
这两个由乔姆斯基创造的领域,在计算机科学理论之中,也有相当的地位。
遗传学家们同样尊敬乔姆斯基,他们认为,乔姆斯基对语言的研究,或许可以成为破解遗传密码的钥匙——他们可以反推出隐藏在遗传信息中的、“造物主的语言”
。
或者说,遗传化学所遵循的“程序”
。
只要对相关领域的数学有足够深的研究,那么创造一门独有的语言,就不是太困难的事情。
关于重启平行人生关于重启平行人生原以为一切都将结束林安醒来却发现回到了十多年前的学生时代这次不会再错过那些美好不会软弱无力的让那一切再次发生新书上传,求收藏推荐!...
白初语被一个神秘的男人盯上了!从此以后,出国不用飞机,报警不用拨号,打人只需要吹吹口哨!踢翻忘恩负义的前男友,心情不好了就去讨债欠我的,都给我吐出来!揭露装模作样的亲姐姐,心情好了就去抢财产这房子我喜欢,这辆车挺好看!归我了!冷少夫人霸气!白初语却甩掉结婚证冷少,离婚!冷少眼神微冷夫人,你霸气过头了。白初语我们属于不同物种,不能生孩子!冷少声音蛊惑这个要试过才知道!...
被无耻的客户下了药,她阴差阳错的强扑了钻石王老五。翌日早上,楚清妍红着脸,鼓起勇气说出一句不要脸的话昨晚的事我我不会负责的男人冒着阴冷气息的声音飘来难道我昨晚的表现很糟糕?让你迫不及待和我撇清关系。闻言,楚清妍的心猛然一抽。虽然昨晚意识模糊,但身体还残留着疯狂的快意,只遥遥感觉他的气息,心底就有蠢蠢欲动的潮涌...
...
...
重生回到七零年代,城市生活猛于虎,姥姥家被斗,奶奶家整天斗自己娘俩。谁说城里人有粮票油票肉票各种票就好过啦?没有空间没有金手指,不能种地挣工分,不敢投机倒...