“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。　　正因如此，一方面，科研人员的经费宽裕与否并不影响其招聘学生或博后，招聘只看学术水平，比如IPMU为招到全世界最优秀的博后，提供了一份非常有国际竞争力的薪酬；另一方面，青年科研人员也可以自由选择博导和合作导师，并选择自己感兴趣的研究方向，而不必担心导师是否有充足的经费支持。“日本科研人员都不存在非得申请经费才能维持团队存活下去的压力，这给他们提供了一个可以安静做学术的长期稳定的环境。为什么日本的诺奖得主这么多？因为他们的科研生态不急功近利。”庄辞强调。　　4月27日，武汉市统计局公布了2023年一季度经济数据。一季度，武汉GDP为4317.69亿元，比上年同期增长4.5%。分产业看，第一产业增加值74.40亿元，增长3%；第二产业增加值1762.34亿元，增长3.3%；第三产业增加值2480.95亿元，增长5.1%。　　中央追逃办负责人表示，凌燕舞严重损害群众利益，拉拢腐蚀公职人员并造成国有资产损失，将其缉拿归案是纪检监察机关、公安机关持续开展“天网行动”的重要成果。我们将继续深化反腐败国际合作，始终保持追逃追赃高压态势，坚决维护人民群众切身利益。　　危岩：好的，我来回答这个问题。 各位媒体朋友，首先，对于胡某宇同学的不幸离去，我们深感痛心。同时，向一直关心关注此事的广大群众、网友和媒体朋友表示诚挚感谢。 接到胡某宇同学失踪的报警求助后，我们高度重视，全力搜寻。公安机关通过人像比对、调阅监控等技术手段进行了追踪排查，我们也组织发动了各级干部、护山守林员、志愿组织和广大群众，对胡某宇同学可能出现的区域展开了持续的、不间断的搜寻，但直到1月28日上午，仍没有发现胡某宇同学，这也反映了我们在搜寻工作中对部分重点区域，没有完全做到横向到边、纵向到底。对于社会各界的监督，我们诚恳接受。 在开展搜寻工作的同时，我们一直保持与家属沟通交流，及时通报进展情况。接下来，我们将进一步加大人文关怀，深入细致做好后续工作。 我就回答这些。