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

zaitanzhudejiyili，dalugaotiezhishaohaiyouliangcidengshanglianganshejiaopingtairesou。yicishi2021nianchu，《guojiazonghelitijiaotongwangguihuagangyao》fabu，fuzhouzhitaibeigaotiedeguihuaheranzailie，“2035zuozhegaotiequtaibei”deshuofabujingerzou，yinfalianganwangyoureyi。在(zai)谭(tan)主(zhu)的(de)记(ji)忆(yi)里(li)，(，)大(da)陆(lu)高(gao)铁(tie)至(zhi)少(shao)还(hai)有(you)两(liang)次(ci)登(deng)上(shang)两(liang)岸(an)社(she)交(jiao)平(ping)台(tai)热(re)搜(sou)。(。)一(yi)次(ci)是(shi)2(2)02(2)1(1)年(nian)初(chu)，(，)《(《)国(guo)家(jia)综(zong)合(he)立(li)体(ti)交(jiao)通(tong)网(wang)规(gui)划(hua)纲(gang)要(yao)》(》)发(fa)布(bu)，(，)福(fu)州(zhou)至(zhi)台(tai)北(bei)高(gao)铁(tie)的(de)规(gui)划(hua)赫(he)然(ran)在(zai)列(lie)，(，)“(“)2(2)03(3)5(5)坐(zuo)着(zhe)高(gao)铁(tie)去(qu)台(tai)北(bei)”(”)的(de)说(shuo)法(fa)不(bu)胫(jing)而(er)走(zou)，(，)引(yin)发(fa)两(liang)岸(an)网(wang)友(you)热(re)议(yi)。(。)