胡世華(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歲。

參考資料