库尔特·弗雷德里希·哥德尔（德語：Kurt Friedrich Gödel，1906年4月28日—1978年1月14日），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。哥德尔是二十世纪最伟大的逻辑学家之一，其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。...

在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出： 哥德尔...

哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。 上述词语“可证明的”意味着有着这个公式的形式演绎。这种形式演绎是步骤的有限列表，其中每个步骤要么涉及公理要么通过基本推理规则从前面的步骤获得。给定这...

哥德尔、埃舍尔、巴赫三人的英文名字首字母GEB相同，而商务印书馆中文译本的副标题中的“集異璧”则与GEB谐音。 本书一共有两篇，上篇译为“集异璧 GEB”，下篇译为“异集璧 EGB”。 本書主要講述了邏輯學家库尔特·哥德尔，藝術家莫里茨·科内利斯·埃舍尔...

哥德尔漏洞（英語：Gödel's Loophole）是指美籍奥裔逻辑学家、数学家和分析哲学家库尔特·哥德尔认为《美国宪法》存在的一种“内在矛盾”（inner contradiction），能够使美国合法成为独裁政体。据史料记载，哥德尔于1947年提出了本设想，并告知好友奥斯卡·莫根施特恩（英语：Oskar...

影响而闻名，这是他帮助普及的一个术语。在数学逻辑中，他开发了一种中间逻辑，已经由库尔特·哥德尔研究过：哥德尔 - 达默特逻辑。 迈克尔·达米特是丝绸商人的儿子。 他曾就读于桑德罗伊德（Sandroyd）学院，在温切斯特公学获得奖学金，后来于1943年获得牛津大学基督堂学院历史专业奖学金。...

希爾伯特第二問題，是希爾伯特的23個問題之一，即關於一個公理系統相容性的問題，也就是判定一個公理系統內的所命題是彼此相容無矛盾的，希爾伯特希望能以嚴謹的方式來證明任意公理系統內命題的相容性。 奧地利數學家库尔特·哥德尔（Kurt Friedrich Gödel）在1930年證明了哥德尔不完备定理（Gödel's...

克莱门特·哥特瓦尔德（捷克語：Klement Gottwald；1896年11月23日—1953年3月14日），捷克斯洛伐克共产党的领导人，摩拉维亚的德裔。自1929年至1953年去世，他一直担任捷克斯洛伐克的领导人，1945年之前担任总书记，1945年之后任主席。1948-1953年，他是捷克斯洛伐克社会主义共和国的领导人。...

東哥德王國（英語：Ostrogothic Kingdom，489年－553年），官方名称意大利王国（拉丁語：Regnum Italiae），是日耳曼民族的一支——東哥德人建立的國家。隨著東哥德人在西羅馬帝國滅亡後遷入義大利，東哥德王國的勢力約在義大利半島及附近地區。...

尔哥罗德区和库尔斯克省废除。别尔哥罗德成为中央切尔诺泽姆地区别尔哥罗德区的中心。1930年，在地区系统清算后，别尔哥罗德成为地区中心。1934年6月13日，别尔哥罗德被纳入新成立的库尔斯克州的结构中。 1935年3月2日，别尔哥罗德变成了一个独立的行政经济单位，直接隶属于库尔斯克地区执行委员会。...

庫尔斯克會戰是德軍最後一次對蘇聯發動的戰略性大规模進攻，德軍計劃使用4個軍團，欲從由南方的別爾哥羅德自南向北以及自北方的奥廖尔自北向南夾擊库尔斯克地區，企图合圍在库尔斯克以西的中央突出部的共有6个軍團的蘇軍，重奪戰略主動權，但由於蘇軍事先已得知德...

Gotthardinum。 当哥达·凯特莱在1587年死去时，他的儿子弗雷德里克和威廉变为了库尔兰公爵。它们在1596年将公国分为了两个部分。弗雷德里克获得了东部，瑟米加利亚（Zemgale），并居住在叶尔加瓦（米塔乌）。威廉拥有西部，库尔兰（Kurzeme），并居住在库尔...

庫爾特·哥德爾證明了兩條數理邏輯的重要定理： 哥德爾完備性定理 哥德爾不完備性定理...

古斯塔沃·库尔滕（葡萄牙語：Gustavo Kuerten，1976年9月10日—），已退役的巴西男子網球運動員，單打最高世界排名第一，三座大滿貫得主，國際網球名人堂成員。 他是网球史上最佳巴西一哥、南美洲二哥和首位南美年終球王，尤其红土赛事里的成就非常优异，网球史上首位生涯囊括三項紅土大師賽（蒙地...

库尔特·图霍尔斯基（德语：Kurt Tucholsky，发音：[tuˈxɔlski]，1890年1月9日—1935年12月21日），生于德国柏林，逝于瑞典哥德堡。他是德国记者、作家，曾用笔名有卡什帕·豪泽（Kaspar Hauser）、彼得·潘特（Peter Panter）、特奥巴尔德·蒂格（Theobald...

库尔兰包围战，指第二次世界大战德蘇战争末期，蘇軍在库尔兰对轴心国势力的阻击和包围，指挥官为霍夫汉内斯·巴格拉米扬将军。 口袋阵在蘇军波罗的海攻势中接近梅梅尔（克莱佩达）时形成，这次行动成功地将德国北方集团军从同部署在拉脱维亚图库姆斯和利耶帕亚的其他德军重孤立出来。该部队后联合中央集团军残部，于19...

库尔特·尤利安·魏尔（德語：Kurt Julian Weill，1900年3月2日—1950年4月3日），德國（晚年歸化美國籍）作曲家，自1920年代起活躍至過世。他是劇院的首席作曲家，並替音樂廳創作了許多作品。 魏尔与德国著名剧作家贝托尔特·布莱希特合作创作了几部著名的歌剧，包括《三分钱歌剧》《马哈哥尼城的兴衰》等。...

al-Din Suhrawardi）、勒内·笛卡儿、戈特弗里德·莱布尼茨、诺曼·马尔康姆（Norman Malcolm）、阿尔文·普兰丁格等都从不同角度发展了本体论证明。而数学家库尔特·哥德尔还通过模态逻辑给出了本体论证明的数学表达式。...

哥德爾本體論證明是數學家库尔特·哥德尔對11世紀意大利僧侶聖安瑟倫對於神存在性的本體論論點整理並改進後所作的數學表達方式。聖安瑟倫後曾有17世紀的莱布尼茨提出了另一個較複雜的宇宙論證版本，而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本。 雖然哥德爾...

哥德爾機（英語：Gödel machine）是一種假設的電腦程式 ，可自我改進，以最佳化的方式解決問題。 [需要解释] 它使用一種遞迴的自我改進協議，如果能夠證明新代碼的策略較佳，就會重寫自己的代碼。 該機器由于爾根·施密德胡伯發明（在2003年首次提出 ），但是以其數學理論的啟發者庫爾特·哥德爾的名字來命名。...

30年，位于美国新泽西州的普林斯顿市，但它不是普林斯顿大学的一部分。 创立初期，普林斯顿高等研究院曾汇集了阿尔伯特·爱因斯坦、罗伯特·奥本海默、约翰·冯·诺伊曼、库尔特·哥德尔、赫尔曼·魏尔等众多学术大师。 而曾在高等研究院工作的著名华裔学者包括陈省身、杨振宁、李政道等人。...

量的思想观念（例如不变量理论、公理化几何、希尔伯特空间）而被尊为伟大的数学家，后接替菲利克斯·克莱因将哥廷根大学建设为世界数学中心。后受纳粹政权上台的冲击，哥廷根大学人才大量流失、荣耀土崩瓦解。1943年，忧郁的希尔伯特在德国哥廷根逝世。 他提出了希尔伯特空间的理論，是泛函分析的基礎之一。他热忱地支...

哥特風格在英國被重新肯定，稱之為“哥特式复兴”；到了20世紀80年代，英國的音樂界人士又把哥特風格和龐克、重金屬、刺青等聯繫在一起，發展出全新的哥德次文化。 哥特式建築的基本構件是尖拱（ogival，或稱尖拱券、尖券）和肋架拱頂（英语：ribbed vault）。哥特...

库尔斯克（俄语：Курск，羅馬化：Kursk）是俄罗斯西部的一个城市，作为库尔斯克州和库尔斯克区的行政中心，属于州级城市。库尔斯克位于莫斯科以南519公里的库尔斯克州中部，历史悠久，曾是库尔斯克公国的首都，并在1918年成为乌克兰临时工农政府的所在地。该市不仅是历史的重要见证，更在第二次世界大战期间因库尔斯克战役而声名显赫。...

阿尔弗雷德，全名阿尔弗雷德·恩斯特·阿尔伯特（英語：Alfred Ernest Albert，1844年8月6日—1900年7月30日），英国维多利亚女王和阿尔伯特亲王的第四個孩子也是第二個儿子。第三任萨克森-科堡-哥达公爵（1893年至1900年在位），1866年5月24日英国贵族院授與他爱丁堡公爵、肯特伯爵和阿尔斯特伯爵（Duke...

恩斯特·爱德华·库默尔（德語：Ernst Eduard Kummer，1810年1月29日—1893年5月14日），德国数学家。擅長於應用數學。庫默爾教導德國軍官彈道學，其後，他在文理中學，相當於德制高中教了10年的書，在那裏他啟發了利奥波德·克罗内克的數學生涯。 库默尔...

库西则来到波士顿。库西靠着运球技巧和过人的全场视野，成为凯尔特人快攻发动机。 1956-57球季，中锋比尔·拉塞尔加入凯尔特人第一个球季，他们就夺冠而归，从此开创了绿衫王朝。 拉塞尔加入凯尔特人队前，队上已有鲍勃·库西和比尔·夏曼两位巨星球员，进攻火力强大，但他們的防守却不足以让凯尔特...

別爾哥羅德-哈爾科夫攻勢（代號為：「魯緬采夫團長行動」，該名來自18世紀後期的俄國名將彼得·魯緬采夫元帥）是第二次世界大戰中蘇聯紅軍對德意志國防軍實施的夏季戰略進攻行動之一，旨在奪回別爾哥羅德、哈爾科夫地區，並摧毀德國第4裝甲軍團以及肯夫特遣軍團。這次行動由沃羅涅日方面軍與草原方面軍執行。...

IAS）度过的，他仍被认为传承了以大卫·希尔伯特和赫尔曼·闵可夫斯基为代表的哥廷根大学学派的数学传统。 他的研究工作在理论物理上和在纯数学领域（如数论）等都有着一样杰出的贡献。他是20世纪最有影响力的数学家之一，也是普林斯顿高等研究院早期的重要成员。 外尔发表过的作品涉及时间、空间、物质、哲学、逻...

SIGACT））聯合頒發。該獎項是為紀念庫爾特·哥德爾而命名的。哥德爾是第一個提出P/NP問題的人，在1956年寫給約翰·馮·諾伊曼的信中，哥德爾問某個NP完全的問題是否可以用二次或是線性時間來解決。 哥德爾獎於1993年開始在STOC（ACM計算理論研討會（英语：Symposium...

逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。” 塔斯基生于沙俄統治時期波蘭華沙一个宽裕的犹太家庭，原名阿尔弗雷德·泰特尔鲍姆（Alfred...