檢視胡世华的原始碼

{{Infobox person  
| 姓名     =   胡世华
| 外文名   =   
| 图像     =   
[[File:胡世华.jpg|缩略图
|center|[https://image.so.com/view?q=%E8%83%A1%E4%B8%96%E5%8D%8E&src=tab_www&correct=%E8%83%A1%E4%B8%96%E5%8D%8E&ancestor=list&cmsid=4b82528821c86fbb744780bf5ff87417&cmras=0&cn=0&gn=0&kn=0&crn=0&bxn=0&fsn=60&cuben=0&pornn=0&manun=0&adstar=0&clw=255#id=f0b745016cbcfc849a1dccb2794406d7&currsn=0&ps=57&pc=57 原图链接]  [http://www.bjb.cas.cn/tbzt2016/dnzt/sd/jdwz/202007/t20200716_5631515.html 图片来源中国科学院]]]
| 图像说明 =   计算机科学家，中国科学院院士
| 出生日期 =   1912年1月28日
| 出生地点 =   上海
| 逝世日期 =   1998年4月11日
| 国籍     =   中国
| 母校     =   天津南开大学
| 职业     =   教育科研工作者
| 知名作品 =   《一种递归式的原始递归性》
}}   

'''胡世华'''(1912.01.28-1998.04.11)，又名胡子华，祖籍[[浙江]][[吴兴]]，出生于[[上海]]，数理逻辑学家、计算机[[科学家]]<ref>[https://www.douban.com/note/793437971/   中国“图灵”胡世华 ],豆瓣网, 2021-02-01</ref>，[[中国科学院]]院士<ref>[http://ren.bytravel.cn/history/2/hushihua.html   胡世华(中国科学院院士) ],吴兴区地名网 </ref>。

1935年毕业于[[北京大学]]。1936-1941年先后在[[奥地利]]维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世<ref>[https://www.gmw.cn/01gmrb/1998-05/04/GB/17682%5EGM2-0413.HTM   胡世华院士逝世 ],光明网, 1998-05-04</ref>。

他是中国开展数理逻辑研究的代表人物之一，倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的倡导人。