手机浏览器扫描二维码访问
“一个真正的程序员,他的编程从裸机开始!”
“一个真正的程序员,不存在面向对象与面向过程之分,也不存在强类型与类型不安全之别,从机器语言到汇编器到编译器到无数高级应用程序,他无所不通!”
某些回忆闪闪发光。
向山已经记不清这是什么人对他说的了。
不过,某些“知识”
成分的东西却在提醒他,那个人是历史上有名的程序员,是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情,所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程,是语言学,也是数学。
或者说,语言学就是一种数学。
二战结束的前后,数学家们开辟出了一个被称作“字问题”
的全新领域。
在这个领域中,一些数学概念被套上“文字”
的外衣,用代数结构产生的形式自然的表明着它们自身。
数学家们尝试使用语言学的规则玩弄数学。
1944年,美国逻辑学家,人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年,安德烈·马尔可夫之子,阿纳托利·马尔可夫也不知晓波斯特工作的前提下,做出了一样的证明。
“语言”
之中,存在“不可判定性问题”
。
这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时,语言学家也沿着相反的方向,抵达了相同的境界。
如果说现代语言学起源自费尔迪南·德·索绪尔,那么诺姆·乔姆斯基就是索绪尔之后的高峰。
而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外,他还可以算是一个数学家。
他对语言学的研究,甚至被录入了数学史之中。
“上下文无关语言的语法”
和“正则语言的语法”
这两个由乔姆斯基创造的领域,在计算机科学理论之中,也有相当的地位。
遗传学家们同样尊敬乔姆斯基,他们认为,乔姆斯基对语言的研究,或许可以成为破解遗传密码的钥匙——他们可以反推出隐藏在遗传信息中的、“造物主的语言”
。
或者说,遗传化学所遵循的“程序”
。
只要对相关领域的数学有足够深的研究,那么创造一门独有的语言,就不是太困难的事情。
清纯可爱的马尾辫校花,前凸后翘的美女老师,职业制服的霸道女警花,一个个美女纷呈而来。其貌不扬的高中生莫小贪得到了一款能预知未来,过目不忘的透视眼镜,人生发生了转折。面对各种美女的青睐,莫小贪这才知道,什么叫做财源滚滚,什么叫做美女入怀,什么叫做暧昧无限,什么叫做纯真爱恋...
星系星团主宇宙星空域至高位面起源世界九宇宙。唯有此岸星空最美!自从迈出了大气层,进入了宇宙星空,柳靖就一直有个愿望在星空下看流星细雨,让整个宇宙为地球崛起放支纪元的烟花!...
百年前,域外魔族入侵人族世界,数次将人族逼入到灭族边缘。人族先辈中有惊才绝艳之人,开创转职之道!并将其普及开来。从此掀开了人族反击战的起点。百年后,一个名为宋奇的穿越者带着系统来到了这方世界,转职成了一名召唤师。然后叮!恭喜获得齐天大圣召唤券。孙悟空已经来到这方世界叮!恭喜获得圣人召唤券。通天教主正在布置诛仙剑阵叮!恭喜获得天道盘古召唤券。盘古的攻击已经落下,本世界将在三分钟后迎来破灭!面对宋奇那堆不讲理的召唤兽,域外魔神直接痛哭流涕。说好的此方世界人族孱弱呢?...
一闭眼,一睁眼。...
她是随时可能失业的前任女法医,他是京城上流权贵,军队王牌。她急于把自己嫁出去,摆脱麻烦他需要娶个女人,给他老子找点麻烦。他掩着眸中的邪恶,你是自愿和我结婚的吧?她点头,很认真地和他办了结婚证。她以为,结婚不过是各取所需摆个形式罢了,可他居然跟他谈婚后责任?!我我什么时候答应过履行婚后责任?他似笑非笑答,我问过,你说你是自愿的。啊,此自愿非彼自愿!腰好酸贺鎏阳,你个军匪!(群号216311802,加验证哦)...
选秀团宠温婉意外穿成娱乐圈黑红女星。为了混口饭吃,被迫参加选秀节目,靠着美丽清冷的外表火遍全网,谁成想内里却是沙雕喜剧人。风水大师哭着喊着要拜她为师,影后死活要认她当干妹妹。商业巨鳄捧着钞票跪着求她算风水。更没想到她竟是商界豪门家族,失散多年的女儿。几个哥哥轮番把她宠上天。又不知道什么时候招惹上了某位顶流,某顶流宝,你帮我算算我什么时候能娶到你?温婉亲,你人设崩了。...