“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　然而，医院里并不只是缺床，在急诊室的氧气管道接口已全被占用，有时要两个病人共用一个氧气接口。医院紧急搬来4个大氧气瓶与5个小氧气罐，“北大国际把所有可能的力量已经支援到急诊了，包括可移动的床、能调用的呼吸机、氧气罐。”　　历史中，饺子的名称并不总是很清晰的。如前面提到的，有“馄饨”“饨”等称呼，方言中也许有更多不同的名称。清代薛宝辰的《素食说略》中有“饼”一项，其中谈到了煎饺，有以下的说法：“置有馅生饼于锅，灌以水烙之，京师曰锅贴，陕西名曰水津包子。”　　遵义道桥是首家宣布对贷款整体重组的城投，此次银行贷款重组涉及债务规模155.94亿元。根据重组协议，重组的银行贷款期限调整为20年，利率降为年化3%至4%，前10年不还本只付息，后10年分期还本。遵义道桥还称，本次银行贷款重组不涉及公开市场债券，该公司将严格按照募集说明书的约定，做好公开市场债券的偿付工作。　　2020年，陈胜利在达外工作9年后，提出辞职，由于合同未到期，按照约定，他需要将向黎当年支付的20万元费用按照比例退还。随后，向黎以其教学任务未完成等理由提起诉讼，最终迫使陈胜利将20万元全部退还。此外，他还赔偿了1万元学校培训费，被拖欠的3万多元工资也未能拿回。