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

　　深圳是二手房参考价调控的“起点”和风向标，于2021年2月8日正式制定了二手住宅成交参考价，彼时，深圳市住建局对全市3595个住宅小区制定了二手住房成交参考价格。此后，宁波、西安、成都、东莞、广州等共15个城市陆续出台相关政策，各城市参考价也普遍低于市场二手房挂牌价格。

　　据市场消息，深圳相关部门发通知要求中介严格按照指导价进行公示，否则将约谈或者暂停系统权限。4月20日夜间至4月21日上午，乐有家、中原找房等二手房交易平台曾短暂展示过业主真实报价。目前，这两个平台均已恢复展示参考价。中原找房某内部人士告诉记者，当时应该收到过消息，但仅开放一段时间后就收到相关通知说需要关闭。

　　对于菲美军事合作，菲政府一直试图进行解释。菲外长马纳罗19日出席在参议院外交关系委员会听证会也称，菲将“不会允许美军在这些军事基地内存放用于‘防卫台湾’的武器”。不过，菲国内近来越来越多人感到担忧。菲律宾总统马科斯的姐姐、参议员艾美·马科斯日前连续质问菲国防部长加尔维斯：“先生们，我们和台海冲突有什么关系？我不明白。”“如果你看一下新增军事基地的地点……它清楚地表明，这是预计的台海冲突的第一线。是这样吗？”“为什么我们要在离台湾那么近的地方进行军事演习？”

　　周忠和表示，基金委还应扩大面上项目的资助率和资助强度，其单项资助强度曾一度达到八九十万元。近几年，基金委资助资金的总池子逐年扩大，但面上项目被其他各类项目所稀释。2021年，基金委面上项目总资助金额占国家自然科学基金年度拨款的49.3%，十年前，这一数字能达到66.5%。

　　但绝对自由下，也有绝对的残酷。北生所内部评估非常严苛，每5年进行一次，评估标准为学术成果是否有足够国际影响力。受邀参与评估的“国际小同行”数量至少10人，需要匿名书面回答三个问题：依据过去5年工作，北生所的课题负责人在你所在的研究所、大学能否得到晋升？这5年的研究成果，有没有对你所在的科研领域产生影响？课题负责人所做工作和今后打算要做的事情，能不能使其成为该领域中的领军人物？第一次评估，前两个问题必须通过；第二次评估，三者都要满足。首次评估通过后，实验室经费升至每年300万元，如果评估失败，实验室主任和手下全部人员都要离开。“所以我们是铁打的营盘、流水的兵，实验室主任的权责利是一致的。”王晓东说。

陈弘隆