“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　“此次5年期没有下调，略和市场预期有差异，但本身不影响既有的降低房贷等工作推进。”易居研究院研究总监严跃进对中新经纬表示，此次数据发布前，央行等三部门召开了电视会议，明确了优化调整房地产信贷政策。这说明房贷政策宽松依然是大方向，各地也依然会有积极的动作，包括降低房贷利率。无论是增量还是存量的贷款，都有可能进一步下调。　　全国政协的85名环境资源界委员中，多名委员为连任，此前分散于其他界别，如科学技术界、农业界、九三学社等。这些委员的相同之处是，他们几乎都曾提交过与环境资源相关的提案，例如童金南作为第十三届全国政协科学技术界的委员，他提交的第一份提案与汉江环境保护有关，后续也曾提交过多个与生态环境治理相关的提案。　　车开到了餐厅所在地，龚贺一动不动，没有下车，助教则把孩子们带到餐厅。司机扭头对龚贺说，该下车吃饭了，这才发现他已经昏迷了，急忙跑去告诉助教，助教拨打了120救护车，那时已经是下午一点二十左右。　　墨子巡天望远镜位于青海省海西蒙古族藏族自治州冷湖天文观测基地，是中国科学技术大学“双一流”学科平台建设项目，由中国科学技术大学、中国科学院紫金山天文台和深空探测实验室联合研制，在多项关键技术上实现自主创新和重要突破。墨子巡天望远镜主镜口径为2.5米，采用国际先进的主焦光学系统设计和主镜主动光学矫正技术，可实现3度视场范围内均匀高像质和极低像场畸变成像，配备7.65亿像素大靶面主焦相机，具备大视场、高像质、宽波段的特点。墨子巡天望远镜通光面积大、杂散光少，系统探测灵敏度高，具备强大的巡天能力，能够每三个晚上巡测整个北天球一次，为北半球光学时域巡天能力最强设备。