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

图片新闻
百兆瓦先进压缩空气储能电站并网发电 在离太阳更近的地方
全球最大液流“电力银行”10月上线 我国成功实施问天实验舱转位
>>更多
 
一周新闻排行 一周新闻评论排行
 
编辑部推荐博文
 
论坛推荐