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



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

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

京大学时很崇拜金岳霖教授。金教授虽是哲学家出身，可对数学却有很深造诣，在金教授的哲学里有数学的光辉。由哲学的启发，胡世华建立了把较少值的具有函数完全性的逻辑嵌入到较多值的逻辑中的系统方法。例如“ｍ＋ｎ值命题演算的ｍ值子系统”和“ｍ＋ｎ值题演算的有穷值的具有函数完全性的子系统”，都是关于这方面的论述，其中前一篇论文在Ａ．普赖尔（Ｐｒｉｏｒ）的《形式逻辑（Ｆｏｒｍａｌｌｏｇｉｃ）中得到征引。 “哲学问题”的启发，培养了胡世华的思维能力。在递归函数、递归算法论方面，胡世华有一系列的创新论著。在５０年代末，由于计算机的发展，他考虑将自然数的可计算函数移植于公式（即字），从而建立了公式（即字）上递归函数的概念和理论。这方面的代表作有“递归算法——递归算法论Ⅰ”“核函数——递归算法论Ⅱ”（与陆钟万合著）、“递归函数的范式——递归算法论Ⅲ”和“多种类递归算法——递归算法论Ⅳ”。在国外的文献评论中，胡世华被认为是这方面工作的最早开创者，其中核函数概念的构思是巧妙的，外国学者说它是“优美的”（ｅｌｅｇａｎｔ）。在计算机科学的研究中，胡世华提出了一种描述程序语言（算法语言）的方法，建立了“原形文法”的概

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

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