到有了哥德尔的不完备定理,没指望了,数学家对这个领域,也就没了兴趣。做数理逻辑,语言逻辑的人,都去了哲学系。据我所知,全美国的数学系,只有UCLA,有数理逻辑的研究方向。这个还是三十年前的事,现在什么样子我就不知道了。:)