我只对自己研究中用到的数学感兴趣,当然也需要一些新的数学方法。
我的练习题已经加到七题。其中第五题是关于语言处理的基本问题。如果没有系统性地研究过各种语言,数学再好,也不见得能答对。本来就是术业有专攻。
语言不但包括科学语言、数学语言,也包括逻辑语言,等等。
语言处理的基本问题找对了,Dana Stewart Scott的模态逻辑有什么不足就一目了然,根本不需要特别考虑。
这也是我那些练习题的价值。
Zhangqq和邯郸学步要想认真跟我争论,最好先把各种语言好好学一学。计算机编程语言,只是语言中的一类,表达力很有限,局限性却很多。他们现在这样耍嘴皮子,却讲不出道理,是没有说服力的。