“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　二要加快推进产业、交通运输和能源结构绿色低碳转型。培育壮大新兴产业，实施传统产业清洁化循环化低碳化改造，建设一批绿色工厂、绿色园区、绿色供应链企业，抓好农业面源污染防治，推进公转铁、公转水，推动外电入皖，实施风电光电发展倍增计划。　　“预计稳健的货币政策在货币数量和社会融资总量上还有适度宽松、合理增长的空间。”仲量联行大中华区首席经济学家兼研究部总监庞溟对界面新闻记者表示，“在助力高质量发展方面，将以提升企业和市场主体预期、信心、意愿和能动性为抓手，促进资本和资金更精准、畅达地为实体经济和创新驱动发展战略保驾护航，以量的合理增长支撑实体经济企稳向好。”　　到2022年12月下旬，已有江苏、浙江、广东、四川、山东、福建、海南、安徽、湖南9省份组织外贸企业组团出海。包机出海的安排通常由省、市共同来做，行程通常控制在7天到10天。目的地主要是中国的两大贸易伙伴欧洲和东盟，招商引资则集中在德国、日本。　　但是急着卖房、转户口、孩子入学的业主却忧心忡忡，李小菠就这样成为讨要房产证的主力，像张玉延当年一样，周旋于各个行政部门。东奔西走的碰壁令业主们情绪沮丧，有人联名写信请张公“复出”，但是张玉延提了个要求——必须95%以上的业主签字同意他才愿意考虑。