“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　今年以来，随着各项政策措施落地落细，民营经济发展出现了积极变化。国家统计局面向5.9万户小微企业的调查显示，企业生产订单情况、经营情况总体改善，景气指数环比提升了1.5个百分点。　　2022年6月，滴滴正式从美股主板退市，报收2.29美元/股，股价相比14美元的发行价下滑超80%，市值蒸发超750亿美元。　　据了解，彭铁等人归案后，公安机关全力开展涉案资金、股票、股权、房产等资产追缴。目前已追缴到案的资产，将在判决生效后依法返还集资参与人。　　郭薇说起永乐村，”那边的情况很糟糕”，这个季节，村民们种的玉米已经快一人高了，但现在都被泡透了。她说救援人员划艇进村救了一些人，但后来走了。郭薇觉得，是水流太急了，“在打旋”，他们进不去。跟着救援的村民都在哭，因为“没有办法”。