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

　　从去年GDP数据来看，紧随其后的常州、烟台2022年GDP均已超过9500亿元，距离万亿俱乐部只差“临门一脚”，是最有希望率先晋级的城市。此外，唐山、徐州、大连、温州等城市尚处于8000亿元阶段，2023年完成突破的可能性不大。

　　一则消息称，深圳将取消二手房参考价，参考价不调整，银行核定房价以网签备案价和评估价孰低为准，参考价仅作参考。另一则消息是，上海二手房核验价和“三价就低”疑似有所放松。《2022世界杯足球赛事》　　早在2021年，时任科技部基础研究司司长叶玉江就透露，科技部将制定《基础研究十年行动方案（2021—2030）》，对未来十年国内基础研究的发展作出系统部署和安排，其中包括：进一步加大对冷门学科、基础学科和交叉学科的长期稳定支持，并决定在前沿领域布局建设一批基础学科研究中心。据了解，基础学科研究中心的具体建设方案原定今年4月左右公布。

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

　　作为中国基础研究和科学前沿的最主要资助渠道，国家自然科学基金委于2016年专门开辟了一类更长期资助——基础科学中心项目，其目标是“聚焦前沿、突出交叉”，主要资助对象是高水平学术带头人牵头的多学科交叉团队，进行“五年+五年”的滚动支持，最初每五年提供2亿元经费，如今降为6000万元，但相应扩大了资助范围，每年支持的团队也从三四个逐步增加到十几个。/p>