本期封面院士简介

胡世华数理逻辑与数学基础学家、计算机科学家。原籍浙江吴兴,生于上海。1935年毕业于北京大学。中国科学院计算技术研究所研究员。他建立了拓扑空间"非完整点"的概念和理论,还建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中去的系统方法。20世纪60年代初在国际上首先建立了有穷基自由半群上的递归函数和递归算法理论。20世纪70年代对算法语言的描述问题作了深入研究。20世纪80年代在递归算法的基础上研究了可计算函数在证明论中的应用。1980年当选为中国科学院院士(学部委员)。