“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　孟冰，男，汉族，1973年9月出生，今年50岁，1994年10月加入中国共产党，1996年7月参加工作，在职研究生学历，硕士学位。　　2017年年底，丽水文明办发起了为“诚信奶奶”做公益的活动，市民组成了1万多人的志愿者队伍为陈金英“带货”，还有上百家电商在自己的网页上帮她引流卖货……陈金英也在网络开通了直播，讲述自己还债2077万元的历程，获得了2.7亿浏览量。　　1936年，黄令仪出生于广西南宁，祖籍广西桂林全州县两河镇鲁水村。小小年纪的她，经历过山河破碎的绝望和流离失所的痛苦。成年后，她以优异的成绩考上华中工学院（今华中科技大学）。　　据昆明市疾病预防控制中心，6月21日，昆明市疾病预防控制中心举办了猴痘疫情应急处置培训会。本次培训强调了猴痘疫情应急处置的专业技术知识的重要性，也提醒参会人员在今后的工作中时刻温习猴痘应急处置的相关知识，做到应知尽知、应会尽会、高度重视、谨慎处置。