胡世華
胡世華（1912年—1998年4月11日），字子華，男，浙江吳興人，生於上海，中國數理邏輯與數學基礎學家，中國科學院院士，中國科學院計算技術研究所、軟件研究所研究員，中國數理邏輯研究的奠基人、理論計算機科學的開拓者。清末民初政要胡惟德之子。
| 胡世華 | |
|---|---|
| 出生 | 1912年1月28日  |
| 逝世 | 1998年4月11日 （86歲） 北京市 |
| 母校 | |
| 職業 | 電腦科學家 |
| 僱主 | |
| 政黨 | 中國共產黨、中國民主同盟 |
| 獎項 | 中國科學院院士 |
生平
胡世華早年曾就讀於南洋公學附屬小學（現南洋模範中學）。1929年考入南開大學，1932年轉入北京大學哲學系就讀。1935年畢業，次年前往歐洲留學。他曾先後在奧地利維也納大學、德國敏斯特威廉大學等校學習數理邏輯與數學，並獲敏斯特威廉大學博士學位。1941年返國後曾任教於中山大學數學天文系、中央大學哲學系、北京大學哲學系。
胡世華於1949年加入中國民主同盟。翌年出任中國科學院數學研究所數理邏輯研究室主任。1954年加入中國共產黨。1958年提議創辦中國科學技術大學應用數學系工程邏輯專業，併兼任工程邏輯教研室主任。1963年起在中國科學院計算技術研究所任職，擔任第九研究室主任。1979年起兼任北京計算機學院院長、名譽院長。1980年當選中國科學院數學物理學部院士。1985年後又任職於中國科學院軟件研究所。
1998年4月11日胡世華在北京逝世，享年86歲。
參考資料
- 《中国科学技术专家传略·理学编 数学卷 一》. 河北教育出版社. 1996年11月.
- 胡世华(1912-). 東南大學校友總會. [2011-11-10]. （原始內容存檔於2009-02-18）.
- 我国理论计算机科学开拓者胡世华院士逝世. 光明網. 1998-05-04 [2011-11-10]. （原始內容存檔於2004-12-22）.