公元前
約 18000 年,扎伊爾出土的 Ishango 骨殖(可能是最早的先民進(jìn)行計(jì)算的證據(jù))。
約 4000 年,中東使用泥制的計(jì)算標(biāo)志。
約 3400-3200 年,蘇美爾人記數(shù)系統(tǒng)的發(fā)展。
約 2050 年,60 進(jìn)制位值記數(shù)系統(tǒng)的最早證據(jù),蘇美爾人。
約 1850-1650 年,古巴比倫數(shù)學(xué)。
約 1650 年,萊茵德紙草書(shū)收藏的最早的古埃及最大和保存最好的紙草書(shū)。
約 1400-1300 年,十進(jìn)制計(jì)數(shù)法,發(fā)現(xiàn)于中國(guó)殷商甲骨文中。
約 580 年,米利都的泰勒斯(Thales of Miletus,"幾何學(xué)之父")。
約 530-450 年,畢達(dá)哥拉斯學(xué)派(數(shù)論、幾何學(xué)、天文學(xué)和音樂(lè))。
約 450 年,芝諾關(guān)于運(yùn)動(dòng)的悖論。
約 370 年,歐多克索斯(Eudoxus,比例理論、天文學(xué)、窮竭法)。
約 350 年,亞里士多德(邏輯學(xué))。
約 320 年,歐德摩斯的《幾何學(xué)史》(當(dāng)時(shí)的幾何學(xué)知識(shí)的重要證據(jù)),印度的十進(jìn)制計(jì)數(shù)法。
約 300 年,歐幾里得《幾何原本》。
約 250 年,阿基米德(立體幾何、求積法、靜力學(xué)、水靜力學(xué)、π 的近似)。
約 230 年,埃拉托色尼(地球周長(zhǎng)的度量、求素?cái)?shù)的算法)。
約 200 年,阿波羅尼烏斯的《圓錐截線論》(關(guān)于圓錐截線的廣泛而有影響的著作)。
約 150 年,希帕克斯(第一部算出的弦表)。
約 100 年,《九章算術(shù)》(最重要的中國(guó)數(shù)學(xué)古籍)。
公元后
約 60 年,亞歷山大里亞的海倫(光學(xué)、測(cè)地學(xué))。
約 100 年,Menelaus 的《球面》(球面三角學(xué))。
約 150 年,托勒密的《天文學(xué)大成》(Almagest,關(guān)于數(shù)學(xué)天文學(xué)的權(quán)威教本)。
約 250 年,丟番圖的《算術(shù)》(Arithmetica,定和不定方程的求解、早期的代數(shù)符號(hào))。
約 300-400 年,《孫子算經(jīng)》(中國(guó)剩余定理)。
約 320 年,帕普斯(Pappus)的《全集》(總結(jié)和推廣了當(dāng)時(shí)已知的數(shù)學(xué)知識(shí))。
約 370 年,亞歷山大里亞的 Theon(關(guān)于托勒密《大著》的評(píng)論、修訂歐幾里得)。
約 400 年,亞歷山大里亞的 Hypatia(關(guān)于丟番圖、阿波羅尼烏斯和托勒密的評(píng)論)。
約 450 年,Proclus(關(guān)于歐幾里得第一卷的評(píng)論,Eudemus 的《幾何學(xué)史》的摘要)。
約 500-510 年,印度數(shù)學(xué)家阿耶波多的《阿耶波多歷數(shù)書(shū)》(印度的天文學(xué)著作,其中包含了 π,根號(hào) 2 的很好的近似以及許多角的正弦)。
約 510 年,Boethius 把希臘著作譯為拉丁文。
約 625 年,王孝通(三次方程的數(shù)值解,用幾何表示)。
628 年,婆羅摩笈多的《婆羅摩修正歷數(shù)書(shū)》(一部天文學(xué)著作,關(guān)于所謂佩爾方程最早的著作)。
約 710 年,比德尊者(歷法計(jì)算、天文、潮汐)。
約 830 年,阿爾?花拉子米《代數(shù)學(xué)》(方程式理論)。
約 900 年,阿布卡米爾(二次方程的無(wú)理解)。
約 970-990 年,Gerbert d'Aurillac 把阿拉伯?dāng)?shù)學(xué)技術(shù)引入歐洲。
約 980 年,Abu al-Wafa(被認(rèn)為是第一個(gè)計(jì)算了現(xiàn)代的三角函數(shù);第一個(gè)應(yīng)用和發(fā)表了球面的正弦定律)。
約 1000 年,ibn al-Haytham(光學(xué),Alhazen 問(wèn)題)。
約 1100 年,奧馬爾?哈亞姆(三次方程、平行線公設(shè))。
1100-1200 年,許多數(shù)學(xué)著作由阿拉伯文譯為拉丁文。
約 1150 年,婆什伽羅的《麗羅娃蒂》和《算法本源》(梵文傳統(tǒng)的標(biāo)準(zhǔn)的算術(shù)和代數(shù)教本,在后書(shū)中包括了對(duì)佩爾方程的詳細(xì)講述)。
1202 年,斐波那契的《算經(jīng)》(Liber Abaci)(把印度-阿拉伯?dāng)?shù)碼引入歐洲)。
約 1270 年,楊輝的《詳解九章算法》(包括一個(gè)類(lèi)似于“帕斯卡三角形”的圖形,楊輝把它歸于 11 世紀(jì)的賈憲)。
1303 年,朱世杰的《四元玉鑒》(用消去法解最多四個(gè)未知數(shù)的聯(lián)立方程)。
約 1330,牛津的 Merton 運(yùn)動(dòng)學(xué)派。
1335 年,Heytesbury 陳述了平均速度定理。
約 1350 年,Oresme 發(fā)明了一種早期的坐標(biāo)幾何,證明了平均速度定理,第一次使用分?jǐn)?shù)指數(shù)。
約 1415 年,Brunelleschi 證明了透視的幾何方法。
約 1464 年,雷喬蒙塔努斯的《論三角形》(1533 年出版,是第一本歐洲的全面的平面和球面三角學(xué)著作)。
1484 年,Chuquet 的《關(guān)于數(shù)的科學(xué)的三部論著》(介紹了零和負(fù)指數(shù),引入了 "billion" 和 "trillion" 等詞)。
1489 年,在印刷品這第一次出現(xiàn)“+”號(hào)和“-”號(hào)。
1494 年,帕喬里的《算術(shù)概要》(總結(jié)了當(dāng)時(shí)所有的已知的數(shù)學(xué)知識(shí),為即將到來(lái)的大發(fā)展打下了基礎(chǔ))。
1525 年,Rudolff 的《有技巧的計(jì)算》(部分地使用了代數(shù)的符號(hào),引入記號(hào)“√”)。
1525-1528 年,丟勒發(fā)表關(guān)于透視、比例和幾何作圖的文章。
1543 年,哥白尼發(fā)表《天體運(yùn)行論》提出行星運(yùn)動(dòng)的日心說(shuō)。
1545 年,卡爾達(dá)諾的《大術(shù)》(三次和四次方程)。
1557 年,Recorde 的《智慧的磨刀石》(引入“=”號(hào))。
1572 年,龐貝里的《代數(shù)》(引入復(fù)數(shù))。
1585 年,斯特凡的《十進(jìn)算術(shù)》(普及十進(jìn)小數(shù))。
1591 年,維特的《分析藝術(shù)引言》(用字母標(biāo)示未知數(shù))。
1609 年,開(kāi)普勒的《新天文學(xué)》(開(kāi)普勒關(guān)于行星運(yùn)動(dòng)的前兩個(gè)定律)。
1610 年,伽利略的《星空信使》(描述了他用望遠(yuǎn)鏡所作的發(fā)現(xiàn),包括木星的四個(gè)衛(wèi)星)。
1614 年,納皮爾的《對(duì)數(shù)的奇妙規(guī)則的描述》(第一部對(duì)數(shù)表)。
1619 年,開(kāi)普勒的《世界的和諧》(開(kāi)普勒第三定律)。
1621 年,Bachet 翻譯的丟番圖《算術(shù)》一書(shū)出版。
約 1621 年,Oughtred 發(fā)明計(jì)算尺。
1624 年,Briggs 的《對(duì)數(shù)的算術(shù)》(第一本印行的以 10 為底的對(duì)數(shù)表)。
1631 年,Thomas Harriot,1560-1621,英國(guó)數(shù)學(xué)家、天文學(xué)家和自然界研究者。他所寫(xiě)的《用于求解代數(shù)方程的分析藝術(shù)》在他去世 10 年后以拉丁文出版(方程式論)。
1632 年,伽利略的《關(guān)于兩種世界體系的對(duì)話》(比較托勒密和哥白尼的理論)。
1637 年,笛卡兒的《幾何學(xué)》(用代數(shù)手段研究幾何學(xué))。
1638 年,伽利略的《關(guān)于兩門(mén)新科學(xué)的談話和數(shù)學(xué)證明》(物理問(wèn)題的系統(tǒng)數(shù)學(xué)處理);費(fèi)馬研究 Bachet 所翻譯的丟番圖的《算術(shù)》,而且作了關(guān)于費(fèi)馬大定理的猜測(cè)。
1642 年,帕斯卡發(fā)明了一個(gè)加法機(jī)。
1654 年,費(fèi)馬和帕斯卡就概率問(wèn)題通訊;帕斯卡的《論算術(shù)三角形》。
1656 年,瓦里斯的《無(wú)窮的算術(shù)》(曲線下的面積、4/π 的乘積公式、連分?jǐn)?shù)的系統(tǒng)研究)。
1657 年,惠更斯的《論關(guān)于機(jī)遇博弈的研究》。
1664-1672 年,牛頓關(guān)于微積分的早期工作。
1678 年,胡克的《態(tài)勢(shì)的恢復(fù)》(提出彈性定律)。
1683 年,關(guān)孝和的《解伏題之法》(決定行列式各項(xiàng)的程序)。
1684 年,萊布尼茲發(fā)表關(guān)于微積分的最初的工作。
1687 年,牛頓的《自然哲學(xué)的數(shù)學(xué)原理》(牛頓關(guān)于運(yùn)動(dòng)和引力的理論、經(jīng)典力學(xué)的基礎(chǔ)、開(kāi)普勒定律的推導(dǎo))。
1690 年,伯努利家族關(guān)于微積分的最早期的工作。
1696 年,洛必達(dá)的《無(wú)窮小分析》(第一本微積分教科書(shū))。雅各布?伯努利,約翰?伯努利,牛頓、萊布尼茲和洛必達(dá)關(guān)于捷線問(wèn)題的解(變分法的開(kāi)始)。
1704 年,牛頓的《求積法》發(fā)表(作為《光學(xué)》(Opticks)一書(shū)的附錄,牛頓的微積分的第一篇發(fā)表的論文)。
1706 年,Jones 引入符號(hào) π,作為圓的周長(zhǎng)與直徑之比。
1713 年,雅各?伯努利的《猜測(cè)術(shù)》(概率論的奠基著作)。
1715 年,泰勒的《增量方法》(泰勒定理)。
1727-1777 年,歐拉引入記號(hào) "e" 來(lái)表示指數(shù)函數(shù)(1727),引入記號(hào) "f(x)" 來(lái)表示函數(shù)(1734),記號(hào) "∑" 表示和(1755)以及 "i" 表示虛數(shù)(1777)。
1734 年,貝克萊的《分析學(xué)家》(對(duì)于應(yīng)用無(wú)窮小量的主要攻擊)。
1735 年,歐拉解決了 Basel 問(wèn)題。
1736 年,歐拉解決了 K?nigsberg 七橋問(wèn)題。
1737 年,歐拉的《關(guān)于無(wú)窮級(jí)數(shù)的各種觀察》(歐拉乘積)。
1738 年,丹尼爾?伯努利的《水動(dòng)力學(xué)》(把液體流動(dòng)與壓力聯(lián)系起來(lái))。
1742 年,哥德巴赫猜想(見(jiàn)于他給歐拉的信中);麥克勞林的《論流數(shù)》(為牛頓辯護(hù),反對(duì)貝克萊的攻擊)。
1743 年,達(dá)朗貝爾的《動(dòng)力學(xué)理論》(達(dá)朗貝爾原理)。
1744 年,歐拉的《求具有某些極大極小性質(zhì)的曲線的方法》(變分法)。
1747 年,歐拉提出二次互反律;達(dá)朗貝爾導(dǎo)出一維的波方程作為控制振動(dòng)弦的運(yùn) 動(dòng)方程。
1748 年,歐拉的《無(wú)窮量分析引論》(引入函數(shù)概念、公式 e^iθ=cosθ+isinθ 以及許多其他內(nèi)容)。
1750-1752 年,歐拉的多面體公式。
1757 年,歐拉的《流體運(yùn)動(dòng)的一般原理》(歐拉方程、現(xiàn)代流體力學(xué)的起點(diǎn))。
1763 年,貝葉斯的《為解決機(jī)遇學(xué)說(shuō)的一個(gè)問(wèn)題的論文》(貝葉斯定理)。
1771 年,拉格朗日的《方程的代數(shù)解法的思考》(方程式理論的法典著作,預(yù)示了群論的出現(xiàn))。
1788 年,拉格朗日的《解析力學(xué)》(拉格朗日力學(xué))。
1795 年,蒙日的《分析對(duì)于幾何的應(yīng)用》(微分幾何)和《畫(huà)法幾何》(對(duì)于射影幾何的創(chuàng)立有重大意義)。
1796 年,高斯作出了正 17 邊形。
1797 年,拉格朗日的《解析函數(shù)論》(主要把函數(shù)作為冪級(jí)數(shù)來(lái)研究)。
1798 年,勒讓德的《數(shù)論》(第一本專(zhuān)門(mén)講數(shù)論的書(shū))。
1799 年,高斯證明了代數(shù)學(xué)的基本定理。
1799-1825 年,拉普拉斯的《天體力學(xué)》(關(guān)于天體和行星的力學(xué)的權(quán)威表述)。
1801 年,高斯的《算術(shù)研究》(模算術(shù)、二次互反律的第一個(gè)完備的證明、數(shù)論中許多其他的主要結(jié)果和概念)。
1805 年,勒讓德的最小二乘方方法。
1809 年,高斯論天體的運(yùn)動(dòng)。
1812 年,拉普拉斯的《概率的解析理論》(引入了概率論的許多新概念,包括概率生成函數(shù)、中心極限定理等)。
1814 年,Servois(1768-1847,法國(guó)數(shù)學(xué)家)引入了“交換性”“分配性”等數(shù)學(xué)名詞。
1815 年,柯西論置換。
1817 年,波爾扎諾關(guān)于中間值定理的早期形式。
1821 年,柯西的《分析教程》(對(duì)于分析嚴(yán)格化的主要貢獻(xiàn))。
1822 年,傅里葉的《熱的解析理論》(傅里葉級(jí)數(shù)第一次以文字形式出現(xiàn));彭賽列的《論圖形的射影性質(zhì)》(射影幾何的重新發(fā)現(xiàn))。
1823 年,納維提出了現(xiàn)在人們稱呼的納維-斯托克斯方程;柯西的《無(wú)窮小分析教程概要》。
1825 年,柯西積分定理。
1826 年,德國(guó)的《純粹與應(yīng)用數(shù)學(xué)雜志》出版;阿貝爾證明了五次方程不能用根式解出。
1827 年,電動(dòng)力學(xué)的安培定律;高斯的《曲面的一般研究》(高斯曲率、絕妙定理(theorema egregium);關(guān)于電的歐姆定律。
1828 年,格林定理。
1829 年,狄利克雷論傅里葉級(jí)數(shù)的收斂性;施圖姆的定理;羅巴切夫斯基的非歐 幾里得幾何雅可比的《橢圓函數(shù)的新基本理論》(關(guān)于橢圓函數(shù)的基本著作)。
1830-1832 年,伽羅瓦關(guān)于多項(xiàng)式方程用根式的可解性的系統(tǒng)研究,以及群的理論的開(kāi)端。
1832 年,鮑耶伊的非歐幾里得幾何。
1836 年,法國(guó)的《純粹與應(yīng)用數(shù)學(xué)雜志》在法國(guó)出版。
1836-1837 年,施圖姆和劉維爾建立了施圖姆-劉維爾理論。
1837 年,狄利克雷證明了由無(wú)窮多個(gè)素?cái)?shù)組成的算術(shù)數(shù)列存在;泊松的《關(guān)于判 斷的概率的研究》(泊松分布,創(chuàng)造了“大數(shù)定律”一詞)。
1841 年,雅可比行列式。
1843 年,哈密頓發(fā)明四元數(shù)。
1844 年,格拉斯曼的《延伸理論》(重線性代數(shù));凱萊關(guān)于不變式的早期工作。
1846 年,切比雪夫證明了弱大數(shù)定律的一個(gè)形式。
1851 年,黎曼的《單復(fù)變量的函數(shù)的一般理論基礎(chǔ)》(柯西-黎曼方程、黎曼曲面)。
1854 年,凱萊關(guān)于群的抽象定義;布爾的《思想的法則》(代數(shù)邏輯);切比雪夫多項(xiàng)式;黎曼提出就職論文《論函數(shù)之以三角級(jí)數(shù)表示的可能性》和就職演說(shuō)《論作為幾何基礎(chǔ)的假設(shè)》。
1856-1858 年,戴德金開(kāi)出了歷來(lái)第一個(gè)關(guān)于伽羅瓦理論的課程。
1858 年,凱萊的《關(guān)于矩陣?yán)碚摰恼撐摹?;默比烏斯帶?/p>
1859 年,黎曼假設(shè)。
1863-1890 年,魏爾斯特拉斯關(guān)于分析的講課普及了這個(gè)學(xué)科的 "ε-δ" 講法。
1864 年,黎曼-羅赫定理。
1868 年,普呂克的《空間的新幾何學(xué)》(線幾何學(xué));貝爾特拉米的非歐幾里得幾何;哥爾丹關(guān)于二元形式的定理。
1869-1873 年,李發(fā)展了連續(xù)群的理論。
1870 年,Benjamin Peirce 的《線性結(jié)合代數(shù)》;約當(dāng)?shù)摹吨脫Q理論和代數(shù)方程》(關(guān)于群的著作)。
1871 年,戴德金引入域、環(huán)、模、理想的現(xiàn)代概念。
1872 年,克萊因的《埃爾朗根綱領(lǐng)》;西羅在群論中的定理;戴德金的《連續(xù)性和無(wú)理數(shù)》(用切割來(lái)構(gòu)造實(shí)數(shù))。
1873 年,麥克斯韋的《電磁通論》(電磁場(chǎng)理論和光的電磁理論,麥克斯韋方程);克利福德的雙四元數(shù);厄爾米特證明了“e”的超越性。
1874 年,康托發(fā)現(xiàn)有不同的無(wú)窮大量。
1877-1878 年,瑞利的《聲學(xué)》(現(xiàn)代聲學(xué)理論的奠基性著作)。
1878 年,康托提出連續(xù)統(tǒng)假設(shè)。
1881-1884 年,吉布斯的《向量分析原理》(向量計(jì)算的基本概念)。
1882 年,Lindemann 證明了“π”的超越性。
1884 年,弗雷格的《算術(shù)基礎(chǔ)》(奠定數(shù)學(xué)基礎(chǔ)的重要企圖)。
1887 年,約當(dāng)曲線定理。
1888 年,希爾伯特的有限基定理。1889 年,佩亞諾關(guān)于自然數(shù)的公設(shè)。
1890 年,龐加萊的《論三體問(wèn)題和動(dòng)力學(xué)方程》(動(dòng)力系統(tǒng)中混沌性態(tài)的第一個(gè)數(shù)學(xué)描述)。
1890-1905 年,Schroder 的《邏輯代數(shù)講義》(包括在現(xiàn)代格論中很重要的 Dualgruppe 概念)。
1895 年,龐加萊的“位置分析”(一般拓?fù)鋵W(xué)的第一個(gè)系統(tǒng)的陳述;代數(shù)拓?fù)鋵W(xué)基礎(chǔ))。
1895-1897 年,康托的《對(duì)建立超限數(shù)理論的貢獻(xiàn)》(超限基數(shù)理論的系統(tǒng)陳述)。
1896 年,弗羅貝尼烏斯建立了表示理論;阿達(dá)瑪和德?拉?瓦萊?布散證明了素?cái)?shù)定理;希爾伯特的《數(shù)域》(形成現(xiàn)代代數(shù)數(shù)論的主要著作)。
1897 年,第一次國(guó)際數(shù)學(xué)家大會(huì)在蘇黎世召開(kāi);亨澤爾引入了 p-進(jìn)數(shù)。
1899 年,希爾伯特的《幾何基礎(chǔ)》(歐幾里得幾何的嚴(yán)格的現(xiàn)代的公理化)。
1900 年,希爾伯特在巴黎召開(kāi)的第二次國(guó)際數(shù)學(xué)家大會(huì)上提出 23 個(gè)問(wèn)題。
1901 年,里奇和列維-奇維塔的《絕對(duì)微分學(xué)方法及其應(yīng)用》(張量計(jì)算)。
1902 年,勒貝格的《積分,長(zhǎng)度,面積》(勒貝格積分)。
1903 年,羅素悖論。
1904 年,策墨羅的選擇公理。
1905 年,愛(ài)因斯坦的狹義相對(duì)論發(fā)表。
1910-1913 年,羅素和懷德海的《數(shù)學(xué)原理》(避免了集合論悖論的數(shù)學(xué)基礎(chǔ))。
1914 年,豪斯多夫的《集合論基礎(chǔ)》(拓?fù)淇臻g)。
1915 年,愛(ài)因斯坦提交了給出廣義相對(duì)論的確定形式的文本。
1916 年,Bieberbach 猜想。
1917-1918 年,法圖和茹利亞集合(有理函數(shù)的迭代)。
1920 年,高木貞治存在定理(阿貝爾類(lèi)域論的主要奠基結(jié)果)。
1921 年,諾特的“環(huán)域的理想理論”(抽象環(huán)論發(fā)展的主要步驟)。
1923 年,維納提出了布朗運(yùn)動(dòng)的數(shù)學(xué)理論。
1924 年,柯朗和希爾伯特的《數(shù)學(xué)物理方法》(當(dāng)時(shí)已知的應(yīng)用與數(shù)學(xué)物理方法的主要總結(jié))。
1925 年,費(fèi)希爾的《研究工作者的統(tǒng)計(jì)方法》;海森堡的矩陣力學(xué)(量子力學(xué)的第一種陳述方法);外爾的特征標(biāo)公式(緊李群的表示的基本結(jié)果)。
1926 年,薛定諤的波動(dòng)力學(xué)(量子力學(xué)的第二種陳述方法)。
1927 年,Peter 和外爾的《閉連續(xù)群的初始表示的完備性》(現(xiàn)代調(diào)合分析的誕生);阿廷的廣義互反律。
1930 年,拉姆齊的《關(guān)于形式邏輯的一個(gè)問(wèn)題》。
1930-1931 年范德瓦爾登的《近世代數(shù)》(把近世代數(shù)革命化了,促進(jìn)了阿廷和諾特的途徑)。
1931 年,哥德?tīng)柕牟煌耆远ɡ怼?/p>
1932 年,巴拿赫的《線性運(yùn)算理論》(關(guān)于泛函分析的第一本專(zhuān)著)。
1933 年,科爾莫戈羅夫的概率論的公理。1935 年,布爾巴基誕生。
1937 年,圖靈的論文《論可計(jì)算數(shù)》(圖靈機(jī)理論)。
1938 年,哥德?tīng)栕C明連續(xù)統(tǒng)假設(shè)和選擇公理與 Zermelo-Fraenkel 的公理相容。
1939 年,布爾巴基的《數(shù)學(xué)原理》的第一卷問(wèn)世。
1943 年,Colossus 問(wèn)世(第一個(gè)可編程計(jì)算機(jī))。
1944 年,馮?諾依曼和摩根斯坦的《博弈論和經(jīng)濟(jì)行為》(博弈論的基礎(chǔ))。
1945 年,艾倫伯格和麥克萊恩定義了范疇的概念;艾倫伯格和斯廷羅德引入了同調(diào)理論的公理途徑。
1947 年,丹齊格發(fā)現(xiàn)了單純形算法。
1948 年,香農(nóng)的《通訊的數(shù)學(xué)理論》(信息論的基礎(chǔ))。
1949 年,韋伊猜測(cè);愛(ài)爾特希和塞爾貝格給出了素?cái)?shù)定理的初等證明。
1950 年,漢明的《偵錯(cuò)碼和糾錯(cuò)碼》(編碼理論的開(kāi)始)。
1955 年,羅特關(guān)于用有理數(shù)逼近代數(shù)數(shù)的定理。志村五郎和谷山豐的猜想。
1959-1970 年,格羅滕迪克在高等科學(xué)研究所工作的幾年中把代數(shù)幾何革命化了。
1963 年,阿蒂亞-辛格指標(biāo)定理;科恩證明了選擇公立獨(dú)立于 ZF,而連續(xù)統(tǒng)假設(shè)獨(dú)立于 ZFC。
1964 年,應(yīng)中平祐證明了奇異性消解定理。
1965 年,Birch-Swinnerton-Dyer 猜想發(fā)表;卡爾松定理得證。
1966 年,魯賓遜的《非標(biāo)準(zhǔn)分析》(深刻地重述了代數(shù)數(shù)論和表示理論的很大一部分)。
1966-1967 年,朗蘭茨引入了一些猜想,由此產(chǎn)生了朗蘭茨綱領(lǐng)。
1967 年,Gardner,Greene,Kruskal 和 Miura 給出了 KdV 方程的解析解。
1970 年,Matiyasevich 在 Davies,Putnam 和 Robinson 工作的基礎(chǔ)上證明了不存在解決一般丟番圖方程的算法,從而解決了希爾伯特第十問(wèn)題。
1971-1972 年,Cook,Karp 和 Levin 發(fā)展了 NP 完全性概念。
1974 年,Deligne 完成了韋伊猜想的證明。
1976 年,Appel 和 Haken 用一個(gè)計(jì)算機(jī)程序證明了四色定理。
1978 年,公鑰密碼的 RSA 算法;Brooks 和 Matelski 作出了曼德?tīng)柌剂_特集合的第一張圖像。
1981 年,宣布了有限單群的分類(lèi)定理。
1982 年,哈密頓引入了里奇流;瑟斯頓的幾何化猜想。
1983 年,法爾廷斯證明了莫德?tīng)柌孪搿?/p>
1984 年,De Branges 證明了 Bieberbach 猜想。
1985 年,Masser 和 Oesterle 提出了 ABC 猜想。
1989 年,Anosov 和 Bolibruch 否定地回答了黎曼-希爾伯特問(wèn)題。
1994 年,Shor 關(guān)于整數(shù)因數(shù)分解的量子算法;懷爾斯和泰勒 / 懷爾斯的兩篇論文證明了費(fèi)馬大定理。
2003 年,佩雷爾曼用里奇流證明了龐加萊猜想和瑟斯頓幾何化猜想。
2004 年,有限簡(jiǎn)單群的分類(lèi),一項(xiàng)涉及幾百位數(shù)學(xué)家,歷時(shí) 50 年的合作工作,已經(jīng)完成;Ben Green 和 Terence Tao(陶哲軒)證明了 Green - Tao 定理。
2007 年,一個(gè)遍布北美和歐洲的研究團(tuán)隊(duì)使用計(jì)算機(jī)網(wǎng)絡(luò)繪制 E_8。
2009 年,基本引理(朗蘭茲綱領(lǐng))由 Ng? bgobo Chau 證明。
2013 年,張益唐證明了質(zhì)數(shù)間隙的第一個(gè)有限界。
2014 年,F(xiàn)lyspeck 團(tuán)隊(duì)宣布完成了對(duì)開(kāi)普勒猜想的證明。
2015 年,Terence Tao 解決了埃爾德什差異問(wèn)題。
2015 年 ,László Babai 發(fā)現(xiàn)一種擬多項(xiàng)式復(fù)雜度算法可以解決圖同構(gòu)問(wèn)題。
2022 年,張益唐完了朗道-西格爾猜想的證明。
本文來(lái)自微信公眾號(hào):老胡說(shuō)科學(xué) (ID:LaohuSci),作者:我才是老胡
廣告聲明:文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接(包括不限于超鏈接、二維碼、口令等形式),用于傳遞更多信息,節(jié)省甄選時(shí)間,結(jié)果僅供參考,IT之家所有文章均包含本聲明。