“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　去年9月，韩金艳被任命为天津市疾病预防控制局局长。据天津市卫健委官网信息显示，韩金艳兼任市卫生健康委员会党委委员、副主任，同时担任天津市疾病预防控制中心党委副书记、主任。　　另一套大降房源位于复兴门北大街，1989年建成的楼栋，东、西、北朝向的精装小三居，单价12.9万元，远低于该小区14.7万的均价。上一套同户型房源以1060万的价格成交，而这套标价940万元，降幅高达120万。这套房源挂牌不到半天就成功出售。　　俄罗斯卫星通讯社称，2022年中国全年新接绿色动力船舶订单占总订单的49.1%，创历史最高水平。截至今年6月底，中国船舶旗集团下江南造船、沪东中华等船厂绿色船舶在订单中占比均超过了90%。　　反而是美国自身在这种与中国的激烈博弈之中，进入了某种尴尬境地——对华科技战、贸易战、金融战、外交战方面战果寥寥，在应对各类全球和地区性挑战时又愈发力不从心，在解决国内外诸多问题时又迫切需要争取中方协调与合作。