【介绍】：

中国科学院学部委员。

数学家。男，1912年1月出生，北京人。曾任中国科学院计算技术所研究员，北京工业大学第二分校校长。1935年北京大学毕业。

主要贡献：主要从事数理逻辑，数学基础和计算机科学的研究，取得了不少具有开创性的重大成果。

主要着述：有《伪布尔代数及拓扑基础》、《m+h值命题演算的m值子系统》、《递旧算法、递旧算法论Ⅰ》、《递旧函数的范式，递旧算法论Ⅰ》、《多种类递旧算法，递旧算法论Ⅳ》、《算法语言的描述问题》、《如何描述程序语言》和《数理逻辑基础》等。