“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　“自由探索型”基础研究往往是未经检验过的全新概念的前期研究，具有高风险、难以预测、跨学科等特点，专家通常难以达成一致意见，因此建立在评审专家共识基础上的传统项目模式并不适合资助这类项目，需要探索新的“非共识”资助模式。　　长安街知事注意到，2022年4月8日至6月2日，中央第八巡视组对国家粮食和物资储备局党组开展了常规巡视。之后不到两周，张务锋于6月15日官宣被查。同年12月30日，中央纪委国家监委发布消息，开除其党籍和公职。　　输给张伟丽后，乔安娜选择了退役；另一位手下败将埃斯帕扎进入长时间休整；安德拉德也滑坡明显，最近两场比赛分别输给闫晓楠和苏亚雷斯；唯一战胜过张伟丽的罗斯最近升到了蝇量级。　　谁搞霸权主义，中国一定会表示异议。但如果有些纷争有着其自身的历史经纬和现实的大国博弈，则中国的态度一定是劝谈、劝和。而如果愿意与中国真诚合作，那就不妨坦诚相待，别总是藏着掖着……