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

zaibeijingshengmingkexueyanjiusuo（jiancheng“beishengsuo”）suochangwangxiaodongkanlai，dangxiazhongguokeyanjingfeiguanlitizhixianrudekunjing，beihouhaiyouyigegengshendedicengluoji：keyandezizhuquandaodigaigeishui？在(zai)北(bei)京(jing)生(sheng)命(ming)科(ke)学(xue)研(yan)究(jiu)所(suo)（(（)简(jian)称(cheng)“(“)北(bei)生(sheng)所(suo)”(”)）(）)所(suo)长(chang)王(wang)晓(xiao)东(dong)看(kan)来(lai)，(，)当(dang)下(xia)中(zhong)国(guo)科(ke)研(yan)经(jing)费(fei)管(guan)理(li)体(ti)制(zhi)陷(xian)入(ru)的(de)困(kun)境(jing)，(，)背(bei)后(hou)还(hai)有(you)一(yi)个(ge)更(geng)深(shen)的(de)底(di)层(ceng)逻(luo)辑(ji)：(：)科(ke)研(yan)的(de)自(zi)主(zhu)权(quan)到(dao)底(di)该(gai)给(gei)谁(shui)？(？)