“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　4。陈自力， 中共党员，2021年4月至今任长沙县城市管理局党组副书记、副局长，负责城镇燃气管理工作。对燃气行业安全日常管理不力，对餐饮场所使用不合格燃气的安全隐患排查整治不够深入。对此负有主要领导责任，给予政务警告处分。　　座谈会上，刘尚希、罗志恒、田轩、黄先海、袁海霞、秦海林、陆铭、赵伟等专家学者先后发言。大家认为，在复杂严峻的外部环境下，我国经济发展展现出巨大韧性，对我国经济发展前景应当充满信心。大家还就解决好经济运行中的问题提出了意见建议。　　[航行警告！#南海海域军事演习#]据中国海事局网站消息，广东海事局发布航行警告，8月18日至22日每天6时至22时，南海部分海域进行射击演习，禁止驶入。　　据最高人民检察院28日通报，国家发展和改革委员会原党组成员、国家粮食和物资储备局原党组书记、局长张务锋涉嫌受贿一案，由国家监察委员会调查终结，经最高人民检察院依法指定，由四川省德阳市人民检察院审查起诉。近日，德阳市人民检察院已向德阳市中级人民法院提起公诉。