“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。

　　唐莉介绍，人民海军已建立起由潜艇、水面舰艇、航空兵、陆战队和岸防部队等五大兵种，以及多种专业勤务部队组成的海上战斗力量。强军十年，人民海军聚焦主责主业，着眼信息化条件下联合作战特点，高质量推进以航母编队、核潜艇、两栖作战编队等新域新质力量为重点的海上力量体系建设，加速远海远域、新型军事力量融入作战体系综合运用，提升五大兵种综合作战能力，全面提高海上威慑和实战能力。

　　至于淄博能否靠烧烤带动当地房地产市场的发展，赵元斌认为，淄博烧烤在吸引游客前来的同时，会带动当地的餐饮、住宿、运输、旅游等相关产业的发展，进而促进当地经济的增长。然而，这种影响并不是短期内就能显现出来的，需要一个较长的周期。

　　今年2月，科技部部长王志刚在召开的“加快建设科技强国”新闻会上坦率称，解决“卡脖子”技术短板，需要从基础研究上下功夫，从源头上找。3月，国务院发布的机构改革方案中，科技部重组位列改革工作首位，也再度让人们聚焦这一关键问题：中国的基础研究向何处去？

　　一位电商商家告诉中国新闻周刊，他也发现日前在快递物流方面，各个平台有了新要求，此前京东宣布承诺时效功能升级，京东平台商品发品必须绑定发货时效，商品主要类目发货时效可支持绑定的上限是48小时发货。此外，京东还开放半日达接口。另一边的菜鸟，则宣布天猫超市率先在杭州上线半日达服务，并将逐步拓展到全国20个城市，年底要覆盖全国千万人口级大城市。

　　《澳大利亚人报》评论认为，世界各地的企业代表团正纷纷涌入中国，与其在华员工、商业伙伴以及政府官员会面。澳大利亚的工商业代表团有望成为这其中的亮点之一。

李希名