“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　日本在常规机构式资助外，创设了一种颇具“竞争性”的特殊稳定支持模式。2007年起，日本开始为一些经严格筛选的基础研究顶级机构提供10~15年的长期稳定资助，每个机构每年约有5亿~20亿日元的政府专项拨款。入选WPI的中心每5年要进行一次严格评估，根据结果确定是否继续支持，评估标准很高，比如未来10年能否取得世界顶级的成果，能否聚集7名以上世界顶级专家，课题负责人中的外籍科学家是否达到20%等。　　由于高龄老人交流困难，笔者主要通过访谈村干部和村医了解情况。根据村干部和村医反馈，主要原因是高龄老人年龄大了，即使生了病也不去看病。这里有两个原因，一个是部分高龄老人及其子女的家庭经济状况不好，缴费困难。更重要一个原因是，高龄老人害怕病死在医院，希望在家去世。因此，尽量不去医院看病。由于不去看病，高龄老人实际医疗花费很少，参保显然不划算。　　据江苏省纪委监委官方公号“清廉江苏”4月21日消息，宿迁市卫健委原主任、党委书记、市二级巡视员刘仰刚涉嫌严重违纪违法、目前正在接受宿迁市纪委监委纪律审查和监察调查。　　今天（29日）傍晚，中央气象台升级发布最高级别的暴雨红色预警，这也是自2010年中央气象台正式启用预警发布机制以来发布的史上第二个暴雨红色预警，上一次还是2011年9月29日。