本报讯（记者刘丹）4月23日，中国科学院软件研究所举办“胡世华先生诞辰100周年纪念会暨2012逻辑、计算与信息研讨会”。董韫美、周巢尘、张景中、陆汝钤、林惠民等5位院士和国内哲学、数理逻辑、计算机科学领域的著名学者参加了此次研讨会。
胡世华是少数几位在中国发展数理逻辑的代表人物之一。他力主把逻辑研究超出哲学的范畴和数学联系起来，同时大力提倡应用数理逻辑研究计算机科学。
软件所所长李明树表示，胡世华先生执著科学、献身科学的精神，温厚、宽容的珍贵品德是软件所和中国数理逻辑、计算机科学领域永远的精神财富。
软件所首任所长许孔时介绍说，上世纪50年代，胡世华就预见到了每秒运算百万次，甚至千万次的计算机一定能被制造出来。“这种观点在当时那个年代是十分超前的，而历史的发展验证了胡先生的预见。”
“激励后辈学习胡先生的科学思想，立足于当代科学问题，开创我国数学与计算机科学交叉领域的未来，是我们缅怀胡世华先生的意义所在。”软件所党委书记李玉成表示。
《中国科学报》 (2012-04-25 A4 综合)
