“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　会议指出，金融要为经济社会发展提供高质量服务，要着力营造良好的货币金融环境，切实加强对重大战略重点领域和薄弱环节的优质金融服务，始终保持货币政策的稳健性，更加注重做好跨周期和逆周期调节，充实货币政策工具箱，优化资金供给结构，把更多金融资源用于促进科技创新、先进制造、绿色发展和中小微企业，大力支持实施创新驱动发展战略，区域协调发展战略，确保国家粮食和能源安全等。盘活被低效占用的金融资源，提高资金使用效率。做好科技金融、绿色金融、普惠金融、养老金融、数字金融五篇大文章。　　埃利斯宣称，如果中国未来决定需要在美洲太平洋沿岸建立海军设施，“钱凯港很大、水很深，而且距离美国足够远”，可以在发生敌对行动时被留存下来。他还称，自己“可以想象”中国将能用钱凯港来补给海军舰艇。　　昆山2023年经济增长目标定为5%左右。一季度昆山完成地区生产总值1004.63亿元，按可比价计算，同比增长5%，增速分别高于国家、江苏省、苏州市0.2、0.4、0.6个百分点。　　国家医保局表示，医保部门始终高度重视人口问题，目前已将符合条件的生育支持药物，如溴隐亭、曲普瑞林、氯米芬等促排卵药品纳入医保支付范围，提升了部分患者的用药保障水平。该局提出将逐步把适宜的分娩镇痛和辅助生殖技术项目纳入基金支付范围，努力减轻不孕不育患者医疗负担，提高医疗保障水平。