中华人民共和国年鉴简介
中华人民共和国年鉴网是忠实记录中国改革开放和建设成就及国家方针政策的唯一综合性国家年鉴网,是为落实中央关于“开展数字化、网络化建设，做好方志资源的整合、共享与开发利用”的有关精神，打造网上国史馆，推进国家史志信息化的建设的具体举措。中国年鉴网通过推出“阅后即定”等新技术，让历史能定时凝固下来，致力为每个行业、地区、单位、个人提供网上与移动历史空间，让每个行业、地区、单位以及个人都有自己的一部史记，都能在历史上写下浓墨重彩的一笔。
热点内容
推荐内容
网站首页 > 大国崛起 >
中科院软件所纪念著名数学家胡世华诞辰100周年--中国年鉴社
牋牋新华社北京４月２３日电（记者罗沙）中国科学[KeXue]院软件研究所２３日举行纪念活动，纪念我国开展数理逻辑研究的代表人物、数理逻辑学家胡世华诞辰１００周年。
牋牋据介绍，胡世华是少数几位在中国发展数理逻辑的代表人物之一，他力主把逻辑研究超出哲学的范畴和数学联系起来，同时大力提倡应用数理逻辑研究计算机科学[KeXue]，表现出深刻的科学[KeXue]思想和卓越的学术远见。
牋牋今年恰逢“计算机之父”图灵诞辰１００周年，中科院软件所还举办了系列活动以及研讨会进行纪念。
牋牋“胡世华先生[XianSheng]对我国数理逻辑、计算机科学[KeXue]、科学[KeXue]哲学和数学史等学科做出了独特贡献，先生[XianSheng]执著科学[KeXue]、献身科学[KeXue]的精神，温厚、执著、宽容的珍贵品德是软件所和中国数理逻辑、计算机科学[KeXue]领域永远的精神财富。”中科院软件所所长李明树说。
牋牋“对学者、特别是作基础研究的学者而言，最了不起的成就莫过于他敏锐与超前的预见性。”软件所首任所长许孔时这样评价胡世华先生[XianSheng]，“上个世纪５０年代，胡先生[XianSheng]就预见到每秒运算百万次、甚至千万次的计算机一定能被制造出来，这种观点在当时那个年代是十分超前的，历史的发展验证了胡先生[XianSheng]了不起的预见。”
牋牋“激励后辈学习胡先生[XianSheng]的科学[KeXue]思想，秉持继承与发展并重，立足于当代科学[KeXue]问题，开创我国数学与计算机科学[KeXue]交叉领域的未来，这是我们追忆和缅怀胡世华先生[XianSheng]的意义所在。”中科院软件所党委书记李玉成表示。