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

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

　　“因此，在‘入口’处的基金委在资助时如果过度强调目标的清晰性，则容易导致项目前瞻性不够，相当于喇叭口一开始就收得非常小了，但自由探索型基础研究必须有一个非常大的喇叭口。”穆荣平说。

　　张务锋是在粮食购销领域腐败问题专项整治中被查的典型人物。今年4月18日，中央纪委国家监委网站发表报道《深度关注 | 纠治靠粮吃粮》，其中披露：纪检监察机关对涉粮腐败问题线索开展大起底，一大批粮仓“硕鼠”“蠹虫”被严肃查处，其中包括中国储备粮管理集团有限公司原党组成员、副总经理徐宝义和国家粮食和物资储备局原党组书记、局长张务锋2名中管干部，40余名厅局级干部。

　　一位不愿具名的中科院某基础研究所所长对《中国新闻周刊》说，目前，各类项目来源不一，都有各自管理部门，比如科技部、基金委等。研究所对科学家所在的课题组只有保障义务和财务管理责任，但因为项目不是自己选的，所里既没有资源、也没有权力对项目任务进行调整，同时也不对项目的缺失或对错负责。

　　直新闻：就中国政府欧亚事务特别代表将赴乌克兰等国访问并作深入沟通，今天外交部发言人毛宁在应询时强调，将适时发布消息，你对此又如何前瞻？

谢奕妹