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

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

　　根据新政，2022年6月1日至2024年5月31日（以合同网签时间为准）期间购买新建商品住宅的，“二孩”家庭以商品房买卖合同成交总价款1%的标准给予补贴，最高不超过20000元；“三孩”家庭以商品房买卖合同成交总价款2%的标准给予补贴，最高不超过30000元。《世界杯二分之一抽签》　　在“基本上没有实验、从事纯基础理论研究”的理论物理所，庄辞观察到，科研人员收入中有近40%需要从科研项目中支出，这就导致如果不争取项目就没办法保障自己的收入水平，“甚至在北京的租房压力都很大”。

　　中国当下的基础研究以“中央财政支持”为主，其特点是科研人员主要通过项目竞争的方式获取，这些项目分布在科技部、基金委等不同科研管理机构中，每类项目对应不同的资助额度和周期，项目评审也由政府机构组织临时性的专家委员会进行，这种竞争是全国范围内的优中优选。

　　“大熊猫‘小丫’没了，真的假的？”近日，关于大熊猫小丫去世的话题引发网友讨论。网友在晒出“小丫”走红的丸子头网图时，也晒出了陕西省林业局关于“小丫”去世的回复。回复显示，“小丫”于2022年6月12日死于尿毒症。/p>