词条 库尔特·哥德尔

库尔特·哥德尔

库尔特·弗雷德里希·哥德尔(德语:Kurt Friedrich Gödel,1906年4月28日-1978年1月14日),出生于奥匈帝国的数学家、逻辑学家和哲学家,维也纳学派(维也纳小组)的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。

库尔特·哥德尔相关文献
库尔特·哥德尔
生平学术哥德尔的数学天分极高。他在维也纳大学时本来修读理论物理和基础数学,后来又在汉斯·哈恩的指导下研习数理逻辑、集合论。二十四岁时,完成哥德尔完备性定理,并获得同校博士学位。但1940年代中就将注意力投放在哲学上。大学时,哥德尔曾参加石里克小组的聚会。1930年9月7日,他正式宣布其哥德尔不完备定理,引起当时重要数学家如冯·诺伊曼和希尔伯特等的重视。后来又钻研连续统假设,但未能完全解决该问题。逝世哥德尔自幼多病,而且从小就患了强迫症(疑病症)。他还患过抑郁症。后来他在普林斯顿的医院绝食而死,因为他认为那些食物有毒。性格哥德尔是个要求严格的人。因此,他很多的想法在生前都没有正式发表甚至记录,要逝世后从其手稿找出。哥德尔不喜欢谈论自己或受到注目,亦讨厌旅行。哥德尔曾要求王浩在死后才可以发表一篇有关他的传记。他在学术研究之外的东西,都不公开发表意见。社交哥德尔的妻子AdeleNimbursky
查看全文
库尔特·魏尔
音乐魏尔与德国著名剧作家贝托尔特·布莱希特合作创作了几部著名的歌剧,包括《三分钱歌剧》《马哈哥尼城的兴衰》等。相关条目古典音乐作曲家列表
查看全文
哥德尔奖
获奖者1993年-LászlóBabai,莎菲·戈德瓦塞尔,希尔维奥·米卡利,ShlomoMoran,与CharlesRackoff1994年-
查看全文
希南·库尔特
俱乐部生涯门兴格拉德巴赫库尔特是在多尔07(SVDohr07)开始自己的球员生涯,这是一家位于门兴格拉德巴赫市辖区吉森基兴(德语:Giesenkirchen)境内的俱乐部。在2007年转会至门兴格拉德巴赫足球俱乐部之前,他还曾为雷德特(德语:RheydterSpielverein)效力。效力门兴格拉德巴赫青年队期间,库尔特参加了17岁以下德甲联赛(德语:U-17-Bundesliga),并在总计52场比赛中取得31个进球及21次助攻。鉴于在U-17梯队的良好表现,门兴格拉德巴赫与其签订了一份期至2016年的发展合同,并将在合同期满后直接生效为职业合同。在2013-14赛季,库尔特又参加了19岁以下德甲联赛(德语:U-19-Bundesliga),在24次出场中射入16球。这也使他得以在来季晋升至门兴格拉德巴赫二队(英语:BorussiaMönchengladbachII),并在第四级别的西...
查看全文
哥德尔不完备定理
哥德尔不完全性定理的证明思路只要证明了初等算数理论Π是不完全的,采用相同的方法就可以证明任何包含Π的形式理论都是不完全的证明Π的不完全性的关键是在于构造出初等算数语言Ľ中的一个含义为真的语句Α,证明如果Α能被证明则将推出矛盾包含初等算数理论的意义是它包含所有正整数(无穷元素)。而命题和证明都可以被映射到正整数。另一方面,它还支持归纳集,即及由一些初始元素及新元素构成的集合,而新元素都是由初始元素归纳(运算)而得的。形式理论由公理及定理构成,定理可以看作是公理及已知定理的归纳,因而形式理论本身可以表示成以某些正整数为初始元素的某种归纳集。这使得可证性变为算术命题所构造的语句Α类似于“说谎者悖论”(即“我在说谎”),但Α是“本语句不可证”。对这一形式化的Α如果假设Α可证将推出矛盾,但假设Α不可证却不能推出矛盾,所以Α不是一个悖论。而Α的含义是它不可证,而它又被证明是不可证的,因此Α是个不可证的...
查看全文
家族谱大览
库李宗谱 [21卷,首4卷]
原书: [出版地不详] : 敦本堂刊, 1989年七修. 25册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 源流 : (汉) 文帝时有仓库大夫,以职为姓. 远祖 : (明) 库万一 ; 与弟库万彝. 由江西饶州乐平县徙楚,居黄冈张店街(今湖北新洲县). 始祖 : 库仲祥. 万一公之子. 下有二子 : 库义通 ; 库义益(迁麻城杨柳河). 派祖 : (明) 库义通,字道源. 公下一子 : 库以文(失传). 立舅李茂容第三子以明为嗣,传库氏宗支. 李姓易库氏祖 : 库以明,字殿先. 下有二子 : 库子敬,字恭安 ; 库子信,字礼安. 子敬公下房祖 : 库思德 ; 库思冕. 子信公下房祖 : 库思珑 ; 库思琦,字华立 ; 库思瑛,字楚立 ; 库思俊,字国立. 原派 : 义以子思允 应廷朝元成 之世曰太芳 居仁乐熙盛. 合派 : 美利咸恒焕 敦厚秉辉煌. 新派 : 继业承先耀 维新启远章 振华国祚泰 福泽家道昌. 散居地 : 湖北省黄冈县, 新洲县等地. 书名据书衣题, 书名页题, 版心题, 及卷端题编目.
浏览:0
库李宗谱 [21卷,首4卷]
原书: [出版地不详] : 敦本堂刊, 1989年七修. 25册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 源流 : (汉) 文帝时有仓库大夫,以职为姓. 远祖 : (明) 库万一 ; 与弟库万彝. 由江西饶州乐平县徙楚,居黄冈张店街(今湖北新洲县). 始祖 : 库仲祥. 万一公之子. 下有二子 : 库义通 ; 库义益(迁麻城杨柳河). 派祖 : (明) 库义通,字道源. 公下一子 : 库以文(失传). 立舅李茂容第三子以明为嗣,传库氏宗支. 李姓易库氏祖 : 库以明,字殿先. 下有二子 : 库子敬,字恭安 ; 库子信,字礼安. 子敬公下房祖 : 库思德 ; 库思冕. 子信公下房祖 : 库思珑 ; 库思琦,字华立 ; 库思瑛,字楚立 ; 库思俊,字国立. 原派 : 义以子思允 应廷朝元成 之世曰太芳 居仁乐熙盛. 合派 : 美利咸恒焕 敦厚秉辉煌. 新派 : 继业承先耀 维新启远章 振华国祚泰 福泽家道昌. 散居地 : 湖北省黄冈县, 新洲县等地. 书名据书衣题, 书名页题, 版心题, 及卷端题编目.
浏览:0
库李宗谱 [21卷,首4卷]
原书: [出版地不详] : 敦本堂刊, 1989年七修. 25册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 源流 : (汉) 文帝时有仓库大夫,以职为姓. 远祖 : (明) 库万一 ; 与弟库万彝. 由江西饶州乐平县徙楚,居黄冈张店街(今湖北新洲县). 始祖 : 库仲祥. 万一公之子. 下有二子 : 库义通 ; 库义益(迁麻城杨柳河). 派祖 : (明) 库义通,字道源. 公下一子 : 库以文(失传). 立舅李茂容第三子以明为嗣,传库氏宗支. 李姓易库氏祖 : 库以明,字殿先. 下有二子 : 库子敬,字恭安 ; 库子信,字礼安. 子敬公下房祖 : 库思德 ; 库思冕. 子信公下房祖 : 库思珑 ; 库思琦,字华立 ; 库思瑛,字楚立 ; 库思俊,字国立. 原派 : 义以子思允 应廷朝元成 之世曰太芳 居仁乐熙盛. 合派 : 美利咸恒焕 敦厚秉辉煌. 新派 : 继业承先耀 维新启远章 振华国祚泰 福泽家道昌. 散居地 : 湖北省黄冈县, 新洲县等地. 书名据书衣题, 书名页题, 版心题, 及卷端题编目.
浏览:0
库李宗谱 [21卷,首4卷]
原书: [出版地不详] : 敦本堂刊, 1989年七修. 25册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 源流 : (汉) 文帝时有仓库大夫,以职为姓. 远祖 : (明) 库万一 ; 与弟库万彝. 由江西饶州乐平县徙楚,居黄冈张店街(今湖北新洲县). 始祖 : 库仲祥. 万一公之子. 下有二子 : 库义通 ; 库义益(迁麻城杨柳河). 派祖 : (明) 库义通,字道源. 公下一子 : 库以文(失传). 立舅李茂容第三子以明为嗣,传库氏宗支. 李姓易库氏祖 : 库以明,字殿先. 下有二子 : 库子敬,字恭安 ; 库子信,字礼安. 子敬公下房祖 : 库思德 ; 库思冕. 子信公下房祖 : 库思珑 ; 库思琦,字华立 ; 库思瑛,字楚立 ; 库思俊,字国立. 原派 : 义以子思允 应廷朝元成 之世曰太芳 居仁乐熙盛. 合派 : 美利咸恒焕 敦厚秉辉煌. 新派 : 继业承先耀 维新启远章 振华国祚泰 福泽家道昌. 散居地 : 湖北省黄冈县, 新洲县等地. 书名据书衣题, 书名页题, 版心题, 及卷端题编目.
浏览:0
库李宗谱 [21卷,首4卷]
原书: [出版地不详] : 敦本堂刊, 1989年七修. 25册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 源流 : (汉) 文帝时有仓库大夫,以职为姓. 远祖 : (明) 库万一 ; 与弟库万彝. 由江西饶州乐平县徙楚,居黄冈张店街(今湖北新洲县). 始祖 : 库仲祥. 万一公之子. 下有二子 : 库义通 ; 库义益(迁麻城杨柳河). 派祖 : (明) 库义通,字道源. 公下一子 : 库以文(失传). 立舅李茂容第三子以明为嗣,传库氏宗支. 李姓易库氏祖 : 库以明,字殿先. 下有二子 : 库子敬,字恭安 ; 库子信,字礼安. 子敬公下房祖 : 库思德 ; 库思冕. 子信公下房祖 : 库思珑 ; 库思琦,字华立 ; 库思瑛,字楚立 ; 库思俊,字国立. 原派 : 义以子思允 应廷朝元成 之世曰太芳 居仁乐熙盛. 合派 : 美利咸恒焕 敦厚秉辉煌. 新派 : 继业承先耀 维新启远章 振华国祚泰 福泽家道昌. 散居地 : 湖北省黄冈县, 新洲县等地. 书名据书衣题, 书名页题, 版心题, 及卷端题编目.
浏览:0
25.库李宗谱 二十卷首四卷, 3, 1368-1989
原书: [出版地不详] : 敦本堂刊, 1989年七修. 25册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 源流 : (汉) 文帝时有仓库大夫,以职为姓. 远祖 : (明) 库万一 ; 与弟库万彝. 由江西饶州乐平县徙楚,居黄冈张店街(今湖北新洲县). 始祖 : 库仲祥. 万一公之子. 下有二子 : 库义通 ; 库义益(迁麻城杨柳河). 派祖 : (明) 库义通,字道源. 公下一子 : 库以文(失传). 立舅李茂容第三子以明为嗣,传库氏宗支. 李姓易库氏祖 : 库以明,字殿先. 下有二子 : 库子敬,字恭安 ; 库子信,字礼安. 子敬公下房祖 : 库思德 ; 库思冕. 子信公下房祖 : 库思珑 ; 库思琦,字华立 ; 库思瑛,字楚立 ; 库思俊,字国立. 原派 : 义以子思允 应廷朝元成 之世曰太芳 居仁乐熙盛. 合派 : 美利咸恒焕 敦厚秉辉煌. 新派 : 继业承先耀 维新启远章 振华国祚泰 福泽家道昌. 散居地 : 湖北省黄冈县, 新洲县等地. 书名据书衣题, 书名页题, 版心题, 及卷端题编目.
浏览:100