胡世华， （1912年1月28日—1998年4月11日），数理逻辑与数学基础学家，中国科学院院士，中国数理逻辑研究的奠基人、理论计算机科学的开拓者。字子华，浙江吴兴人，生于上海。父亲胡惟德，妻子夏好仁，儿子胡永平、胡永千。1929年-1932年，胡世华就读于天津南开大学。1932年-1936年，胡世华就读于北京大学哲学系和数学系，获得学士学位。1936年-1939年，胡世华先后在奥地利维也纳大学、德国敏斯特威廉大学学习，获敏斯特威廉大学博士学位。1941年-1943年，胡世华任广东中山大学数学天文系副教授。1943年-1946年，胡世华任重庆中央大学哲学系数理逻辑、数学基础教授。1946年-1962年，胡世华任北京大学哲学系数理逻辑、数学基础教授。1949年，胡世华参加中国民主同盟。1950年-1963年，胡世华兼任中国科学院数学研究所研究员、数理逻辑研究室主任。1954年，胡世华加入中国共产党。1958年-1963年，胡世华兼任中国科学技术大学应用数学系工程逻辑教研室主任。1963年-1985年，胡世华任中国科学院计算技术研究所研究员、第九研究室主任。1979年，胡世华兼任北京计算机学院院长、名誉院长。1980年，胡世华当选为中国科学院院士。1985年，胡世华任中国科学院软件研究所研究员。著有《数理逻辑基础》等。