论文部分内容阅读
刚送走爱因斯坦年，今年又迎来哥德尔年，尽管没有人这么说。2006年4月28日是哥德尔百年诞辰。对哥德尔的纪念还是远远不能同爱因斯坦相比，虽然的确有喜欢标新立异的人说什么哥德尔比爱因斯坦更伟大之类的话，说到底，一般人对爱因斯坦的神秘感已经不那么厉害，而对哥德尔还几乎一无所知，甚至专门搞数学的人。
哥德尔百年
【摘 要】
：
刚送走爱因斯坦年，今年又迎来哥德尔年，尽管没有人这么说。2006年4月28日是哥德尔百年诞辰。对哥德尔的纪念还是远远不能同爱因斯坦相比，虽然的确有喜欢标新立异的人说什么哥德
【机 构】
：
中国科学院系统科学研究所
【出 处】
：
自然杂志
【发表日期】
：
2006年2期
【基金项目】
：
本文得到国家自然科学基金支持,批准号：10351119
其他文献
8月20日至21日，史上最高规格的全国律师工作会议在北京召开。中共中央政治局委员、中央政法委书记孟建柱，国务委员、公安部部长郭声琨，最高人民法院院长周强，最高人民检察院检察
2015年4月24日第十二届全国人大常委会第十四次会议审议通过了新修订的《食品安全法队《食品安全法》的修订全面贯彻了新时期党中央、国务院有关加强食品安全工作的新思想、
党的十八届四中全会作出了《中共中央关於全面推进依法治国若干重大问题的决定》，这标志着我国法治建设进入了新的历史阶段。《决定》内容丰富、立意高速，是一份全面布署推进依
20世纪70年代科学家发现，从正在扩张的大洋山脊喷出的热液中的0He含量与温度（热量）变化呈线性关联，并且具有几乎恒定的高^3He／^4He比值，约为大气值的8倍。这说明^3He和^4He同步地随
中华人民共和国全国人民代表大会常务委员会颁布的法律 《中华人民共和国红十字会法》（2017年2月24日中华人民共和国第十二届全国人民代表大会常务委员会第二十六次会议修订通
党的十八大提出要进一步深化司法体制改革，并把司法公信力不断提高作为全面建设小康社会的内容。十八届三中全会把司法改革纳入建设法治中国的总体布局之中统一部署，从司法制度
引言成立知识产权法院，推进中国知识产权司法改革，统一知识产权司法裁判标准，加强知识产权司法保护，是2014年以来中国知识产权司法保护中一个具有里程碑意义的大事。2013年11月十
随便翻开一本教科书，上面都会清清楚楚地写着——太阳系由“九大行星”构成。然而，这一维持了70多年的传统说法如今却作出了修改——天文学家将冥王星排除在“九大行星”之外。
最高人民检察院日前印发《最高人民检察院板於实行检察官以案释法制度的规定（试行）》（以下简称《规定》），对检察官以案释法工作的原则、方式、内容、责任等进行明确规范。
在21世纪中医药学有光明的发展前景。主要：育三个方向：思想方法、特色疗效与科学内涵。本文重点阐述了科学内涵的发展路线。实验证明。中药方剂成分可以高度简化而不失其特色疗