“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　据最高检11月15日消息，陕西省榆林市人大常委会原副主任郭宝成（副厅级）涉嫌受贿一案，由陕西省监察委员会调查终结，移送检察机关审查起诉。经陕西省人民检察院指定管辖，由延安市人民检察院审查起诉。　　云南、江苏春节假期游客接待量均超4000万人次，分别为4514.61万人次、4135.01万人次，换言之，仅四川、云南两地春节就接待了近1亿人次游客；山东、河南、湖北紧随其后，游客接待数位于“3000万人次梯队”；浙江、福建排位稍后，位于“2000万人次梯队”；另有湖南、吉林等6省份游客接待量超千万。　　台防务部门20日晚称，“军备局”大福兵试场于9月18日，发布10月份射击通报，公告将于20日对海面管制区实施射击。下午14时至16时30分，单位对管制区实施雷达扫瞄、确认无船只后，即射击120毫米迫击炮假弹（内无炸药），但在17时10分接获台“海巡署”通知，疑似波及渔船船舷。“军备局”将组织专案人员，实施完整调查。　　在救援的同时，我们组织专业力量，对事故原因进行了初步调查。经查，与体育馆毗邻的教学综合楼施工过程中，施工单位违规将保温建筑材料珍珠岩堆置体育馆屋顶。受降雨影响，珍珠岩浸水增重，导致屋顶荷载增大、引发坍塌。目前，公安机关已对教学综合楼施工单位相关责任人立案侦查，依法采取刑事强制措施。省政府已经成立联合调查组，将对该起事故进行全面深入调查。我们将配合调查组尽快查明原因，依法依规严肃追责问责，绝不姑息。