“17世纪，莱布尼茨提出猜想：人类逻辑思维是否可以符号化？这是现代数理逻辑的开端，19世纪，英国数学家布尔为解决这一猜想，发明了布尔代数。20世纪中叶，‘信息论’之父香浓把布尔代数和数字电路联系起来，从电路设计到后来的集成电路、芯片都受此影响。这就是无用之用。”周向宇说。

　　中国的基础研究向何处去？杨卫说，还是要回归本质，在有较充足经费保障的前提下，让喜欢自由探索的科学家自由探索，想要解决国家重大战略问题的科学家继续为国出力，每个人都能在各自的领域、以自己的方式找到从事基础研究的荣誉感。

　　2018年11月，在美旅居了15年的“高高”回到中国大熊猫保护研究中心都江堰青城山基地（下称“都江堰青城山基地”）“养老”，都江堰青城山基地也被称作全球最大的“大熊猫养老院”，基本职责是做好大熊猫的养老科研服务工作。《葡萄牙vs》　　据公开信息显示，“小丫”是雌性，谱系号：940，2014年9月15日出生于陕西珍稀野生动物救护研究中心。2018年12月18日，“小丫”搬家至佛坪熊猫谷。

　　基础研究当下的根本困境，实质上指向经费分配结构问题。专家指出，基础研究的典型特点是基础性、长期性和难以预测性。对需要“十年磨一剑”的基础研究而言，这种以竞争性项目为中心的支持模式会造成科研人员浮躁之风盛行，功利主义导向，在选题上更看重能否在短期内出成果，使得基础研究有限的经费并没有流向真正重要的原创性研究上，经费投入产出效益不高。“这样的模式并不十分适合基础科学研究，科研人员要耐得住寂寞，沉下心来持之以恒地探索。”庄辞说。

　　公开资料显示，张务锋出生于1960年10月，山东莱芜人，2015年任山东省副省长，2017年任国家发展和改革委员会党组成员，国家粮食局党组书记、局长，2018年国家粮食和物资储备局成立后，他任党组书记、局长。/p>