中国数学逻辑奠基人胡世华



		网站首页新闻中心华夏名胜世界景点旅行游记风土人情旅游常识

中国数学逻辑奠基人胡世华

念和理论。“算法语言的描述问题”和“如何描述程序语言”是这方面的代表性论文。爱祖国爱党爱数学１９４１年，一个阳光明媚的春天，胡世华回到祖国。一位在国外生活３６年的中国学生、一个名牌学校的尖子，品学兼优并展现出领袖才华，面对国外优裕的生活条件却放弃了。他独爱数学，而爱数学与爱祖国、爱党是统一的，他要倾自己所学报效祖国。他先后任广东中山大学数学天文系副教授，重庆中央大学哲学系数理逻辑、数学基础教授、北京大学哲学系数理逻辑、数学基础教授，中国科学院数学研究所研究员、数理逻辑研究室主任，中国科学院计算技术研究所研究员、第九研究室主任，中国科学院软件研究所研究员等。

页码：[1] [2] [3] [4] 第4页、共4页

设为首页 | 加入收藏 | 联系站长 | 友情链接 | 版权申明