“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　这也是许多美国学者的观点。史密斯表示，布林肯等人访问的重要性主要在于，凸显了双方参与对话讨论的意愿，但其成效却没有外界所希望的那么高，更不会让中美之间的氛围发生重大改变。在他看来，中美两国在利益、政策、价值观等许多方面存在冲突，而这些冲突不太可能得到完全解决，因此中美关系短期内无法根本好转。　　据央视新闻消息，今天（9月17日），北半球光学时域巡天能力最强的墨子巡天望远镜在青海冷湖天文观测基地正式投入观测，这将使我国时域天文研究能力达到国际先进水平。由这架望远镜试观测阶段拍摄的一张仙女座星系照片同日公布，这也是目前世界上拍摄到的最大视场仙女座星系高分辨率图像。　　“随着中央社会工作部统筹指导信访工作，未来信访工作思路有望实现由‘堵’到‘疏’，由被动应付到主动下访。”蒋敏娟表示，中央社会工作部把统筹领导信访工作纳入工作职能，这个改变非常巨大，也非常有必要。这一设置的目的是为了更好解决群众的问题，对于群众的信访，会更多通过基层组织体系来解决，而不是单纯用各种行政程序来应对，回归信访部门联系群众的本质属性。　　但很快，增城警方辟谣了关于“梅姨”在柳州被抓的消息，并称正在核实其他线索。一名警官告诉中国新闻周刊，截至目前，关于“梅姨”的证据仅为口供，并没有其他直接的实质性证据，与此同时，警方从未放弃对“梅姨”的追踪调查。