本文為2021年10月22日丘成桐院士在東南大學(xué)劍雄學(xué)院揭牌暨數(shù)學(xué)學(xué)科創(chuàng)建百年慶典上的講話實錄，發(fā)表于《數(shù)學(xué)人文》（訂閱號：）未經(jīng)許可不得轉(zhuǎn)載。
今天我很榮幸能在東南大學(xué)吳健雄學(xué)院講幾句話。 一方面也紀念東南大學(xué)數(shù)學(xué)學(xué)科創(chuàng)建的百年歷史。 東南大學(xué)在中國學(xué)術(shù)界一直具有舉足輕重的地位。
1933年，曾向我的老師陳省身先生（1911-2004）傳授射影微分幾何的孫光遠教授（1900-1979）離開清華大學(xué)，到東南大學(xué)任教授。 我的兩個朋友程重慶教授和沉向陽教授都是東南大學(xué)本科生。 這表明東南大學(xué)在人才培養(yǎng)方面做出了重要貢獻。 但毫無疑問，在東南大學(xué)的校友中，吳健雄先生（1912-1997）是被永遠銘記的一位。
吳健雄
二十多年前，我在臺灣中央研究院開會時，總會見到吳健雄先生和她的丈夫袁家騮先生（1912-2003）。 在與她夫婦聊天時，我欽佩她的知識，尤其是她在實驗物理方面的工作。
袁家騮和吳健雄夫婦
1936年，她赴加州大學(xué)伯克利分校，師從物理學(xué)大師勞倫斯（1901-1958）。 我本人也在伯克利師從數(shù)學(xué)大師陳省身。 雖然那件事已經(jīng)過去了33年，但我們的交流仍然很有趣。
她一生在β衰變物理學(xué)方面做了許多重要的工作。 最杰出的工作是1956年，她帶領(lǐng)團隊在極低的溫度下利用強磁場極化鈷60原子核的自旋方向來觀察鈷60。 原子核β衰變所發(fā)射電子的發(fā)射方向。 她的團隊發(fā)現(xiàn)大多數(shù)電子以與鈷 60 原子核自旋相反的方向離開。 這證實了弱相互作用中宇稱不守恒，也驗證了李正道和楊振寧同年提出的假設(shè)。
這個實驗震驚了物理學(xué)界，李和楊獲得了諾貝爾獎。 但令人驚訝的是，她并沒有獲得諾貝爾獎。 對于此事，學(xué)界不少人都為她感到委屈。 不過，她擁有了當時物理學(xué)界給予學(xué)者的一切榮譽，此生應(yīng)該無悔。
吳建雄先生的工作主要集中在對自然的實驗觀察，特別是β衰變引起的各種現(xiàn)象。 這是西方文藝復(fù)興時期和古希臘時期重要的科學(xué)方法。 愛因斯坦（1879-1955）曾在給斯維策（JE）（1953，收錄于《愛因斯坦文集》（第一卷））的回信中說過：
“西方科學(xué)的發(fā)展基于兩項偉大成就：希臘哲學(xué)家發(fā)明了形式邏輯系統(tǒng)（歐幾里得幾何學(xué)），以及通過系統(tǒng)實驗發(fā)現(xiàn)因果關(guān)系的可能性（文藝復(fù)興時期）。 在我看來，中國圣賢沒有采取這些步驟并不奇怪。 但令人驚訝的是這些發(fā)現(xiàn)竟然存在?！?span style="display:none">6Bx物理好資源網(wǎng)(原物理ok網(wǎng))
愛因斯坦的意思是，數(shù)學(xué)推理方法加上上述實驗觀察是現(xiàn)代科學(xué)方法的基礎(chǔ)。 世人驚奇的是，宇宙是美麗而有序的，并且可以通過這些方法來理解。
觀察天象并利用可控實驗尋找展現(xiàn)自然真實本質(zhì)的數(shù)據(jù)，確實是現(xiàn)代科學(xué)的第一步。 但如何在大量的觀察和數(shù)據(jù)中找到關(guān)鍵點來解釋我們所看到的現(xiàn)象，是現(xiàn)象學(xué)物理學(xué)家的重點工作。 一般來說，一種新現(xiàn)象出現(xiàn)后，大量學(xué)者開始建立各種模型來模擬我們所看到的現(xiàn)象。
模型當然可以建立，但往往太多，而且大多數(shù)都經(jīng)不起時間的考驗。 如何判斷模型是否正確？ 一般來說，經(jīng)過時間檢驗的理論將會發(fā)揮重要作用。 因為這些理論在不同的地方都被證明是有效的，所以是可以信賴的。 如果新模型在這些理論面前站不住腳，那么一般來說這個模型就有問題了！
然而，一種理論——無論它多么美麗，其內(nèi)部結(jié)構(gòu)必須是一致的，不能產(chǎn)生矛盾，否則就無法解釋自然現(xiàn)象。 物理和工程的理論都是用數(shù)學(xué)來表達的，但物理學(xué)家和工程師經(jīng)常直觀地使用數(shù)學(xué)工具。 在很多細節(jié)上，他們沒有注意到數(shù)學(xué)上的微妙變化比他們想象的還要復(fù)雜。 。 他們一開始認為是完美的理論，當他們深入研究時可能會充滿缺陷。
一般來說，物理學(xué)家和工程師希望看到他們的理論迅速得到應(yīng)用，就會突飛猛進，而不注意他們推理的嚴謹性。 數(shù)學(xué)家的嚴謹態(tài)度對科學(xué)理論和模型有很大幫助。 在眾多可能的模型中，只有數(shù)學(xué)上兼容的模型才能生存。 當經(jīng)典力學(xué)推向量子力學(xué)時，經(jīng)常會出現(xiàn)數(shù)學(xué)上的不相容性，物理學(xué)家稱之為異?，F(xiàn)象（）。 這種異常幫助我們選擇模型的正確性，在弦理論中，幫助我們選擇規(guī)范群和時空維度。
無論如何，物理學(xué)家堅持認為正確的物理理論必須經(jīng)過實驗驗證才能被認為是成功的。 這是一個非常正確的觀點。 自然界的現(xiàn)象太復(fù)雜了，所以理論漸近地模擬了這些復(fù)雜的現(xiàn)象，所以重復(fù)的實驗是驗證理論的必要過程。
物理理論常常會推導(dǎo)出一些有趣的數(shù)學(xué)公式，甚至為數(shù)學(xué)家找到一些數(shù)學(xué)問題的答案。 然而，物理學(xué)家使用的工具從數(shù)學(xué)角度來看往往并不嚴格，例如量子場論，其數(shù)學(xué)結(jié)構(gòu)本身仍然是一個謎。 然而，從量子場論中得到的數(shù)學(xué)結(jié)論可能只是數(shù)學(xué)家的夢想。
在弦理論中，大約三十年前，我的一位博士后布萊恩·格林（Brian）和我的朋友坎德拉斯（）等人在所謂的丘流形（-Yau流形）中引入了鏡像對稱性。 ( )的概念震驚了我們的幾何數(shù)學(xué)家！ 當他們與我討論這個想法時，我認為這種鏡像對稱不太可能存在。 但當他們用這個概念解決數(shù)學(xué)上的一個世紀難題時，我不禁對他們表示敬佩。
這個問題可以解釋如下?？紤]一個方程
我們正在尋找有理函數(shù)
滿足上式。 該解稱為有理曲線。 每條有理曲線都有一個度 ()。當度
當時，一百多年前，德國數(shù)學(xué)家舒伯特（1848-1911）計算出了2875條滿足上述五階多項式方程的有理曲線。
我的朋友卡茨大約四十年前就得到了答案。 度數(shù)越大，計算就越困難。 沒有找到通用答案的好方法。 但通過鏡像對稱的方法，可以找到一個美麗的公式，它可以解答所有程度的問題。
1990 年，我在伯克利主持了一次匯聚了數(shù)學(xué)家和物理學(xué)家的會議。 數(shù)學(xué)家和物理學(xué)家為了這個公式發(fā)生了爭吵！ 為什么？ 當時，兩位挪威數(shù)學(xué)家通過嚴格的數(shù)學(xué)論證得出結(jié)論，次數(shù)等于3的有理曲線有條形，但上述物理學(xué)家得到的答案是條形。
這個矛盾引起了激烈的爭論，數(shù)學(xué)家們很不服氣，因為物理學(xué)家的推論并不嚴格，但物理學(xué)家卻找不到他們推論中的錯誤。 三個月后，事情終于得到解決：兩名挪威學(xué)者在計算時使用了計算機程序，過程中出現(xiàn)了錯誤。 錯誤被糾正后，結(jié)果與物理學(xué)家的答案一致，大家都松了口氣。 語氣。 從那時起，數(shù)學(xué)家們對弦理論有了新的認識！ 一大批杰出的數(shù)學(xué)家加入了這一領(lǐng)域的研究，為物理學(xué)家在弦理論方面做出了深入的貢獻。
從這個時候開始。 理論物理學(xué)家和數(shù)學(xué)家的合作進入了一個新時代。 數(shù)學(xué)家利用幾十年來發(fā)展的知識來推廣物理學(xué)家的方法并獲得許多重要的結(jié)果。
然而，對于數(shù)學(xué)家來說，量子場論產(chǎn)生的理論總是如霧里看花，不敢太相信。 有很多事情物理學(xué)家認為是顯而易見的，但數(shù)學(xué)家需要重新定義它們才能理解其內(nèi)容。 。 從弦理論中獲得的物理直覺可以通過量子場論推導(dǎo)出許多重要的數(shù)學(xué)公式。 數(shù)學(xué)家們很羨慕，因為這些公式解決了他們幾個世紀以來的問題。 但包括物理學(xué)家在內(nèi)，沒有人認為這些公式已經(jīng)被證明。 我們有一種非常奇怪的感覺，我們正在由弦理論家領(lǐng)導(dǎo)來解決一些重要的核心數(shù)學(xué)問題！ 即使現(xiàn)在，我們?nèi)匀挥羞@樣的感覺。
1995年至1996年間，伯克利的（）和連文浩-劉克峰-I三人小組用純數(shù)學(xué)方法驗證了坎德拉斯公式，我們松了口氣。
我們終于有了一個經(jīng)過嚴格證明的數(shù)學(xué)定理，而且證明過程并沒有使用物理學(xué)中的量子場論。 這是一件值得慶祝的事情，為什么呢？ 除了用數(shù)學(xué)方法嚴格解決一個百年難題之外，我們還證明了從弦理論直觀得到的結(jié)果是正確的。
我們知道，到目前為止，弦理論還沒有實驗證明其正確性，但由它推導(dǎo)出來的數(shù)學(xué)公式已經(jīng)被嚴格證明。 事實上，弦理論不僅引出了重要的數(shù)學(xué)公式，而且創(chuàng)造了許多深入的數(shù)學(xué)方向，整合了不同的數(shù)學(xué)分支。 而這些新的數(shù)學(xué)已經(jīng)成為研究物理的重要工具！
當然，要充分證明弦理論是自然基礎(chǔ)理論的一部分，仍然極其需要實驗和觀察。 但我們堅信，優(yōu)美、簡潔、深刻的數(shù)學(xué)理論一定是大自然的一部分。
我自己的看法是：
簡單而美麗的數(shù)學(xué)，是大自然展現(xiàn)給人類最美的部分！ 素數(shù)、虛數(shù)、幾何圖形、基波、美麗的組合，誰說這些不是大自然的一部分？
我們越來越意識到這些聽起來抽象的概念，也越來越意識到它們無處不在！
我們來談?wù)剬ΨQ的概念。 最簡單的一種是鏡像對稱。 每個人照鏡子的時候都會有這樣的感覺。 任何有文化的國家都知道這種對稱性。 古代中國有，古埃及有，古巴比倫有，古印度有，古希臘有物理學(xué)家修真，古波斯有。 這種對稱性是如此明顯，以至于當物理學(xué)家發(fā)現(xiàn)它并沒有表現(xiàn)在弱力的β衰變過程中時，他們感到非常驚訝！
對稱思想一直是貫徹數(shù)學(xué)中心思想的重要概念。 這似乎是顯而易見的，但它真正發(fā)展成為數(shù)學(xué)中的重要工具始于 19 世紀初期的伽羅瓦理論。 伽羅瓦（é，1811-1832）使用置換群解釋了用根式求解一個變量的多項式方程的充要條件。
伽羅瓦
事實上，自從意大利人塔爾塔利亞（ò，1500-1557）發(fā)現(xiàn)三次方程的根式解公式（又稱卡爾達諾公式）以來，大家都認為所有方程都有根式解。 伽羅瓦為每個多項式引入了一個群（伽羅瓦群），他證明了多項式方程有根式解的充要條件是該群可解（）。 對于一般大于五次的多項式方程，該群是不可解的。 因此伽羅瓦得出結(jié)論，當次數(shù)大于五時，一般多項式方程沒有根式解。
將問題轉(zhuǎn)化為群問題是現(xiàn)代物理學(xué)家常用的方法。 1854 年凱萊（，1821-1895）和 1856 年戴德金（，1831-1916）定義了抽象有限群。 從那時起，我們就看到了各種各樣的對稱現(xiàn)象。
經(jīng)過150多年的努力，數(shù)學(xué)家終于得到了有限群的分類結(jié)果，基本了解了有限群的內(nèi)部結(jié)構(gòu)。 最基本的組是簡單組。 除了少數(shù)“經(jīng)典簡單群”外，簡單群的數(shù)量有限。 它們極其復(fù)雜，但又極其美麗。 有很多群理論家參與這項工作，其中之一是密歇根大學(xué)的格蕾絲（路易斯），她是我的朋友。 1980年，當他宣布第一個重要成果時，他正在普林斯頓高等研究院。當時我也在普林斯頓高等研究院，這令人興奮！
這個群最初被稱為“群”，但是當1982年論文發(fā)表時，它被更名為“巨人”。這個群的元素數(shù)量大約是
，太陽系中的原子數(shù)量約為
。 如果使用矩陣變換來表示，則需要一維空間。
后來，博爾切茲（）發(fā)現(xiàn)了幻群、模函數(shù)和弦論之間的關(guān)系。 對稱的概念不再只是一種普遍的感覺。 其背后有深刻的數(shù)學(xué)理論。
這些抽象的有限群如何在具體的物理現(xiàn)象中表現(xiàn)出來，稱為群表示論。 我們還沒有理解有限群的所有表示論，但是獲得的結(jié)果是豐富的。 有限群在數(shù)論、幾何、經(jīng)典力學(xué)和量子力學(xué)中發(fā)揮著重要作用。 我們看到的對稱性不再是簡單的交換對稱性，它比鏡像對稱的概念要復(fù)雜得多。
事實上，中國人引以為傲的《易經(jīng)》使用了大量對稱概念，但與普通有限群的結(jié)構(gòu)相比，卻簡單得多。 再加上深入的群表示理論，我們可以梳理復(fù)雜的自然和數(shù)學(xué)現(xiàn)象，得到許多令人驚奇而美麗的定理。
19世紀中葉，數(shù)學(xué)家引入了另一個劃時代的工具——連續(xù)群。 為了紀念它的創(chuàng)始人挪威數(shù)學(xué)家索菲斯·李（Lie，1842-1899），我們將其稱為李群。 李是一位幾何學(xué)家，而李群本身就是一個微分流形。 它被提出后，很快被數(shù)學(xué)家們發(fā)展起來。 同時期的重要學(xué)者還有基林（1847-1923）、菲利克斯·克萊因（1849-1925）等人。 與有限群相比，連續(xù)對稱群對于幾何和物理現(xiàn)象更為重要。 因為在研究連續(xù)對稱時，可以引入大量的微積分工具！
1872年，克萊因在德國（）公布了“埃爾蘭根綱領(lǐng)”，利用連續(xù)群的對稱性對幾何進行分類，影響了二十世紀幾何學(xué)的發(fā)展。 克萊因還引入了離散群的概念。 在龐加萊（Jules Henrié，1854-1912）的幫助下，離散群成為幾何學(xué)中描述幾何結(jié)構(gòu)內(nèi)部對稱性的又一工具，也為數(shù)論學(xué)家提供了重要的方法。
緊連續(xù)群的結(jié)構(gòu)理論最終由嘉當（élie，1869-1951）領(lǐng)導(dǎo)的一批數(shù)學(xué)家在二十世紀初完成，其表示論則由偉大的數(shù)學(xué)家韋爾（Weyl，1885-1955）完成。 ，從而成為二十世紀最重要的數(shù)學(xué)工具——數(shù)論、幾何和物理學(xué)都以這些知識為主要研究工具。
與克萊因的埃爾蘭根綱領(lǐng)類似，現(xiàn)代理論物理學(xué)是按李群分類的。 連續(xù)群很早就起源于物理學(xué)，由德國女數(shù)學(xué)家諾特完成（艾美獎，1882-1935）。 物理學(xué)家常說，對稱性的概念是愛因斯坦在研究廣義相對論時引入的。 這種說法與事實相去甚遠！ 廣義相對論（）的工作原理完全是由希爾伯特（大衛(wèi)，1862-1943）引入的，與愛因斯坦無關(guān)！ 但希爾伯特卻受到了諾特的影響！ 1915 年，她正在考慮連續(xù)對稱性如何生成物理運動方程。 諾特的文章發(fā)表于1918年，成為一百年來理論物理學(xué)家研究場方程的主要工具。
諾特
自從諾特的工作以來，物理學(xué)家迷信地認為所有自然現(xiàn)象都必須具有基本對稱性。 事實上，諾特的理論需要連續(xù)對稱群的作用，但沒有考慮離散群的作用。 所以從數(shù)學(xué)的角度來看，弱力沒有必要遵守宇稱守恒定律。 一個有趣的問題是，為什么強力遵守宇稱守恒定律？
事實上，直到20世紀60年代末，高能物理所使用的數(shù)學(xué)工具仍然是微擾法：改變某些已知解附近的某些參數(shù)，看看解如何變化。 這種精神起源于數(shù)學(xué)的變分法，以歐拉（Euler，1707-1783）和拉格朗日（，1736-1813）為主要創(chuàng)始人。 拉格朗日分析方法至今仍在使用。 當物理宏觀環(huán)境尚不明確時，攝動方法仍是主要工具。 一般來說，擾動中使用的物理對稱群是連續(xù)群。 20世紀50年代之前的物理學(xué)，主要工具是微擾法，主要是諾特流（ flow）。 在這個框架中，有限對稱群的出現(xiàn)不一定是自然的。
另一方面，更大的對稱性思想源自經(jīng)典力學(xué)和電磁學(xué)。 拉格朗日在研究力學(xué)時引入了極其重要的勢（勢）概念，而拉普拉斯（-西蒙，1749-1827）則利用引力場的勢寫下了牛頓引力方程。 拉普拉斯方程影響了數(shù)學(xué)近三百年。 例如，廣義相對論中的愛因斯坦方程就是在牛頓方程的基礎(chǔ)上構(gòu)建的，并添加了狹義相對論和等效原理。 但潛力并不是唯一的，并且可以相差一個常數(shù)。
19世紀，電磁學(xué)成為物理學(xué)的一個重大問題。 麥克斯韋（詹姆斯·克拉克，1831-1879）通過法拉第（1791-1867）等人的著名實驗，完善了高斯和黎曼的概念，得到了麥克斯韋方程組。 。 電和磁都有勢，相位差是函數(shù)。 這就是規(guī)范概念的雛形。
同一時期，黎曼（1826-1866）開始提出黎曼幾何的概念。 該幾何圖形背后的對稱群是通過所有坐標變換獲得的。 這種觀點可視為物理學(xué)的等效原理。 這一事實成為愛因斯坦廣義相對論的基礎(chǔ)。
愛因斯坦方程 1915年愛因斯坦成功完成廣義相對論方程之后，他希望將所有物質(zhì)置于廣義相對論的框架內(nèi)。 許多幾何學(xué)家參與了這項工作，其中列維-奇維塔（Levi-，1873-1941）是其中重要的一位。 他推廣了黎曼幾何中平行運動的概念，并允許扭轉(zhuǎn)（）。
基本上，從幾何角度來看，他已經(jīng)向通用規(guī)范場邁出了一步。 1918年，外爾在其著作《空間、時間、物質(zhì)》（Raum，Zeit，）中正式引入了規(guī)范場的概念，但他的規(guī)范群是正實數(shù)群。 愛因斯坦非常喜歡他的建議，但他也指出，這個群使得平行移動時長度無法保證，不符合物理學(xué)的要求。
量子力學(xué)誕生后，倫敦（Fritz，1900-1954）等人于1926年將規(guī)范群改為圓形。長度得到了保證，韋爾由此推導(dǎo)出麥克斯韋方程組。 韋爾聲稱規(guī)范場與重力沒有直接關(guān)系，但卻是物質(zhì)世界的主宰。 具有物理意義的量必須是規(guī)范不變量。 因此，他建立了管理各種物理力的規(guī)范理論。 由于當時發(fā)現(xiàn)的粒子不多，因此沒有必要將規(guī)范群推廣到非交換的情況。
從幾何的角度來看，嘉當早在1926年就開始了非交換群規(guī)范場論的研究，他的學(xué)生查爾斯·埃雷斯曼（ ，1905-1979）和陳省身將這些理論發(fā)揚光大。 當規(guī)范群是酉群時，陳省身定義了影響現(xiàn)代幾何和物理學(xué)的聲明類（Chern，1946）。
埃雷斯曼·外爾-嘉當( Weyl-)的規(guī)范場理論被用于所謂的同位旋( )理論上。 然而，直到十幾年后，經(jīng)過一群物理學(xué)家提出了對稱破缺（）、重正化（）等幾個重要理論后，這些經(jīng)典理論才成為我們現(xiàn)在看到的標準模型。
泡利和吳健雄
標準模型凝聚了一大群物理學(xué)家、數(shù)學(xué)家數(shù)百年的智慧，可以說是人類的瑰寶。
標準規(guī)范場的對稱群就是規(guī)范群，它像廣義相對論一樣是無限維的，但與李群密切相關(guān)。 直到 20 世紀 90 年代，物理學(xué)家還假設(shè)李群是相連的物理學(xué)家修真，并沒有考慮李群的離散部分。
當物理學(xué)家發(fā)現(xiàn)非微擾宏觀物理時，他們很快就發(fā)現(xiàn)了規(guī)范群離散部分的重要性。 當然，宏觀幾何和拓撲開始大規(guī)模進入非微擾物理學(xué)。 物理學(xué)中存在三種重要的離散對稱性（不是從連續(xù)群導(dǎo)出的）：
電荷共軛對稱性或C對稱性（ ），與物質(zhì)和反物質(zhì)的對稱性有關(guān)；
宇稱或 P 對稱性 ( )，空間離散對稱性；
時間反演對稱性或T對稱性（時間），時間離散對稱性。
當它們放在一起時，可以證明一般量子場論中的守恒性 - 稱為 CPT 定理。
李、楊的著名著作指出，宇稱不守恒可能會產(chǎn)生某種物理現(xiàn)象。 他們建議的實驗是由吳健雄領(lǐng)導(dǎo)的一個小組完成的。 但直到今天，物理學(xué)家仍然無法解釋為什么宇稱在弱相互作用中不守恒，而在強相互作用中卻守恒。
近年來，物理學(xué)家考慮了另外兩種重要的離散對稱性：
費米性質(zhì)對稱性 (
), 區(qū)分玻色子 ((+1)) 和費米子 ((-1))
-結(jié)構(gòu)。
BL對稱性，重子數(shù)()減去輕子數(shù)()也可以具有離散對稱性（從U(1)分解為
）。
這些對稱性有不同的組合，可以形成相對較大的動作群。 它們在非微擾量子物理中發(fā)揮著重要作用，并與宏觀幾何相結(jié)合。 預(yù)計流行了五十年的基礎(chǔ)物理標準模型將會有新的突破！ 我在哈佛大學(xué)的博士后Juven Wang正在朝這個方向進行探索，并取得了一些成果。
標準模型方程
數(shù)學(xué)是所有學(xué)科中最嚴謹?shù)模仨氂胸S富的內(nèi)容才能成為一門有趣的學(xué)科。 它還描述了自然，所以必須要做實驗！ 要做實驗，你需要儀器。
如果你問數(shù)學(xué)家做了什么實驗，古希臘數(shù)學(xué)家喜歡用圓規(guī)和尺子來畫幾何圖形。 事實上，平面幾何中的一個重要問題就是研究哪些幾何圖形可以用圓規(guī)和尺子構(gòu)造出來。 這個問題困擾了學(xué)者近兩千多年，直到十九世紀初才得到徹底解決。 在這一探索過程中，代數(shù)和群論得到了極大的發(fā)展，可以說是儀器儀表影響理論科學(xué)的第一個重要例子。
至于古代數(shù)學(xué)中最常見的工具，大概是紙和筆，其次是黑板和粉筆。 當然，很多人也會提到算盤。 事實上，數(shù)學(xué)家很少使用算盤。 一般來說，能用算盤算的數(shù)學(xué)，也能用筆算。 同時，你可以通過書面計算對數(shù)字有更深入的了解。 歐拉、卡爾·高斯（1777-1855）、黎曼等偉大的數(shù)學(xué)家都是通過大量的書面計算發(fā)現(xiàn)了重要的定理。 歐拉和高斯甚至發(fā)明了各種快速算法，奠定了現(xiàn)代計算科學(xué)的基礎(chǔ)。
到了20世紀，許多復(fù)雜的自然現(xiàn)象，例如湍流、天氣預(yù)報等，已經(jīng)無法使用筆計算以期望的精度進行計算，因此數(shù)學(xué)家開始使用計算機進行大規(guī)模計算。 第一臺重要的大型計算機在第二次世界大戰(zhàn)期間用于原子彈的研制。 電腦很大。 據(jù)說IBM的崛起與這款計算機有關(guān)。
80多年前的計算機的指令周期和存儲容量遠遠不如我們今天擁有的智能手機。 除了解方程之外，計算機還廣泛應(yīng)用于其他學(xué)科，甚至被用來證明數(shù)學(xué)定理。 圖論中四色問題的解決就是一個突出的例子。 這是一個著名的組合問題，其證明依賴于機器。 直到今天，數(shù)學(xué)家們?nèi)匀粚Υ烁械綋?dān)憂，希望找到不依賴機器的證明。 造成這種情況的原因當然有很多，其中之一就是計算機計算程序可能存在錯誤。 這種現(xiàn)象在計算方程的解時尤其明顯。 畢竟機器只能存儲有限數(shù)量的數(shù)字，因此錯誤是不可避免的。 經(jīng)過數(shù)十億次乘法和除法運算后，錯誤會累積并變得越來越大，從而導(dǎo)致錯誤的答案。 也就是說，即使計算機顯示的數(shù)字是收斂的，但得到的答案并不意味著它是正確的。 這是一個嚴重的問題，并催生了一門稱為數(shù)值分析的學(xué)科，該學(xué)科研究最終答案中的錯誤。 該分析的有效性基于對方程本身的透徹理解。 無論如何，電子計算機已經(jīng)成為科學(xué)家最重要的工具，尤其是在無法進行實驗的情況下。
現(xiàn)代計算機的基本原理是由英國數(shù)學(xué)家艾倫·圖靈（1912-1954）發(fā)明的。 圖靈一直說“我們想要的是一臺能夠從經(jīng)驗中學(xué)習(xí)的機器”，“讓機器改變自己的指令的可能性為此提供了一種機制”。 他在1936年提出了存儲程序的概念（-），后來大家把這臺機器稱為“通用圖靈機”（下）。 他還表示，希望打造一個像人腦一樣運作的人造大腦，而不僅僅是知道如何計算； 他對生成大腦活動模型的可能性比對計算的實際應(yīng)用更感興趣。 可見圖靈很早就注意到了人工智能。
從1938年到1939年，英國工程師托馬斯·弗勞爾斯（ ，1905-1998）開始使用真空管來傳輸數(shù)字數(shù)據(jù)，美國人約翰·阿塔納索夫（John ，1903-1995）也開始使用真空管做簡單的事情。 計算。 戰(zhàn)后，英國人馬克斯·諾伊曼（Max，1897-1984）在曼徹斯特大學(xué)建立了英國皇家學(xué)會計算實驗室（Royal）。 他與圖靈以及美國人約翰·馮·諾依曼（1903-1957）都有密切的交流。 美國第一臺計算機出現(xiàn)在賓夕法尼亞大學(xué)摩爾電氣工程學(xué)院，與陸軍有關(guān)。
摩爾電氣工程學(xué)院操作 ENIAC 主控制面板的程序員
