“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　央视网消息：5月1日上午，在塔克拉玛干沙漠的边缘，设计井深超亚洲纪录的 “深地一号”跃进3-3井，在塔里木盆地正式开钻施工。跃进3-3井钻探完成后将达到地下9472米，这将为我国今后进军万米深地提供核心技术和装备储备。　　上游新闻记者问王志松：副检察长参与商人的经营行为对吗？有证据证明付满仓的监外执行违法吗？副检察长发短信说收监、补刑，被理解为威胁不正常吗？　　根据中国中免2022年年报披露的简历信息，李刚，现年54岁，任公司董事长，中国旅游集团副总经理。曾任国家旅游局人事劳动教育司科员、副主任科员、直属机关党委团委书记；中免公司信息管理部副经理、发展管理部副总经理、总经理办公室主任、营运部总监、总经理、董事、党委副书记；中国国旅集团有限公司董事、党委书记；中国国旅（公司前称）副总经理、总经理、董事、董事长、党委副书记、党委书记等职务。　　在三大中锋（王治郅、巴特尔、姚明）时代，由于在内线的绝对身体优势和天赋，让我们在国际比赛上，尤其是对阵亚非弱旅，有着绝对的统治力和对比赛的把握，甚至可以和欧洲球队打个五五开。