胡世华

胡世华院士(1912-1998)，我国数学的分支——数理逻辑的奠基人、计算机科学的开拓者。在数理逻辑、基础数学和计算机科学等领域开展了多方面深入的研究工作，取得了多项富于开创性的科学成果，建立了多项科学概念、理论和定理：建立了一些多值逻辑系统；创建了字上递归函数论；提出了构造简单功能很强的核函数概念，并应用于字上递归函数的范式；提出了程序（算法）语言的描述方法和“原形文法”概念和理论；发表了高水平的论文四十余篇，有的结果被国外同行写进书中或在文章中引用；与他人的合著《数理逻辑基础》上下册，于1988年被评为国家教委高等学校优秀教材。