【生卒】：1912—1998

【介绍】：

曾用名子华，上海人，1912年生于北京。1935年，毕业于国立北京大学，旋留校研究数学。1936年，赴欧洲留学，先後入奥地利维也纳大学、德国敏思特大学等处研究数学、数理逻辑与数学基础学，获博士学位。1941年回国；同年8月，任国立中山大学数学天文系副教授。1943年，任国立重庆中央大学哲学系教授。1946年，任国立北京大学哲学系教授。1950年，兼任中国科学院数学研究所研究员、数理逻辑研究室主任。1954年，加入中国共産党。1958年，兼任中国科技大学工程逻辑教研室主任。1963年1月起，任中国科学院计算技术研究所研究员，并任第九室主任。1979年4月起，兼任北京工业大学第二分校校长。1980年11月，当选为中国科学院数理学部学部委员。1983年，被任命为该学部计算机科学专业组组长。为中国数学会理事，中国逻辑学会理事，中国自然辨证法研究会理事，计算机学会委员，《中国科学》、《科学通报》、《理论计算机科学》编委。1998年4月11日，逝世于北京。终年86岁。着有《数理逻辑基础》等。