“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　据国家邮政局网站消息，近日，国家邮政局市场监管司就快递企业处理场所发生安全生产事故事件对极兔速递有限公司、顺丰速运有限公司进行行政约谈。　　目前，最接近“万亿城市”的是江苏常州和山东烟台。2022年，常州和烟台的GDP分别为9550.1亿元和9515.86亿元，常州以34亿元的微弱优势领先。　　8月5日，菲律宾派出两艘执行补给任务的补给船和海警船前往仁爱礁，中国海警船进行了理性克制的执法劝阻。随后，菲方召见我驻菲大使，并抗议中国海警使用水炮，违反《联合国海洋法公约》和“南海仲裁案”结果。　　这也将是克里就任美国总统气候问题特使以来第三次访华。今年1月，中国气候变化事务特使解振华还同克里举行视频会谈，双方一致同意后续将进一步保持沟通，共同应对气候变化挑战。