胡世華
中國現代邏輯學傢、數學傢。字子華。1912年1月28日出生於上海市，1998年4月11日逝於北京。1935年畢業於北京大學數學系。1936年起在奧地利維也納大學、德國敏士特大學研究數理邏輯和數學基礎。1941年回國後歷任任中山大學數學天文系副教授、重慶中央大學哲學系教授、北京大學哲學系教授、中國科學院數學研究所研究員、中國科學院計算技術研究所研究員、中國科學院軟件研究所研究員、北京計算機學院院長和名譽院長，1981年起任中國科學院數學物理學部學部委員，中國邏輯學會理事、顧問，中國數學學會理事，中國計算數學學會委員。1954年參加中國共產黨。
胡世華的科學成就主要有:①建立瞭拓撲空間中“非完整的點”的概念和理論（博士論文）；②建立瞭把較少值具有函數完全性的邏輯演算嵌入較多值邏輯演算中去的系統方法；③建立瞭遞歸算法論，即關於有窮生成子自由半群上的遞歸函數的概念和理論；④提出瞭一種程序(算法)語言的描述方法，建立瞭“原形文法”概念和理論。他在數學基礎和數學哲學問題方面發表瞭一些具有獨創性的論文。他寫的專著有《數理邏輯基礎》（與陸鐘萬合作，上下冊，1981～1982）。