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

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

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

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

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

袁萌  3月31日