胡世華

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