胡世华，中国现代逻辑学家、数学家,字子华,1912年1月28日出生于上海市，1998年4月11日逝于北京,1935年毕业于北京大学数学系,1936年起在奥地利维也纳大学、德国敏士特大学研究数理逻辑和数学基础,1941年回国后历任中山大学数学天文系副教授、重庆中央大学哲学系教授、北京大学哲学系教授、中国科学院数学研究所研究员、中国科学院计算技术研究所研究员、中国科学院软件研究所研究员、北京计算机学院院长和名誉院长，1981年起任中国科学院数学物理学部学部委员，中国逻辑学会理事、顾问，中国数学学会理事，中国计