公众号《计算机六十年》文章，原载《溯源中国计算机》
熊十力赠字胡世华，“道之将废也，文不在兹乎”。
胡世华参加了历届全国科学规划的制订，1956年就是科学规划委员会计算技术和数学规划组成员。胡世华是中国开展数理逻辑研究的主要代表人物之一，他倡导将逻辑研究与数学紧密联系，倡导逻辑与计算机相结合。他也是国内将逻辑研究超出哲学范畴的首创者。
1932年,胡世华在北大哲学系学习时，师从熊十力。熊十力在北平寓所有一副自写的对联：“道之将废也，文不在兹乎。”熊先生抗战逃难时将对联带到了重庆，胡世华看到就想要，熊先生取下这副对联，书上“此联吾自悬于座，世华见而索之”，送给了他（见任继愈《熊十力先生的为人与治学》）。
1943 年 2 月至 1946 年 4 月，胡世华在重庆，这时熊十力在重庆北碚金刚碑勉仁书院。“道之将废也，文不在兹乎”，表明了熊十力的理想。熊十力的著述，无非要人们认识中华民族传统文化的价值，这是一种深挚而悲苦的责任感，是20 世纪多灾多难的中国爱国知识分子所独有的，这也是熊先生的魅力所在。
前几年,询问胡先生家人，说是没有见到这幅字。虽然为胡先生整理文稿，出版了文集，却没有注意到这幅字。
熊十力赠字胡世华，“道之将废也，文不在兹乎”。
胡世华参加了历届全国科学规划的制订，1956年就是科学规划委员会计算技术和数学规划组成员。胡世华是中国开展数理逻辑研究的主要代表人物之一，他倡导将逻辑研究与数学紧密联系，倡导逻辑与计算机相结合。他也是国内将逻辑研究超出哲学范畴的首创者。
1932年,胡世华在北大哲学系学习时，师从熊十力。熊十力在北平寓所有一副自写的对联：“道之将废也，文不在兹乎。”熊先生抗战逃难时将对联带到了重庆，胡世华看到就想要，熊先生取下这副对联，书上“此联吾自悬于座，世华见而索之”，送给了他（见任继愈《熊十力先生的为人与治学》）。
1943 年 2 月至 1946 年 4 月，胡世华在重庆，这时熊十力在重庆北碚金刚碑勉仁书院。“道之将废也，文不在兹乎”，表明了熊十力的理想。熊十力的著述，无非要人们认识中华民族传统文化的价值，这是一种深挚而悲苦的责任感，是20 世纪多灾多难的中国爱国知识分子所独有的，这也是熊先生的魅力所在。
前几年,询问胡先生家人，说是没有见到这幅字。虽然为胡先生整理文稿，出版了文集，却没有注意到这幅字。