纪念数学家胡世华先生逝世20周年

回顾往事，中科院胡世华院士离开我们已经20年了。胡世华先生是我国数理逻辑事业的开创者与领头人。

胡世华（1912.1 - 1998.4）1935年毕业于北京大学，1936-41年前往奥地利、德国留学，学习数理逻辑与数学基础。

胡世华于20世纪30年代末，在德国著名逻辑学家H.肖尔兹（Heinrich Scholz，1884-1956）和K.柯特（Kothe）两教授指导下完成博士学位论文《伪布尔代数及拓扑基础》，其中建立了拓扑空间中“非完整的点”的概念和理论，这可以看作是20世纪60年代开始发展的非标准分析（无穷小微积分）的空间（随之必然有关于非标准点的拓扑空间）中“非标准点”概念和理论的一种雏形。

实际上，胡世华、张锦文都是中科院计算所数理逻辑研究室的负责人。在此清明节期间，让我们记住他们对形式公理化无穷小微积分的倡导与推动。

袁萌 3月31日

纪念数学家胡世华先生逝世20周年相关推荐

读胡世华之《数理逻辑基础》
胡世华, 陆钟万. 数理逻辑基础(上册). ISBN: 978-7-03-046421-7 胡世华, 陆钟万. 数理逻辑基础(下册). ISBN: 978-7-03-046422-4 这套书是我的数理 ...
纪念数学家、系统与控制学家关肇直院士《泛函分析》
开疆拓土贻范古今纪念数学家.系统与控制学家关肇直院士百年诞辰关肇直中国科学院数学与系统科学研究院供图 ■本报见习记者韩扬眉 3月30日,春寒料峭,数学和系统控制领域的院士.学 ...
多备份CEO胡茂华：创业路上五道坎
本文由多备份CEO胡茂华记述,授权南七道发表,未做删改.胡茂华:腾讯第116号员工,历任腾讯总监.盛大CTO (旅游).1号店技术副总裁.现担任云服务提供商多备份联合创始人&CEO. 2014 ...
MIT牛人解说数学体系与数学家石根华的41年传奇(转)
MIT牛人解说数学体系与数学家石根华的41年传奇(转) (2011-08-13 22:00:02) 标签: 校园分类: 工作篇为什么要深入数学的世界作为计算机的学生,我没有任何企图要成为一个数学 ...
MIT牛人解说数学体系与数学家石根华的41年传奇
MIT牛人解说数学体系与数学家石根华的41年传奇(转) 分类: 软件英雄 2011-11-12 21:39 166人阅读评论(0) 收藏举报 MIT牛人解说数学体系与数学家石根华的41年传奇(转) ...
windows优化大师8周年纪念版_《数码宝贝》20周年纪念：当年的八神太一与亚古兽你还记得吗？...
1999年在日本首播,2001年引进国内的动画片<数码宝贝>是很多玩友的童年回忆之一.这部根据万代旗下同名电子游戏改编的动画讲述了八神太一等8位少年在数码宝贝们的陪伴下,在网络世界展开 ...
IBM胡世忠谈大数据时代企业面临的四大挑战
4月19日,IBM软件集团在北京举办大中华区2012年策略发布会.IBM大中华区副总裁兼大中华区软件集团总经理胡世忠向参会媒体表示,"随着移动互联网.社交媒体.电子商务.物联网的飞速发展, ...
IBM副总裁胡世忠：数据是新的自然资源
文章讲的是IBM副总裁胡世忠:数据是新的自然资源,大数据的影响力与日俱增.十年前,数据量的单位是GB;而十年后的今天,每天产生的数据量已达到25PB(1PB=106GB).在过去的两年里,人们创造了整 ...
乔布斯的康熙盛世，库克的雍正王朝——纪念乔布斯逝世5周年
乔布斯的康熙盛世,库克的雍正王朝--纪念乔布斯逝世5周年(转) 文/曲凯 2011年10月5日,5年前的今天,苹果公司的所有员工都收到了一封来自 Tim Cook 的邮件. "全体同事,我很 ...
QB期刊:纪念人类基因组草图发表20周年系列文章 | 美国两院院士Michael S. Waterman教授分享HGP早期历史...
2001年2月,Nature和Science两本期刊分别刊登了国际人类基因组测序联盟(International Human Genome Sequencing Consortium)和美国Celer ...

纪念数学家胡世华先生逝世20周年

纪念数学家胡世华先生逝世20周年相关推荐

最新文章

热门文章