胡世華

胡世華（1912年—1998年4月11日），字子華，男，浙江吳興人，生於上海，中國數理邏輯與數學基礎學家，中國科學院院士，中國科學院計算技術研究所、軟件研究所研究員，中國數理邏輯研究的奠基人、理論計算機科學的開拓者。清末民初政要胡惟德之子。

生平

胡世華早年曾就讀於南洋公學附屬小學（現南洋模範中學）。1929年考入南開大學，1932年轉入北京大學哲學系就讀。1935年畢業，次年前往歐洲留學。他曾先後在奧地利維也納大學、德國敏斯特威廉大學等校學習數理邏輯與數學，並獲敏斯特威廉大學博士學位。1941年返國後曾任教於中山大學數學天文系、中央大學哲學系、北京大學哲學系。

胡世華於1949年加入中國民主同盟。翌年出任中國科學院數學研究所數理邏輯研究室主任。1954年加入中國共產黨。1958年提議創辦中國科學技術大學應用數學系工程邏輯專業，併兼任工程邏輯教研室主任。1963年起在中國科學院計算技術研究所任職，擔任第九研究室主任。1979年起兼任北京計算機學院院長、名譽院長。1980年當選中國科學院數學物理學部院士。1985年後又任職於中國科學院軟件研究所。

1998年4月11日胡世華在北京逝世，享年86歲。

參考資料

• 《中国科学技术专家传略·理学编 数学卷 一》. 河北教育出版社. 1996年11月. 
• 胡世华(1912-). 東南大學校友總會. [2011-11-10]. 
• 我国理论计算机科学开拓者胡世华院士逝世. 光明網. 1998-05-04 [2011-11-10].