到有了哥德爾的不完備定理,沒指望了,數學家對這個領域,也就沒了興趣。做數理邏輯,語言邏輯的人,都去了哲學係。據我所知,全美國的數學係,隻有UCLA,有數理邏輯的研究方向。這個還是三十年前的事,現在什麽樣子我就不知道了。:)