，后者是二十世纪数学领袖大卫·希尔伯特学生、助理和亲密合作者。 中华人民共和国成立后，1950年回国，到南京大学任教，先后担任数学系副教授、教授、博士生导师，1958年在孙钟秀等协助下于创建中国第一个数理逻辑专业，任数理逻辑教研室主任。作为中国数理逻辑教育和研究的开拓者之一，是中国第一批博士生导师，他在1965年出版的《数理逻辑导论》、1980年《数理逻辑初步》和1982年《数理逻辑教程》是中国最早的数理逻辑教材，既是他的讲义，也是自学青年的读本，既影响了从事数理逻辑的研究工作，也对计算机专业从事计