TREE函數、Kruskal樹定理(英語:Kruskal's tree theorem)是逆數學的突出示例。由安德魯·瓦茲尼(英语:Andrew Vázsonyi)推測並由約瑟夫·克魯斯卡爾證明。 已隱藏部分未翻譯内容,歡迎參與翻譯。 In mathematics, Kruskal's tree theorem...
19 KB (2,724 words) - 18:36, 18 January 2024
生成樹應用於通訊網路的建構和定價。在組合數學中,他因克魯斯卡爾樹定理(1960年)而知名,從數理邏輯的角度來看,這個定理也很有趣,因為它只能以非構造的方式證明。克魯斯卡爾也與語言學家伊西多爾·戴恩(英语:Isidore Dyen)和保羅·布萊克(Paul Black)一起將他的研究成果應用於語言學領...
9 KB (870 words) - 17:35, 8 March 2024
在数理逻辑中,哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。第一条定理指出: 这是形式逻辑中的定理,容易被错误表述。有许多命题听起来很像是哥德尔不完备定理,但事实上并不是。具体实例见对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后,哥德尔证明了第二条定理。该定理指出: 哥德尔...
21 KB (3,451 words) - 03:48, 19 March 2025
)且 (V, T) 為樹,使得: w ( T ) = ∑ ( u , v ) ∈ T w ( u , v ) {\displaystyle w(T)=\sum _{(u,v)\in T}w(u,v)} 的 w(T) 最小,則此 T 為 G 的最小生成樹。 一个连通图可能有多个生成树...
19 KB (2,752 words) - 13:39, 19 September 2024
閃光的夜襲(西尾) 傳說的勇者的傳說(理魯·歐魯拉) 魔法禁書目錄II(土御門元春) HEROMAN(阿瑪若利皮) 2011年 罪惡王冠(月島阿爾戈) 侵略!?花枝娘(克拉克) 紙箱戰機(仙道大樹) 眾神中的貓神(小鐵) 戰國鬼才傳(小堀作介) 最後流亡-銀翼的飛夢-(伊格拉斯) 2012年 翡翠森林狼與羊(Butch)...
15 KB (1,712 words) - 09:08, 21 May 2025
たまき),聲:種田梨沙) 1月3日生,摩羯座,159公分,47公斤。 定理者的領隊,在第二話中失去領隊的資格,美親成為新的領隊。對美親採取嚴格的態度。運動和學習都很強,認真的委員長類型。「愛與美的女神維娜斯」盟約者。 克蘿伊·馬克斯維爾(クロエ・マクスウェル,聲:德井青空) 4月7日生,牡羊座,162公分,45公斤。...
39 KB (3,522 words) - 08:07, 23 February 2025
斯·普朗克物理學研究所)物理學家卡爾·魏森伯格(英语:Karl Weissenberg)的助手,協助魏森伯格在X射線晶體學的研究。六個月的助手工作後,維格納在理查·貝克(英语:Richard Becker)底下工作。維格納也開始學習量子力學,接觸埃爾...
17 KB (1,697 words) - 18:45, 21 May 2025
定理,提出了“牛顿法”以趋近函数的零点,并为幂级数的研究作出了贡献。 在2005年,英国皇家学会发起了一场“谁是科学史上最有影响力的人”的民意调查,在皇家学会院士和网民投票中,牛顿获得头冠。 1642年12月25日(儒略历),艾萨克·牛顿出生于英國英格兰東密德蘭林肯郡南凱斯蒂文(英语:South...
64 KB (8,056 words) - 02:21, 31 March 2025
卡·约翰娜·范莱文独立地推导出了相同的結果。後世的物理学家因而稱这一金屬的磁性質理论為玻尔-范莱文定理(英语:Bohr–van Leeuwen theorem)。 1910年,玻尔结识了玛格丽特·内隆德(Margrethe Nørlund),她是数学家尼尔斯·埃里克·内隆德(英语:Niels...
84 KB (10,985 words) - 12:19, 27 April 2025
1991)。随后约翰·福布斯·纳什(1950,1951)利用不动点定理证明了均衡点的存在,为博弈论的一般化奠定了坚实的基础。 约翰·福布斯·纳什、约翰·海萨尼及萊因哈德·澤爾騰因为他们对博弈论的突出贡献而获得1994年的瑞典銀行經濟學獎。罗伯特·约翰·奥曼、肯·宾摩尔、戴维·克瑞普斯(英语:David M...
10 KB (1,532 words) - 12:17, 25 September 2024
斯通定理留下的難題。希格斯在論文中提出希格斯機制理論,但是遭到《物理快報》退回。於是他將論文轉投到《物理評論快報》,同時有另外五位科學家也獲得相同的結論,包括弗朗索瓦·恩格勒、羅伯特·布繞特、傑拉德·古拉尼、卡爾·哈庚和湯姆·基博爾...
18 KB (1,751 words) - 19:58, 25 August 2024
憂國的莫里亞蒂 (category 福爾摩斯題材作品)
更新至第63話。 威廉·詹姆斯·莫里亞蒂(ウィリアム・ジェームズ・モリアーティ, William James Moriarty,聲:齊藤壯馬、石上静香(幼年)) 自稱「犯罪顧問」的天才,16歲考進大學,並於21歲時發表二項式定理論文,因而當上大學教授。街頭巷尾流傳的「犯罪卿」也是指莫里亞蒂。...
40 KB (3,404 words) - 23:29, 21 May 2025
斯特在滲透壓及電化學也有獲得一些研究成果。1905年,他確立了一種新理論,他稱之為“新熱定理”,這就是後來的熱力學第三定律,这条定律可以描述物質接近絕對零度時的表現。 能斯特在1914年作为志愿者加入德国陆军担任司机。在前线,他发现战壕导致战事僵持,于是向德军总参谋部负责与科学家联络的军官马克斯...
7 KB (740 words) - 18:42, 21 May 2025
匈牙利语人名顺序为先姓后名。此条目中的译名遵从此顺序。 瑟凯福尔维-纳吉·贝洛(匈牙利語:Szőkefalvi-Nagy Béla,1913年7月29日—1998年12月21日),出生于克卢日-纳波卡,匈牙利数学家。他的父亲瑟凯福尔维-纳吉·久洛也是一位著名的数学家。瑟凯福尔维-纳吉与阿尔弗雷德·哈尔、弗里杰什·里斯合作,是塞盖迪安数学学校的创始人。他对傅里叶级数...
3 KB (449 words) - 13:40, 10 December 2024
约翰·普莱费尔,数学家,提出普莱费尔公理 约瑟夫·韦德伯恩,数学家,提出阿廷-韦德伯恩定理,韦德伯恩小定理等 威廉·瓦伦斯·道格拉斯·霍奇,几何学家,霍奇理论、霍奇对偶以及千禧年大奖难题之一霍奇猜想的提出者 迈克尔·阿蒂亚,数学家,创立了拓扑K-理论并证明了阿蒂亚-辛格指标定理,曾任英国皇家学会主席...
44 KB (6,171 words) - 13:15, 4 May 2025
匈牙利人名顺序为先姓后名。此条目中的译名遵从此顺序。 拉克斯·彼得(匈牙利語:Lax Péter,1926年5月1日—2025年5月16日),全名拉克斯·彼得·达维德(匈牙利語:Lax Péter Dávid,英語:Peter David Lax),匈牙利裔美国数学家,參與了曼哈頓計畫。研究的领域与...
8 KB (570 words) - 01:49, 20 May 2025
。哲学和数学一样,通过应用逻辑学的方法就可以获得确定的答案,而哲学家的工作就是发现一种能够解释世界本质的一种理想的逻辑语言。但是罗素的努力被哥德尔不完备定理证明是徒劳的。 罗素在20世纪初转向逻辑实证主义,提出逻辑原子論,要求从相当于逻辑上原始命题的原始事实出发,以这种事实作基本元素,由此构造出整个...
38 KB (3,907 words) - 23:02, 14 May 2025
粒子濾波器 (category 蒙地卡羅方法)
filter)是一种使用蒙特卡罗方法的递归滤波器,其透过一组具有权重的随机样本(粒子)表示隨機事件的後驗機率,並從含有雜訊或不完整的觀測序列中,估計動態系統的狀態,粒子濾波器可以運用在任何狀態空間的模型上。同時,粒子濾波器是卡爾曼濾波器的一般化方法,卡爾曼濾波器建立在线性的狀態空間和高斯...
22 KB (5,108 words) - 14:57, 17 February 2025
卡尔松在多个领域都有建树,有人评价他总是解决开创性的最困难的问题,然后就转到其他领域,将空间留给他人。 阿贝尔委员会这样评价卡尔松:“他的工作已经永远改变了我们对分析的看法。他不仅证明了极难的问题,而且他引入的证明方法与定理本身同等重要。” 卡尔...
4 KB (450 words) - 13:02, 1 April 2025
斯,1969年)、彭罗斯过程(彭罗斯,1969年)、黑洞面积定理(霍金,1969年)、克鲁斯卡尔-塞凯赖什坐标系(马丁·克鲁斯卡尔(英语:Martin David Kruskal)、乔治·塞凯赖什,1970年)、黑洞热力学(雅各布·贝肯斯坦、卡特、霍金,1972年)、赫尔斯-泰勒脉冲双星(PSR...
235 KB (33,042 words) - 17:52, 18 May 2025
卡杰姆戈罗多克(近新西伯利亞)數學研究所的創立人與第一任所長,而後來為了紀念索伯列夫在建立研究所的貢獻,以及為了建設發展新西伯利亞大學的種種努力,就把研究所的名字以索伯列夫的名字命名,成為了索伯列夫數學研究所。 索伯列夫猜想 索伯列夫嵌入定理 索伯列夫廣義導數 索博列夫不等式...
8 KB (791 words) - 05:57, 23 September 2022
丘成桐 (category 奥斯瓦尔德·维布伦几何学奖获得者)
尔兹奖及沃尔夫数学奖。自小在香港成長直至大學畢業,後赴美國深造並且入籍美國。曾担任哈佛大學教授和香港中文大學博文讲座教授、清华大学丘成桐数学科学中心主任。 丘成桐出生在中国汕头,不满一岁时移居香港,1969年移居美国。他于1982年被授予菲尔兹奖,以表彰他在偏微分方程、卡拉比猜想、正能量定理...
33 KB (3,833 words) - 07:49, 9 May 2025
哈密顿回路问题 最小生成树问题 中国邮路问题 最短路问题 斯坦纳树 旅行商问题(NP困难) 最大流问题,最小割问题,最大流最小割定理 最小费用最大流问题 二分图及任意图上的最大匹配 带权二分图的最大权匹配 最大团 最大独立集 最小覆盖集 最小支配集 戴克斯特拉算法(D.A) 克鲁斯卡尔算法(K.A) 普里姆算法(P...
14 KB (1,959 words) - 13:16, 19 May 2025
神曲奏界 (section 社福團體「克羅莉安娜之樹」)
五聖家「艾康巴德家」的當家,是密斯特拉魯的父親。 5.五聖家「克勞薩家」的當家,是賈桂琳的父親。 6.哈敏特,七樂門「席達拉家」的代表,是普莉姆羅絲的未婚夫,青年部負責人。 7.沃爾佛斯,七樂門「辛拉家」的當家,是藍迪與薩拉莎的父親。 8.七樂門「古達拉家」的當家,是優拉納斯‧赤月的父親。 「克羅莉安娜之樹...
67 KB (7,792 words) - 03:51, 22 January 2025
德勒兹的工作分为两部分:1. 关于其他哲学家(如巴鲁赫·斯宾诺莎、莱布尼茨、大卫·休谟、康德、弗里德里希·尼采、亨利·柏格森、米歇尔·福柯)和艺术家(如普鲁斯特、卡夫卡、弗兰西斯·培根)的作品;2. 由各种概念(如差异,意义,事件,精神分裂症,经济,电影,欲望,哲...
35 KB (4,898 words) - 21:10, 2 May 2025
擁有超常技能的異世界流浪美食家角色列表 (section 馬爾貝格王國)
由於平時會將供品存放在道具箱並有節制地消耗,創造神德米兀各斯懲戒六位神明關禁閉期間是唯一沒有被影響的神明。信徒總數在四女神中排名第二。 動畫版飾演魯薩爾卡的配音員白砂沙帆對其評價為「沉默寡言的她,卻對異世界的美食十分好奇,而魯薩爾卡的情緒變化,實在是太可愛了」。 名字取自斯拉夫神話中的女性水棲妖精(人魚)露莎卡。 瓦哈格恩(ヴァハグン)...
84 KB (15,923 words) - 05:30, 3 May 2025
斯声称意识是超越数理逻辑的,因为诸如停机问题的不可解性质和哥德尔不完备定理导致基于算法的逻辑系统不能产生具有人类智能特性的智能(比如,对数学的洞见)。这些说法最早得到了牛津大学莫頓学院的哲学家約翰·盧卡斯(John Lucas)的支持。 彭罗斯和盧卡斯关于哥德尔不完备定理...
32 KB (3,587 words) - 13:13, 27 April 2025
Tucker)在微分几何课堂上将这个猜想告诉他们后才不过几天,初出茅庐的米尔诺就给出了自己的解答。匈牙利数学家伊斯特凡·法利(英语:István Fáry)差不多同时发现了类似的解法。这就是后来的法利-米尔诺定理(英语:Fary–Milnor theorem)。 Milnor, John W...
12 KB (962 words) - 13:19, 1 April 2025
馬丁·史柯西斯 《飛越杜鵑窩》 米洛斯·福曼 《零用錢(英语:Small Change (film))》 法蘭索瓦·杜魯福 《亂世兒女》 史丹利·庫柏力克 《熱天午後》 薛尼·盧梅 《納什維爾》 勞勃·阿特曼 《巫山雲(英语:The Story of Adele H.)》 法蘭索瓦·杜魯福 《感官世界》...
105 KB (13,818 words) - 03:13, 28 May 2025
杨振宁 (category 奥斯卡·克莱因纪念讲座)
克斯特分别于1967年与1972年创建了量子楊-巴克斯特方程(简称QYBE)以来,量子可积模型方面的研究取得了很大进展,特别是弗拉基米爾·德林費爾德所建立的杨代数和量子群理论对物理中的量子完全可积模型的对称性研究提供了强有力的数学工具。经过系统的发展,已经证明杨-巴克斯...
163 KB (20,192 words) - 07:31, 2 May 2025
尔德尼外,依次还有呼图克图、诺门罕、班智达、堪布、绰尔济以及国师、禅师等。《钦定理藩院则例》的“呼图克图职衔名号定制”中称:“凡呼图克图、诺门罕、班第达、堪布、绰尔济系属职衔。国师、禅师系属名号。”可见在清朝,“呼图克图”是上述五个职衔中最高的一等。 “呼图克...
13 KB (2,152 words) - 13:39, 21 May 2024