纪念胡世华教授诞辰110周年
西北大学 郝克刚

胡世华教授，是我1958-1961年在科学院数学所进修时的导师。是中国最有名的数理逻辑和计算机科学专家。

胡世华教授(1912.01.28-1998.04.11)，又名胡子华，祖籍浙江吴兴，出生于上海，数理逻辑学家、计算机科学家，中国科学院院士。1935年毕业于北京大学。1936－1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世，终年86岁。今年2022年，是他诞辰110年的纪念。

距今六十多年前，1958年，数学所研究员胡世华和他的弟子唐稚松，陆钟万等一些有远见的科学家，预见到计算机的大发展，认识到计算机科学理论的重要性。于是在科学院这个象牙塔的塔尖上-数学所，向全国开放，吸收全国二十多个高校的进修教师，办了个同计算机的发展有密切关系的数理逻辑训练班。可以说我国最早的计算机科学理论研究就是在这里开始的。

胡先生提出了逻辑机的概念，明确地指出计算机用于计算，也可以用于逻辑推理。他指导我们这些刚刚大学毕业的年轻人，用计算所的104机证明了罗素书中的命题演算的逻辑定理，打印出了各条定理的证明过程。这对于计算机来说并不是什么难事，但在学术上，哲学上意义重大。科学院相当重视，把它作为建国十周年的重大成果汇报展览项目。还派我参加了展览会的讲解员，我记得旁边的项目就是人工胰岛素的合成成果。

胡先生亲自讲解他的 递归算法论，并派陆钟万老师给我们教数理逻辑基础知识。唐先生给我们讲马尔可夫的算法论。还请南大的莫绍葵先生和匈牙利的卡尔马教授讲递归函数论和其它的数理逻辑理论。当时分了三个专门的方向：逻辑线路组，程序组和基础理论组，分别仔细地讨论一些经典和最新的文献。这些课程为我们训练班的学员，打下了坚实的业务基础。

这个训练班对我国计算机事业的发展功不可没。训练班成员回校后都成为各校创立计算机系的创始人和奠基人，如四川大学的张陞楷，中山大学的朱秉环，肖金声，湖南大学的邱光谊，武汉大学的刘良官，也包括我在西北大学……等都担任过计算机系的主任。大都是计算机课程的骨干教师，南新燕还成为海南省的教育厅厅长。培养的这些人才为我国计算机的发展和教育事业做出了很大的贡献。

这是胡世华老师当时同我们一起拍的几张照片。

后二排：？、张锦文、吕嗣忠、？、龚世生、？、陆钟万、？、陶仁骥、何祥超、成之康、？、陈金馀、熊  藻、周治章、张遵濂、？、林仲卯

中二排：？、马影琳、萧金声、？？？张荣光、方朝臣、余百年、王初生、李挺杰、？、刘良官、胡世华、？、王文远、崔砚农、陈江河、黄祖良、？、唐稚松、？、金振宏、郝克刚、？ 

前二排：？、朱秉环、?、陈继普、张述人、何天牧、黄苹枝、李凤鸣、张陞楷、杨祝汀、韩淑娟、？、南新燕

后排：张荣光、何天牧、萧金声、南新燕、杨祝汀、周治章
中排：郝克刚、王文远、李挺杰、唐稚松

前排：王初生、方朝臣 胡世华、黄苹枝、金振宏。1960.6.程序组。

后排：龚世生、黄祖良、林仲卯、张遵濂、李凤鸣、陈金馀
前排：邱光谊、张陞楷、胡世华、朱秉环、韩淑娟

1963年，全国计算机第三次学会大会在西安召开，胡世华先生参加会议，同时还来我们西北大学给我们教师和同学做了一次精彩的学术报告。

另外，最近发现十年前，我2011年给学生做的一个报告的文稿(图灵的伟大贡献-纪念图灵诞辰100周年)，被一个网站全部刊登了。共58页全部登出，一页一张图片，可以逐一点击浏览。再看一㸔，也还有趣。特别其中第23页登了胡世华的照片。今年2022年，是胡世华院士诞辰110周年，特以此表示纪念。我对图灵的了解，开始都是胡先生教的。

https://slidesplayer.com/slide/11377176/