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

　　高凌云说，美国官员时常在图书馆、研究中心举办的活动上传递这类“信号”，通过这样的方式，他们能够以较小的政治风险得到外界的较多关注。这凸显出目前中美双方缺乏合作交流相关的机制性安排。高凌云认为，通常来说，比较好的方式是通过定期的会议来推动进一步的交流，“但这需要美方把改善中美关系当作长期性的安排去推进，而不是当作捞取政治资本的权宜之计。”

　　从前十阵营来看，除苏州外，其余城市GDP增速相比去年全年均有明显回升，其中深圳、重庆、成都、杭州、南京均跑赢全国大盘（4.5%）。值得注意的是，尽管广州GDP增速（1.8%）在十强城市中垫底，但仍以31亿元的微弱优势力压重庆，全年能否夺回“第四城”的位置，成为一大悬念。《世界杯冠军预测》　　欧洲媒体纷纷以头条新闻规格报道中乌元首通话。有欧洲媒体评论称，这是一场世界期待了已久的通话。法国总统府一名官员表示，法国“鼓励所有对话”，以促进冲突的解决，这符合国际法和乌克兰的根本利益，也是法国总统马克龙本月早些时候访问北京期间所传递的信息。

　　这种趋势在今年一季度继续得以延续，带动西安规上工业增加值增长11.6%，较上年同期提高2.9个百分点。从产品来看，新能源汽车、3D打印设备、充电桩、集成电路圆片、太阳能电池、汽车用锂离子动力电池产量分别增长62.8%、189.3%、74.4%、51.6%、48.8%、13.9%。

　　直新闻：就中国政府欧亚事务特别代表将赴乌克兰等国访问并作深入沟通，今天外交部发言人毛宁在应询时强调，将适时发布消息，你对此又如何前瞻？/p>