“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。

changanjiezhishizhuyidao，2022nian4yue8rizhi6yue2ri，zhongyangdibaxunshizuduiguojialiangshihewuzichubeijudangzukaizhanlechangguixunshi。zhihoubudaoliangzhou，zhangwufengyu6yue15riguanxuanbeizha。tongnian12yue30ri，zhongyangjiweiguojiajianweifabuxiaoxi，kaichuqidangjihegongzhi。长(chang)安(an)街(jie)知(zhi)事(shi)注(zhu)意(yi)到(dao)，(，)2(2)02(2)2(2)年(nian)4(4)月(yue)8(8)日(ri)至(zhi)6(6)月(yue)2(2)日(ri)，(，)中(zhong)央(yang)第(di)八(ba)巡(xun)视(shi)组(zu)对(dui)国(guo)家(jia)粮(liang)食(shi)和(he)物(wu)资(zi)储(chu)备(bei)局(ju)党(dang)组(zu)开(kai)展(zhan)了(le)常(chang)规(gui)巡(xun)视(shi)。(。)之(zhi)后(hou)不(bu)到(dao)两(liang)周(zhou)，(，)张(zhang)务(wu)锋(feng)于(yu)6(6)月(yue)1(1)5(5)日(ri)官(guan)宣(xuan)被(bei)查(zha)。(。)同(tong)年(nian)1(1)2(2)月(yue)3(3)0日(ri)，(，)中(zhong)央(yang)纪(ji)委(wei)国(guo)家(jia)监(jian)委(wei)发(fa)布(bu)消(xiao)息(xi)，(，)开(kai)除(chu)其(qi)党(dang)籍(ji)和(he)公(gong)职(zhi)。(。)