Year: 2012
CAM-Net Digest, Vol. 9 (2012), Iss. 9 : p. 1
Abstract
新华网北京4月23日电(记者罗沙)中国科学院软件研究所23日举行纪念活动,纪念我国开展数理逻辑研究的代表人物、数理逻辑学家胡世华诞辰100周年。
据介绍,胡世华是少数几位在中国发展数理逻辑的代表人物之一,他力主把逻辑研究超出哲学的范畴和数学联系起来,同时大力提倡应用数理逻辑研究计算机科学,表现出深刻的科学思想和卓越的学术远见。
今年恰逢“计算机之父”图灵诞辰100周年,中科院软件所还举办了系列活动以及研讨会进行纪念。
“胡世华先生对我国数理逻辑、计算机科学、科学哲学和数学史等学科做出了独特贡献,先生执著科学、献身科学的精神,温厚、执著、宽容的珍贵品德是软件所和中国数理逻辑、计算机科学领域永远的精神财富。”中科院软件所所长李明树说。
“对学者、特别是作基础研究的学者而言,最了不起的成就莫过于他敏锐与超前的预见性。”软件所首任所长许孔时这样评价胡世华先生,“上个世纪50年代,胡先生就预见到每秒运算百万次、甚至千万次的计算机一定能被制造出来,这种观点在当时那个年代是十分超前的,历史的发展验证了胡先生了不起的预见。”
“激励后辈学习胡先生的科学思想,秉持继承与发展并重,立足于当代科学问题,开创我国数学与计算机科学交叉领域的未来,这是我们追忆和缅怀胡世华先生的意义所在。”中科院软件所党委书记李玉成表示。
You do not have full access to this article.
Already a Subscriber? Sign in as an individual or via your institution
Journal Article Details
Publisher Name: Global Science Press
Language: Chinese
DOI: https://doi.org/2012-CAM-15922
CAM-Net Digest, Vol. 9 (2012), Iss. 9 : p. 1
Published online: 2012-01
AMS Subject Headings: Global Science Press
Copyright: COPYRIGHT: © Global Science Press
Pages: 1