“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　[胡鑫宇尸检情况：全身骨骼完整，各脏器在位无缺失]2月2日，胡某宇事件新闻发布会上通报称，胡某宇尸体高度腐败，大部分皮肤皮革样化，头皮未见出血；全身骨骼完整，颅骨、脊椎及胸肋骨均未见骨折，部分牙齿因牙龈腐败脱落于现场，牙槽骨未见破损；胸腔、腹腔未见出血，各脏器在位无缺失，但均腐败，睾丸未见损伤；经毒物检验，胃组织和肝组织中均未检出常见的农药、鼠药、安眠镇静类成分。　　两个月后，即2021年12月，遵义市人大常委会党组成员、副主任姜灵春涉嫌严重违纪违法，接受贵州省纪委省监委纪律审查和监察调查。半年后，即2022年6月，姜灵春被双开。通告称他“违规推动、参与新建楼堂馆所，长期违规打高尔夫球”“违反工作纪律，违规挪用专项债券资金”。2022年8月，姜灵春被提起公诉。　　2022年11月14日，中央纪委办公厅印发了《关于贯彻党的二十大部署要求 锲而不舍落实中央八项规定精神深化纠治“四风”工作的意见》。　　不过，目前来看烟台能否“笑到最后”还存在不确定性。因为，去年常州就曾上演过“逆袭”的戏码。去年上半年烟台GDP领先常州约85亿元，但最终常州下半年发力实现反超。