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

　　去年1月27日消息，广西宏桂资本运营集团有限公司原党委书记、董事长何有成涉嫌严重违纪违法被查。7月23日消息，何有成被“双开”。

　　在这种氛围中，一则消息受到外界关注。英国路透社3日报道称，美国总统气候问题特使克里表示，中方已邀请他“近期访华”，就避免全球气候变化危机举行会谈。“这是必须合作的（方面），尽管确实存在其他分歧。”克里称，总统拜登已授权他与中方举行会谈，但时间尚未确定。4日在被问及此事时，中国外交部发言人毛宁没有证实或否认相关消息，她表示，在气候变化问题上，中方的立场是一贯的。《澳洲幸运5大数据分析软件》　　[环球时报驻新加坡特约记者 辛斌]时隔4年，第13届亚洲国际海事防务展3日在新加坡樟宜拉开序幕。新加坡《联合早报》4日报道称，该国防长黄永宏在开幕致辞时表示，与俄乌冲突相比，亚洲若发生战争破坏力更大，并可能产生类似第一次世界大战的影响，甚至对许多国家构成生存问题，所以防止这种冲突是所有国家未来10年的首要任务。而中美关系，“大到不能倒”。

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

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