弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”之中，存在“不可判定性问题”。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
如果说现代语言学起源自费尔迪南·德·索绪尔，那么诺姆·乔姆斯基就是索绪尔之后的高峰。而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外，他还可以算是一个数学家。
他对语言学的研究，甚至被录入了数学史之中。
“上下文无关语言的语法”和“正则语言的语法”这两个由乔姆斯基创造的领域，在计算机科学理论之中，也有相当的地位。
遗传学家们同样尊敬乔姆斯基，他们认为，乔姆斯基对语言的研究，或许可以成为破解遗传密码的钥匙——他们可以反推出隐藏在遗传信息中的、“造物主的语言”。
或者说，遗传化学所遵循的“程序”。
只要对相关领域的数学有足够深的研究，那么创造一门独有的语言，就不是太困难的事情。
真正难的，是在保证语言对人晦涩的同时，对机器简单易懂。
越是晦涩
第十七章 语言与数学(4/8)