哥德尔<%=id%>

数学家,逻辑学家
哥德尔（Godel, Kurt 1906.4.28-1978.1.14）奥地利数学家，逻辑学家。他提出的著名的哥德尔证明，其内容是：在任何一个严格的数学系统中，必定有用本系统内的公理不能证明其成立或不成立的命题，因此不能说数学的基本公理不会出现矛盾。这个证明成了20世纪数学的标志，至今仍有影响和争论。他1930年起在维也纳大学任教，同时又是美国普林斯顿高等研究院的研究员。1940年移居美国，1948年入美国国籍，1953年起任该研究院教授。他的证明最初发表在《数学物理学》月刊第38卷（1931年）上，“论怀特黑德和罗素的《数学原理》一书内形式上不可断定的命题”的论文中。该论文结束了近一个世纪来为建立能为全部数学提供严密基础公理的企图。《数学原理》是这些尝试中最接近成功的。他的另一部名著是1940年出版（1958年修订）的《选择公理及广义连续统假设同集合论公理的相容性》，已成为现代数学的经典著作.

设为首页 | 加入收藏 | 广告服务 | 友情链接 | 版权申明