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

　　据岛内媒体报道，台湾高铁开通运营之初，资产负债率已经高达80%。仅仅三年后的2010年，台湾高铁公司就不堪债务重负濒临破产，不得不在当局介入下，大规模举债融资重组。这种权宜之计没有从根本上解决问题，2015年岛内媒体曾经警示，如台湾高铁公司破产，其3600多亿新台币的债务将导致全台人均负债1.6万元新台币。

　　五一假期终于来了，你在哪？是去看人山人海，搞“特种兵式的旅行”，还是回老家，吃妈妈做的菜？或者足不出户，优哉游哉？不管在哪，假期的意义，绝对少不了一个“吃”。周刊君特别推出“五一就要吃”评论系列，小伙伴们会来讲讲，他们各自心心念念的家乡美食。也欢迎大家留言参与，看看哪个更馋人。《世界杯预测冠军》　　上海交通大学物理与天文学院教授李亮认为，基础研究中有一类，短期内看不到任何未来的应用场景，比如寻找质量的来源或正反物质不对称起源，这些问题是关乎宇宙发展和演化的终极问题，不能用简单需求去套。中国科学院院士、中科院数学与系统科学研究院研究员周向宇对《中国新闻周刊》说，目前过于强调“自由探索和需求导向”的二分法容易让人产生一种误解：自由探索型的基础研究是漫无目的的，实际上，其目的是构建新的科学知识体系。

　　在他看来，真正的基础研究，多数是以稳定经费、严格评估这种方式推动。稳定支持前提下，一个科研管理系统如果缺乏完善内部评估体制，没有淘汰，很快就会陷入“养懒人”“吃大锅饭”的泥淖，每五年进行的一次严格小同行评估可以从制度上杜绝这点。“坦率说，专业的基础研究机构是不能养人的，每个科研人员一定都像运动员一样参与残酷的全球竞争。”

　　本来事情到这里就应该尘埃落定。然而，时任台湾地区领导人的李登辉为了追求所谓对日“外交突破”，在最后一刻决定让高铁转用日本的列车和核心机电系统。/p>