在形式语言理论中，Myhill–Nerode 定理提供了一个语言是正则语言的必要和充分条件。它近乎专门的被用来证明一个给定语言不是正则的。 这个定理得名于 John Myhill 和 Anil Nerode，他们于1958年在芝加哥大学证明了这个定理。 给定一个字母集 (alphabet) Σ {\displaystyle...

米迪定理 迈希尔-尼罗德定理 马勒定理 闵可夫斯基定理 莫尔-马歇罗尼定理 密克定理 梅涅劳斯定理 莫雷拉定理 纳什嵌入定理 拿破仑定理 鸟头定理 牛顿定理 欧拉定理 (数论) 欧拉旋转定理 欧几里得定理 欧拉定理 (几何学) 庞加莱-霍普夫定理 皮克定理 谱定理 婆罗摩笈多定理 帕斯卡定理 帕普斯定理...

希尔伯特8岁时入学，比当时一般孩子晚2年。他所就读的弗里德里希学院（德语：Collegium Fridericianum）正是当年康德的母校。 希尔伯特早期在研究不變函數，在1888年提出了有限性定理。20年前，保羅·高爾頓利用複雜的計算方式，提出了2個變數有限性定理...

阿蒂亚的早期工作主要集中在代数几何领域。受亚历山大·格罗滕迪克影响，他与弗里德里希·希策布鲁赫一起创立了拓扑K-理论，在代数拓扑中的一个重要的工具，非正式地讲，就是空间可以被扭曲。这是第一个重要的广义上同调理论。他最为著名的成果是1963年他与艾沙道尔·辛格合作，对椭圆算子证明了著名的阿蒂亚-辛格指标定理。此定理...

安德魯·約翰·懷爾斯爵士，KBE，FRS（英語：Sir Andrew John Wiles，/ˈændɹuː ʤɒn waɪlz/，1953年4月11日—），英國數學家，现任牛津大学皇家学会研究教授。他专攻数论，因證明費馬最後定理而闻名于世，也因此獲得了2016年阿貝爾獎和1995年与1996年沃尔...

of the Royal Society》编辑。他主要以贝里相位而知名，该现象可以在量子力学和光学实验中观察到，是一種拓樸相位。於1996年指出旋轉的磁體可以不受恩紹定理而懸浮，於2000年因為懸浮青蛙實驗與安德烈·海姆共同獲得獲得搞笑諾貝爾獎。 恩紹定理 几何相位 迈克尔·贝里在數學譜系計畫的資料。...

在數學中，阿蒂亞-辛格指標定理斷言：對於緊流形上的橢圓偏微分算子，其解析指標（與解空間的維度相關）等於拓撲指標（決定於流形的拓撲性狀）。它涵攝了微分幾何中許多大定理，例如陳-高斯-博内定理和黎曼－罗赫定理，在理論物理學中亦有應用。 此定理由邁克爾·阿蒂亞與艾沙道尔·辛格於1963年證出。 X 是緊微分流形。...

拉尔修曾引用了泰勒斯的学徒阿那克西美尼写给毕达哥拉斯的信，信里描述泰勒斯死因是在夜里走路时专注于看星星而意外跌落陡坡。 他曾游历巴比倫和古埃及，其中在埃及跟當地祭司學習数学知识。根据希罗多德的《历史》记载，他預測到公元前585年5月28日發生的日全食。他能夠估算船隻離岸邊的距離，解释尼罗...

喬瓦尼·塞瓦 (1647－1734) —— 欧几里得几何 萊昂哈德·歐拉 (1707–1783) 加斯帕尔·蒙日 (1746–1818) —— 画法几何 约翰·普莱费尔 (1748–1819) —— 欧几里得几何 卡爾·弗里德里希·高斯 (1777–1855) —— 絕妙定理 西莫恩·德尼·泊松...

詹姆斯·弗兰克、 乔治·德海韦西、奥托·罗伯特·弗里施、希尔德·利瓦伊、莉泽·迈特纳、乔治·普列切克、尤金·拉宾诺维奇（英语：Eugene Rabinowitch）、斯特凡·罗森塔尔（英语：Stefan Rozental）、埃里希·恩斯特·施奈德、爱德华·泰勒、阿瑟·冯·希佩尔（英语：Arthur R...

羅納德·愛爾默·費雪爵士，FRS（英語：Sir Ronald Aylmer Fisher，1890年2月17日—1962年7月29日，英語發音[ˈɹɒnḷd ˈeɪlmə ˈfɪʃə]），英國統計學家、演化生物學家與遺傳學家。他是現代統計學與現代演化論的奠基者之一。安德斯·哈爾德...

彭罗斯-霍金奇点定理（以罗杰·彭罗斯和斯蒂芬·霍金命名）是广义相对论中的一系列结果，旨在回答引力何时产生奇点的问题。彭罗斯奇点定理是半黎曼几何领域的一个定理，其广义相对论层面的诠释预测了黑洞形成中的引力奇点。霍金奇点定理基于彭罗斯定理，它被解释为大爆炸场景中的引力奇点。彭罗斯因“发现黑洞的形成是广义相对论的稳健预测”而分享了...

定理的證明。其大綱由雅克·阿達馬與夏尔-让·德拉瓦莱·普桑所完成，他們於1896年獨立證明出質數定理。 證明一個大數是否為質數通常無法由試除法來達成。許多數學家已研究過大數的質數測試，通常侷限於特定的數字形式。其中包括費馬數的貝潘測試（英语：Pépin's test）（1877年）、普羅絲定理...

弗里德里希·斯托尔兹（英语：Friedrich Stolz）；亨利·德斯戴尔·达金（英语：Henry Drysdale Dakin）（均1904年） 镥 – 乔治·于尔班（英语：Georges Urbain）（法国，1907年）；卡尔·奥尔·冯·威尔斯巴赫（奥地利，1907年） 希尔伯特空间表示定理（里斯表示定理） –...

在拓扑学中，我们对向量丛有类似的和构造。迈克尔·阿蒂亚与弗里德里希·希策布鲁赫在1959年使用格罗腾迪格群构造来定义拓扑空间 X {\displaystyle X} 的 K ( X ) {\displaystyle K(X)} （两个构造一致）。这是在代数拓扑中发现的第一个奇异上同调理论的基础。它在指标定理...

進修。1969年移居美國，與新澤西州普林斯頓普林斯顿高等研究院的迈克尔·阿蒂亚進行兩年的合作。他早期研究椭圆算子的指標定理，後來憑藉此課題，在威廉·布勞德（英语：William Browder (mathematician)）和迈克尔·阿蒂亚的指導下拿到普林斯頓大學博士學位。...

Feltrinelli Prize 1979年以色列沃尔夫数学奖 1988年苏联罗蒙诺索夫金质奖章 勒雷谱序列（英语：Leray spectral sequence） 勒雷覆盖（英语：Leray cover） 勒雷定理（英语：Leray's theorem） 勒雷-希尔施定理（英语：Leray-Hirsch theorem）...

希尔伯特空间算子的理论。 他是数学文摘、Acta Scientiarum Mathematicarum和分析数学的总编辑。1979年，他被授予罗蒙诺索夫金质奖章。鲍耶研究所设立了年度奖项贝洛·瑟凯福尔维-纳吉奖章以纪念他的成就。 1998年12月21日，瑟凯福尔维-纳吉逝世于匈牙利塞格德。 Béla...

學界的終身成就獎，而菲爾茲獎和阿貝爾獎則普遍被認為是數學家的最高榮譽之一，塞爾與迈克尔·阿蒂亚皆為雙料得主。 塞爾對偶定理 塞爾乘數猜想 塞爾猜想 (數論) 塞爾譜序列 塞爾纖維化 塞爾扭層 尼古拉·布爾巴基 格列戈里·馬爾古利斯 Groupes Algébriques et Corps de Classes...

到2015年10月，合作作者达到了68人。 陶哲轩与英国数学家本·J·格林（英语：Ben J. Green）的合作尤为著名；他们共同证明了格林-陶定理，该定理在数学家中享有盛誉。该定理指出，存在任意长的素数等差数列。纽约时报这样描述这一成就： 2004 年，陶哲轩博士与剑桥大学的数学家本·格林（英语：Ben...

degré），現在該定理稱為阿貝爾-魯菲尼定理。然而，因為阿貝爾經濟條件不佳，無法支付昂貴的大量影印費用，故該文只有精簡的六頁，讀起來艱澀難懂。此外，阿貝爾曾將它寄給高斯，但也遭高斯棄置一旁。直到1826年，阿貝爾才在克雷勒雜誌的第一期發表其完整的證明。 1825年，阿貝爾寫信給挪威國王卡爾...

博拉·塞特（Bola Sete），63歲，巴西爵士吉他手，患有肺炎和肺癌。 吉米·霍利迪，52歲，美國R&B歌手和詞曲作者，心力衰竭。 約翰·邁希爾，63歲，英國數學家（迈希尔-尼罗德定理）。 諾曼·克勞瑟·亨特（Norman Crowther Hunt），66歲，英國學者、政治家、國務大臣，心臟病發作。 Leo...

陈景润（1933年5月22日—1996年3月19日），男，福建省閩侯縣（今福州市倉山區）城門鎮臚雷村人，家族為臚峰陳氏。中国数学家，华罗庚数学奖得主，主要成就有陈氏定理，是陈景润花了半生时光，致力于研究哥德巴赫猜想的结果。 陈景润是福建省福州市仓山区城门镇胪雷村人。高中就读于福州英华高中，大学毕业于厦门大学数学系。19...

^{*}:xyzv\in L\leftrightarrow xy^{k}zv\in L} 。 一个可行的用于判断一个语言是否为正则语言的方法，可以参见迈希尔－尼罗德定理。一般来说证明一个语言是正则的，可以通过对该语言构造一个有限状态机或正则表达式来实现。 若 L 是上下文無關語言，則存在一常數 n > 0 使得語言...

在奧維德的小說《變形記》中，畢達哥拉斯在一場演說中請求聽眾吃素，此書在1567年被翻譯成英文後，帶起了現代西方的素食運動。至1840年代出現「素食主義」（英語：vegetarianism）這個詞之前，素食者在英文中的名稱是「畢達哥拉斯派」（Pythagorean）。 毕达哥拉斯主义 古希腊哲学 畢氏定理...

希荷夫於1887年去世，被安葬在柏林舍讷贝格区的墓地。 基尔霍夫在多个领域都留下了以自己名字命名的定律（定理），其中包括著名的基尔霍夫电路定律（基尔霍夫电压定律、基尔霍夫电流定律）。 基尔霍夫电路定理简称基尔霍夫定律，由基尔霍夫电流定律（基尔霍夫第一定律）与基尔霍夫电压定律（基尔霍夫第二定律）两部分构成。...

罗素认为哲学和其他自然科学的不同只是在于其研究的方向（哲学研究更广泛的内容），但他们的研究方法应该是相同的。哲学和数学一样，通过应用逻辑学的方法就可以获得确定的答案，而哲学家的工作就是发现一种能够解释世界本质的一种理想的逻辑语言。但是罗素的努力被哥德尔不完备定理证明是徒劳的。 罗...

理成章的结果。1813年法国数学家、物理学家西莫恩·德尼·泊松指出拉普拉斯方程也适用于静电场，从而提出泊松方程；其他例子还包括静电场的格林函数（乔治·格林，1828年）和高斯定理（卡尔·高斯，1839年）。 十八世纪末，意大利生理学家路易吉·伽伐尼发现蛙腿肌肉接触金属刀片时会发生痉挛，他其后在论文中...

定理（英语：Kolmogorov–Arnold–Moser theorem），即柯爾莫哥洛夫 - 阿諾德 - 莫澤定理（英语：Kolmogorov–Arnold–Moser theorem）。 他的學術成就深得肯定，獲頒多個獎項，如1982年的克拉福德獎，2001年的沃爾夫數學獎，2008年的邵逸夫獎等。...

德華·伯恩-瓊斯、歌手克里斯·克里斯托佛森。 曾於牛津大學求學的作家 曾於牛津大學求學的藝術界人士 牛津大學培養了不少數學界名人。邁克爾·阿蒂亞、丹尼爾·奎倫和西蒙·唐納森三位牛津數學家曾贏得菲爾茲獎，而成功證明了費馬大定理的安德魯·懷爾...

约翰·普莱费尔，数学家，提出普莱费尔公理 约瑟夫·韦德伯恩，数学家，提出阿廷-韦德伯恩定理，韦德伯恩小定理等 威廉·瓦伦斯·道格拉斯·霍奇，几何学家，霍奇理论、霍奇对偶以及千禧年大奖难题之一霍奇猜想的提出者 迈克尔·阿蒂亚，数学家，创立了拓扑K-理论并证明了阿蒂亚-辛格指标定理，曾任英国皇家学会主席...