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

　　“去年和今年年初，西安新能源汽车独占鳌头，由此带动了整个新兴产业和传统产业的协同发展。”西安朝华管理科学研究院院长单元庄告诉《每日经济新闻》记者，近年来，西安在新能源汽车、电子信息等新兴产业方面不断突破，成为经济增长的重要动力。

　　辛敏超于2014年6月至2016年11月任五常市委书记，后任双鸭山市委常委、副市长，黑龙江省发改委党组成员、省粮食和物资储备局党组书记、局长等职，今年2月1日通报被查。

　　本轮机构改革后，原属科技部的中国21世纪议程管理中心、科学技术部高技术研究发展中心被划入基金委。中国科学院科技战略咨询研究院研究员穆荣平对《中国新闻周刊》说，这可能是一种信号，未来国家自然科学基金委会增加前沿引领技术研究开发与创新的资助功能。

　　在曾刚看来，深圳的外贸结构中东南亚占比较高，而苏州则主要是欧美占比很大。尽管深圳也受到外部环境影响，但苏州面临的压力明显更大——

　　庄辞对《中国新闻周刊》说，因此，理论物理所90%以上引进的人才都有“人才帽子”，比如“优青”“杰青”或“百人”“千人”，这些都是分属基金委、中科院、中组部的人才项目，3~5年内会“自带”几百万元的经费。如果没有这些“匹配经费”，仅靠研究所自身，很难让科研人员组建研究团队和维持相对体面的薪资水平。即使如此，目前理论物理所的现状仍是：很多科研人员根本招不起博后，项目经费较充裕的人一年可能也仅能负担一名博后的费用。

杨豪柔