編程，是語言學，也是數學。

        或者說，語言學就是一種數學。

        二戰結束的前后，數學家們開辟出了一個被稱作“字問題”的全新領域。在這個領域中，一些數學概念被套上“文字”的外衣，用代數結構產生的形式自然的表明著它們自身。數學家們嘗試使用語言學的規則玩弄數學。

        1944年，美國邏輯學家，人工智能先驅埃米爾·波斯特就證明了字問題具備不可判定性。

        而在1947年，安德烈·馬爾可夫之子，阿納托利·馬爾可夫也不知曉波斯特工作的前提下，做出了一樣的證明。

        “語言”之中，存在“不可判定性問題”。這是第一個并非由人類提出、并非出現在計算科學領域的不可判定性問題。

        而與此同時，語言學家也沿著相反的方向，抵達了相同的境界。

        如果說現代語言學起源自費爾迪南·德·索緒爾，那么諾姆·喬姆斯基就是索緒爾之后的高峰。而喬姆斯基除了作為語言學家、哲學家與社會學家廣為人知之外，他還可以算是一個數學家。

        他對語言學的研究，甚至被錄入了數學史之中。

        “上下文無關語言的語法”和“正則語言的語法”這兩個由喬姆斯基創造的領域，在計算機科學理論之中，也有相當的地位。

        內容未完，下一頁繼續閱讀