“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　“那时候就这么过来的，也没觉得怎么着 ，但这次坐硬座感觉到了累”，申军良说。可能自己年龄大了，也可能是平时开网约车熬夜，总之，身体不如以前了。　　程晓陶向《中国新闻周刊》表示，这轮暴雨中，北拒马河和大石河洪峰流量非常极端，它们在涿州交汇，造成了严重洪灾。水文监测显示，此次降雨过程中，北拒马河的洪峰流量高达6200立方米/秒，2012年“7·21”特大暴雨时，这一数字是2570立方米/秒。大石河上游的水文监测点被山洪冲毁，最后监测的洪峰流量已达3300立方米/秒，远高于“7·21”时1280立方米/秒的洪峰流量。　　[环球时报特约记者 李佳寅]归化球员李凯尔完成中国男篮国家队首秀！5日进行的意大利特伦蒂诺杯决赛中，中国男篮61∶79不敌意大利男篮。李凯尔替补出场19分31秒，得到11分6篮板和1次盖帽。　　8月27日中国恒大在港交所公告，截至2023年6月30日，本集团负债总额23882亿元（人民币，下同），较2022年末的24374.1亿元负债总额，已下降了492.1亿元。剔除合约负债6039.8亿元后为17842.2亿元。总资产17439.97亿元，仍然处于严重资不抵债状态。