“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　何泽华严重违反党的政治纪律、组织纪律、廉洁纪律和生活纪律，构成严重职务违法并涉嫌受贿、利用影响力受贿犯罪，且在党的十八大后不收敛、不收手，性质严重，影响恶劣，应予严肃处理。依据《中国共产党纪律处分条例》《中华人民共和国监察法》《中华人民共和国公职人员政务处分法》等有关规定，经中央纪委常委会会议研究并报中共中央批准，决定给予何泽华开除党籍处分；按规定取消其享受的待遇；收缴其违纪违法所得；将其涉嫌犯罪问题移送检察机关依法审查起诉，所涉财物一并移送。　　长安街知事注意到，2022年4月8日至6月2日，中央第八巡视组对国家粮食和物资储备局党组开展了常规巡视。之后不到两周，张务锋于6月15日官宣被查。同年12月30日，中央纪委国家监委发布消息，开除其党籍和公职。　　他说，其实在美国广大的基层、广大的民间、广大的地方，也有很多人希望中美能够相向而行。中美两国的合作有利于中美两国的国家和人民。　　据“贵州高院”微信公众号消息，9月28日，贵州省黔南州中级人民法院一审公开宣判贵州省安顺市人大常委会原党组书记、主任赵贡桥受贿一案，以受贿罪判处被告人赵贡桥有期徒刑九年零六个月，并处罚金人民币八十万元；对退缴在案的赵贡桥受贿涉案赃款依法予以没收，上缴国库，不足部分，继续追缴。赵贡桥当庭表示服判，不上诉。