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

　　锦州这座东北四线工业小城，十年人口净流出达42万人，在辽宁省排名第一。留下的人就业机会少，工资不高，房价却不低。看似安逸的背后，各行各业的人内心都同样焦灼不安。

　　中国社科院世界经济与政治研究所研究员高凌云3日对《环球时报》记者表示，伯恩斯这番表态在一定程度上表明，美国政府清楚认识到增强中美经贸及其他一些领域的合作对美国的重要性。然而，受国内政治氛围的影响，这样的表态对提升双边交往水平依然不利。高凌云说，美国“政出多门”的现象和美国官员言行不一的表现，往往给打交道的另一方制造出许多麻烦，有时甚至故意引发新的矛盾，让本可以缓解的僵局进一步恶化。《世界杯体彩倍率》　　李希还表示，针对一些地方和单位公款吃喝、“舌尖上的浪费”不时反弹，贪图享受、讲究排场陋习不改等现象，要及时严肃处理，点名道姓通报。

　　专家建议，随着中央科技委成立，下一步应从顶层设计上理顺整个基础研究资助体系，对同类项目进行清理，明确不同科研管理机构的资助定位，比如基金委更聚焦原创性或自由探索型基础研究，以长期滚动资助为主；科技部负责与国家战略需求相关的重大专项和国家实验室，抓大放小，进行“有组织的科研攻关”。

　　从前十阵营来看，除苏州外，其余城市GDP增速相比去年全年均有明显回升，其中深圳、重庆、成都、杭州、南京均跑赢全国大盘（4.5%）。值得注意的是，尽管广州GDP增速（1.8%）在十强城市中垫底，但仍以31亿元的微弱优势力压重庆，全年能否夺回“第四城”的位置，成为一大悬念。/p>