他上大学的那个系在五十年代建立全国第一个数理逻辑专业，也是全国最早的博士导师专业。