“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　同日公布的仙女座星系照片就是墨子巡天望远镜通过每次30秒，共计150次的曝光，得到150张照片后叠加而成。这是目前世界上拍摄到的最大视场的仙女座星系高分辨率图像，对于后续天文研究具有重要意义。　　“比如，征税对欧盟建设新能源汽车行业是有好处的，但对下游是否有好处。”但孙磊提醒称，以排碳问题为例，新能源汽车在驾驶过程中排量小，但生产过程中造电池的排碳量，可能会比生产汽油的排量还大一些。所以，在判断一个产品的环保问题时，要对整个链条全盘考虑，而不是只判断一个环节。　　20年前，一波关于汽车行业的竞争曾在广深两市之间拉开。与“老玩家”广州多轮交锋后，深圳选择“从零开始”，搭建从整车制造到零部件生产的汽车产业链。在此时期，深圳引进比亚迪，并争取到全国第一个电动车示范区，新下线的比亚迪纯电动汽车出租车开始出现在深圳街头。　　特区政府发言人当时表示，香港的整体评分显著上升，而且在营商环境、人力资本、金融业发展水平，以及声誉和综合等四方面的排名上升至全球第4名，反映在新冠疫情后，香港作为国际金融中心的持久优势和韧性获得肯定。