“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　张轩离开南通之后，高山（1970年12月生，江苏沛县人）担任南通市副市长、市公安局局长，2023年9月被查。他长期在徐州工作，曾任市发改委主任、新沂市委书记等职。　　“此次5年期没有下调，略和市场预期有差异，但本身不影响既有的降低房贷等工作推进。”易居研究院研究总监严跃进对中新经纬表示，此次数据发布前，央行等三部门召开了电视会议，明确了优化调整房地产信贷政策。这说明房贷政策宽松依然是大方向，各地也依然会有积极的动作，包括降低房贷利率。无论是增量还是存量的贷款，都有可能进一步下调。　　回看2019年的南非、中国、俄罗斯三国联合海上演习，中国恰恰就是派遣了在亚丁湾、索马里执行任务的海军潍坊舰参演。尽管中方目前尚未宣布派遣哪些舰只参加演习，但南非方面已经披露了这么一个信息——350多名南非军人将“与俄罗斯和中国同行一起参加演习，目的是分享作战技能和知识”。　　在全球贸易整体从“高热”回归常态背景下，中国外贸规模保持稳定已难能可贵。中国社科院世界经济与政治研究所研究员高凌云认为，今年中国进出口以美元计预计将同比增长2%，“这已经是不错的成绩”。