中科院软件所纪念数学家胡世华诞辰100周年

luyuanhong

中科院软件所纪念数学家胡世华诞辰100周年
来源： 新华网
    新华网北京４月２３日电（记者罗沙）中国科学院软件研究所２３日举行纪念活动，
纪念我国开展数理逻辑研究的代表人物、数理逻辑学家胡世华诞辰１００周年。

    据介绍，胡世华是少数几位在中国发展数理逻辑的代表人物之一，他力主把逻辑研究
超出哲学的范畴和数学联系起来，同时大力提倡应用数理逻辑研究计算机科学，表现出
深刻的科学思想和卓越的学术远见。

    今年恰逢“计算机之父”图灵诞辰１００周年，中科院软件所还举办了系列活动以及研
讨会进行纪念。

    “胡世华先生对我国数理逻辑、计算机科学、科学哲学和数学史等学科做出了独特贡献，
先生执著科学、献身科学的精神，温厚、执著、宽容的珍贵品德是软件所和中国数理逻辑、
计算机科学领域永远的精神财富。”中科院软件所所长李明树说。

    “对学者、特别是作基础研究的学者而言，最了不起的成就莫过于他敏锐与超前的预见性。
”软件所首任所长许孔时这样评价胡世华先生，“上个世纪５０年代，胡先生就预见到每秒
运算百万次、甚至千万次的计算机一定能被制造出来，这种观点在当时那个年代是十分超
前的，历史的发展验证了胡先生了不起的预见。”

    “激励后辈学习胡先生的科学思想，秉持继承与发展并重，立足于当代科学问题，开创我
国数学与计算机科学交叉领域的未来，这是我们追忆和缅怀胡世华先生的意义所在。”中科
院软件所党委书记李玉成表示。

fdafsa

同事介绍我喝NE美白茶，http://www.letgogo.com/#r-pqly我平时上班本来也要泡茶喝，于是也在乐购时尚网定上了2包，现在每天都会泡了喝，自己的肤色的确越变越好，象婴儿一样的白里透红的自然。推荐你也试试

hfdsagdsa

同事介绍我喝NE美白茶，http://www.letgogo.com/?product-303.html-pqly我平时上班本来也要泡茶喝，于是也在乐购时尚网定上了2包，现在每天都会泡了喝，自己的肤色的确越变越好，象婴儿一样的白里透红的自然。推荐你也试试