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

muqian，gaigongzhonghaoyijingbeizhuxiao，tingzhishiyong。tianyanzhaAPPxianshi，huanqiugongchengxiangmuguanli（beijing）gongsichengliyu1995nian，zhuceziben3000wanyuan。目(mu)前(qian)，(，)该(gai)公(gong)众(zhong)号(hao)已(yi)经(jing)被(bei)注(zhu)销(xiao)，(，)停(ting)止(zhi)使(shi)用(yong)。(。)天(tian)眼(yan)查(zha)A(A)P(P)P(P)显(xian)示(shi)，(，)寰(huan)球(qiu)工(gong)程(cheng)项(xiang)目(mu)管(guan)理(li)（(（)北(bei)京(jing)）(）)公(gong)司(si)成(cheng)立(li)于(yu)1(1)9(9)9(9)5(5)年(nian)，(，)注(zhu)册(ce)资(zi)本(ben)3(3)000万(wan)元(yuan)。(。)