“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。

　　曾当过中科院古脊椎动物与古人类研究所所长的周忠和认为，真正对基础研究有益的长期稳定支持，不是项目式的稳定，而是给科研人员提供一种“最基本的稳定”，即有一份体面而稳定的薪酬，这应该是由财政兜底的。现在的问题是，财政每年给研究所提供的稳定运行费太低，造成稳定与竞争性经费的比例失衡。

　　4月28日，武商集团在江西南昌重点打造的南昌武商MALL正式开业。这不仅是武商集团在湖北省以外打造的首个商业项目，也成为江西省的首个高端奢侈品购物中心。《世界杯足球比赛规则》　　普京3月31日签署并落实的新版《俄罗斯联邦外交政策构想》指出，俄罗斯要进一步加强与中国和印度的合作，并在所有领域上互相支援。

　　有网友表示，大熊猫“小丫”此前生活在秦岭四宝科学公园。记者致电秦岭四宝科学公园，工作人员表示，“小丫”此前的确在该园生活。至于具体情况，需要向林业部门核实了解。

　　今年2月，中央政治局的第三次集体学习中，习近平总书记强调，要坚持“四个面向”，坚持目标导向和自由探索“两条腿走路”，把世界科技前沿同国家重大战略需求和经济社会发展目标结合起来。/p>