“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。

　　比如，目前“五一”、端午节假将至，中央纪委国家监委在4月20日就公开通报了10起典型问题，包括了文化和旅游部原党组副书记、副部长李金早，辽宁省政协原党组副书记、副主席孙远良，河北省廊坊市委原常委、统战部原部长，大厂回族自治县委原书记谷正海，重庆市公安局交巡警总队原党委书记、总队长陈军等多人。

　　如今，北生所又走到了一个新的十字路口。王晓东说，北生所二期已经落成，实验室还要继续扩张，后续需要更多资金支持，这些钱从哪儿来，仍是摆在面前的一道难题。“北生所现在是否还承担着体制改革试验田的重任？它到底是一家什么性质的研究机构？这些都还没有定论。”

　　中科院理论物理所正面临这样的困境。在该所制定的“十四五”规划中，有一个重点布局方向是关于可控核聚变中的理论研究，这也是紧密结合国家重大需求的研究方向。但庄辞说，研究所现有资源很难在这个方向上引进一批优秀的人才。“所里非常希望能够面向国家重大需求围绕重大核心问题做一些布局、组织攻关团队，但巧妇难为无米之炊。”她无奈说道。

　　今年春节，申军良带着一家人回了河南周口淮阳区的农村老家，一家人玩得很尽兴。申聪的奶奶至今保留着他儿时穿过的衣服，这些衣物承载了过去难以释怀的经历。

　　2022年4月22日，首部航母主题宣传片《深蓝！深蓝！》对外发布，主题宣传片展示了2012年中国首艘航母辽宁舰入列以来中国航母编队的发展，并向英勇牺牲的歼-15舰载战斗机飞行员张超烈士和其他在不同战位上默默奉献付出的海军指战员致敬。而暗含在宣传片最后十余秒的“彩蛋”预报了中国完全自主设计建造的首艘弹射型航空母舰福建舰1个多月后的横空出世。

许家铭