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

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

　　庄辞调研后发现，日韩研究机构从政府处获得的稳定经费占总经费的比例约为70%，在加拿大著名的圆周理论物理研究所，政府稳定支持比例更是能达到80%。她希望，在中国，对理论物理所这类从事纯基础理论研究的机构，稳定支持的比例至少应在70%左右。

　　据黑龙江省纪委监委4月29日消息，哈尔滨市原国土资源局党委书记、副局长裴君涉嫌严重违纪违法，目前正接受佳木斯市纪委监委纪律审查和监察调查。

　　坦率地讲，“脱欧”之后的英国在追随美国并配合其全球战略方面走得过头了，都让人快忘了它是一个有着独立主权和独立国家利益的国家，这没有给它带来期望中的影响力和大国地位，反而是竞争力的不断消耗和缩水。一个典型例子是，在伦敦金融城最新发布的年度报告中，伦敦首次失去了全球顶级金融中心的唯一领先地位，与纽约并列第一，这也是伦敦历史上第一次没有在榜单上独占鳌头。紧抱美国大腿，失去的却是更广阔的天地。已经有越来越多的英国有识之士意识到了这一点。

　　记者调查发现，这种“一拿到项目就有钱、没有项目收入很低”的现象在大部分主要依靠国家财政支持的科研机构很普遍，因为财政每年一次性提供的基本事业运营经费“只能保底”。比如在高能所，这笔钱主要用于“给员工发基本工资、基础的基建和修缮、水电支付等”。王贻芳说，高能所基本是靠竞争性经费活下来的，从研究所（课题组）的科研经费来看，竞争性经费占比几乎是100%。

王昱圣