熊十力赠字胡世华

公众号《计算机六十年》文章，原载《溯源中国计算机》

熊十力赠字胡世华，“道之将废也，文不在兹乎”。

胡世华参加了历届全国科学规划的制订，1956年就是科学规划委员会计算技术和数学规划组成员。胡世华是中国开展数理逻辑研究的主要代表人物之一，他倡导将逻辑研究与数学紧密联系，倡导逻辑与计算机相结合。他也是国内将逻辑研究超出哲学范畴的首创者。

1932年,胡世华在北大哲学系学习时，师从熊十力。熊十力在北平寓所有一副自写的对联：“道之将废也，文不在兹乎。”熊先生抗战逃难时将对联带到了重庆，胡世华看到就想要，熊先生取下这副对联，书上“此联吾自悬于座，世华见而索之”，送给了他（见任继愈《熊十力先生的为人与治学》）。

1943 年 2 月至 1946 年 4 月，胡世华在重庆，这时熊十力在重庆北碚金刚碑勉仁书院。“道之将废也，文不在兹乎”，表明了熊十力的理想。熊十力的著述，无非要人们认识中华民族传统文化的价值，这是一种深挚而悲苦的责任感，是20 世纪多灾多难的中国爱国知识分子所独有的，这也是熊先生的魅力所在。

前几年,询问胡先生家人，说是没有见到这幅字。虽然为胡先生整理文稿，出版了文集，却没有注意到这幅字。

熊十力先生（1885—1968）

胡世华先生（1912——1998）

胡世华从哲学始，毕业后转入数学、数理逻辑学习，致力于计算机和软件研究，他传承了老先生们的追求与责任，在数理逻辑发展中，正如罗素所说，将中西双方的优点结合起来获得辉煌成就。

2008 年，纪念胡世华逝世 10 周年，上百万字的《胡世华文集》出版，内容主要有三个领域：逻辑演算、递归函数论、科学哲学。

胡世华，教授，中科院院士，祖籍浙江吴兴，1912 年 1 月 28日生于上海，就读南洋模范小学、中学，崇实中学初一年级，1928 年夏，考入南开初中三年级，1929 年考入南开大学，1932年转北京大学哲学系，毕业后留校研究数学。1936 年赴维也纳大学学习、研究数理逻辑，在德国西威廉敏思特大学获得博士学位。1941 年回国任教哲学，1946 年4月后在北大哲学系任数理逻辑、数学基础教 授。1950 年 起 在中科院数学所、计算所、软件所任研究员45 年。1998 年 4 月11 日逝世。

熊十力先生很少给人题字，但是却还有一幅字是1954年给张中行的。大约也是因为是北大学生，才有机会常向先生请教，故在先生离京去沪之时，索字为念。

1954年10月24日，熊十力先生在北京什刹海，为他当年的北大学生张中行写下： 
    “每日於百忙中，须取古今大著读之，至少数页，毋间断。寻玩义理须向多方体究，更须钻入深处，勿以浮泛知解为实悟也。

甲午十月廿四日，于北京十刹海寓写此漆园老人”。 
张中行先生一直珍藏这一幅字，前几年在中央电视台的“东方之子”节目中，

他还专门述说了老师的这次教诲。