他上大學的那個係在五十年代建立全國第一個數理邏輯專業，也是全國最早的博士導師專業。

盡管後來數天兩個係。出來的學生都有邏輯基礎。