“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　要进一步梳理规范应急管理工作机制，严格执行三级值班带班制度，保证值班人员坚守岗位、履职尽责。要提升信息化系统保障能力，保持通讯畅通，推进信息互通，完善报告制度，做到“不迟报、不瞒报、不漏报”。要强化部门协同，形成责任闭环，以常态化实战化演练确保应急管理系统关键时刻真正用得上。要加强港口航运管理，提升指挥调度能力，保障交通运输安全。　　据《环球时报》记者了解，韩方因对来自中国旅客采取入境检测等加码措施，有关入境机场需额外投入人力、物力及安排专门区域等，导致其国内部分中小机场无法承接中国方向航班。韩方遂取消了由本国航空公司执飞的从釜山、济州、大邱出发及少量从仁川出发的中韩间往来航班。　　易居房地产研究院近期发布的《2023年4月50城新房成交预测报告》提到，淄博的新建商品住宅年初累计成交面积同比增速预测值达到70%，在统计的50个城市中位居第4名，仅次于长春、杭州和南宁，是三四线城市中，前4个月楼市最热的城市。　　据NHK2月1日报道，鉴于近期入境检查中确诊率下降，日本政府正考虑放宽对中国旅客自去年12月以来实施的入境防疫管控措施。在讨论的选项中，包括不再要求提供新冠检测阴性报告，以及减少旅客入境后需要检测的人数。