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

　　申军良再次将“梅姨”画像拿给老汉辨认，对方回复“她长得很胖，脸圆，这个不像”；申军良追问“梅姨”的年龄，被告知“现在应该五十多岁”。至于最后一次见到“梅姨”的时间和具体情况，老汉也记不清了。

　　大熊猫“小丫”因为有两个可爱而潦草的“丸子头”走红网络，被许多网友喜欢。近日，网传“小丫”因尿毒症去世，引发关注。29日，陕西省林业局相关人士回应上游新闻记者称，“小丫”的确因尿毒症于去年6月去世。《欧预赛直播吧》　　他曾任通河县委办副科级秘书，通河县委办副主任、主任，通河县委常委、宣传部部长，双城市委常委、组织部部长，双城市委副书记、市长等职。

　　上海交通大学物理与天文学院教授李亮认为，基础研究中有一类，短期内看不到任何未来的应用场景，比如寻找质量的来源或正反物质不对称起源，这些问题是关乎宇宙发展和演化的终极问题，不能用简单需求去套。中国科学院院士、中科院数学与系统科学研究院研究员周向宇对《中国新闻周刊》说，目前过于强调“自由探索和需求导向”的二分法容易让人产生一种误解：自由探索型的基础研究是漫无目的的，实际上，其目的是构建新的科学知识体系。

　　该所长称，在一个科研单位缺乏自主权的体制下，研究所像一个大卖场，课题组只是借这个平台挂靠一下，然后从项目经费里拿出一部分给所里交“租金”。庄辞打了个更形象的比方：“科学家变成了雇佣军。”/p>