“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　汽车、电子、石化三大支柱提了20年，国内外经济环境和产业发展理念、形态发生深刻变化，广州重点产业选择也要适应新阶段。在这样的认识下，广州推动汽车产业向智能网联和新能源方向转型发展，升级打造为新支柱产业。　　今年10月13日，《浙江日报》报道，全国学习运用“千万工程”经验现场推进会10月13日在浙江杭州召开。中央财办分管日常工作的副主任、中央农办主任韩文秀主持会议。　　上述《查证结果通知书》主要关于申请执行人与被执行人宝能投资之间存在的劳动争议一案，深圳市劳动人事争议仲裁委员会的裁决已经发生法律效力，但由于被执行人没有履行生效法律文书所确定的内容，申请执行人向本院申请强制执行，罗湖区人民法院已依法受理。　　据台湾《中国时报》2月9日报道，台“立法院”国民党党团总召集人曾铭宗表示，下周一就是星云大师的追思典礼，根据“两岸人民关系条例”，大陆地区人民进入台湾地区可借由社会交流、专业交流、商业活动交流、医疗服务交流、项目许可五种渠道，但目前前四项都已关闭，唯一可能的就是“项目许可”，2018年12月前海基会董事长江丙坤过世时，曾项目核准前海协会会长陈云林赴台吊唁。曾铭宗建议，民进党当局应准许在大陆的星云大师家人及信众来台吊唁。“立委”费鸿泰称，他们如果来台吊唁，送星云大师最后一程，这是开启两岸善意最好的契机，希望蔡英文能够放下意识形态，“让人人都是有缘人，以项目最快捷流程让大陆人士来台吊唁星云大师”。