數(shù)學已經(jīng)與物理科學的發(fā)展密不可分。然而數(shù)學作為一門獨立的學科還有其自身的目標。魏斯特拉斯、康托、布爾、圖靈、哥德爾和所有其他數(shù)學家的工作都是建立在可遠朔到古巴比倫人和希臘人的先哲成就的基礎(chǔ)之上,而他們的工作本身又滋養(yǎng)了當代學者們所發(fā)展的新理論。
從歐幾里得幾何到牛頓的微積分、拉普拉斯的概率論和布爾代數(shù),這部出色的數(shù)學經(jīng)典通過原汁原味的數(shù)學論證與結(jié)果,使讀者得以窺探天才的心靈。本書同時描繪了一幅數(shù)學進化的圖像幫助讀者深刻理解當代技術(shù)的真正基礎(chǔ)。
霍金指出:如果說古代世界創(chuàng)造了物化的奇跡(例如金字塔),那么現(xiàn)代世界的奇跡則是智力的創(chuàng)造。本書以一卷之簡,薈萃了*光輝的心智成果,論述了這些杰作的影響和帶來的沖擊。
霍金為每一位入選的數(shù)學家撰寫了傳記, 這些傳記不僅介紹了數(shù)學家的生平, 更重要的是包含了對相關(guān)著作的影響和意義的獨到而精辟的分析。在多數(shù)文獻中, 霍金加了大量評注, 這些評注或詮釋疑難, 或闡幽發(fā)微,對讀者閱讀理解艱深的原文大有啟迪。
l 我們認識世界的方式的變革總是與數(shù)學思想的變革攜手并進。閱讀數(shù)學家特別是數(shù)學大師們的原始著述, 是了解整個人類文明史和思想史的重要的、不可或缺的途徑。這部巨型文集追溯了2500 年間17 位數(shù)學家31 篇里程碑式的著作.
l 選擇的權(quán)重放在引起思想變革的突破性發(fā)展上, 因而使本書在描繪數(shù)學進化圖像的同時, 展開了一幅人類思想變革的歷史畫卷。
l 霍金為每一位入選的數(shù)學家撰寫了傳記, 加插了大量評注。
大師選大師, 名家釋名家. 一卷在握, 眾星在手. 讀讀大師, 走近數(shù)學, 走向科學!
l
對于廣大的科學愛好者來說, 本書是值得珍藏的數(shù)學青花瓷, 一篇篇原汁原味的數(shù)學原著, 會帶給你鑒賞藝術(shù)珍品一般的享受。
引 言
我們很幸運生活在一個繼續(xù)發(fā)現(xiàn)的時代。就像發(fā)現(xiàn)
美洲新大陸一樣你只能發(fā)現(xiàn)一次。我們是生活
在一個發(fā)現(xiàn)自然基本定律的時代。
美國物理學家 理查·費曼
1964年
本書摘選了數(shù)學史上最重要的31部典范之作,它們匯成了對那些推進人類認識世界并為現(xiàn)代科學技術(shù)開山鋪路的數(shù)學家們的贊歌。
許多世紀以來,數(shù)學家們的努力幫助人類達到對自然的偉大洞察,諸如認識到地球是圓的、使蘋果落地和使重物運動的是同一種力、空間是有限的和非永恒的、時空相互聯(lián)系并因物質(zhì)和能量而彎曲,以及未來只能或然地確定。我們認識世界的方式的變革總是與數(shù)學思想的變革攜手并進。沒有笛卡兒的解析幾何和他本人發(fā)明的微積分,牛頓決不可能建立其力學定律;沒有福里葉的方法和由高斯、柯西引領(lǐng)的微積分和復變函數(shù)論研究,很難想象電動力學和量子理論的發(fā)展正是勒貝格的測度理論使馮諾依曼得以奠定量子力學的嚴格基礎(chǔ);同樣,不借助黎曼的幾何思想,愛因斯坦也不可能完成他的廣義相對論;而事實上,如果沒有拉普拉斯的概率統(tǒng)計概念,整個近代科學就不可能如此影響巨大(如果確有影響的話)。
迄今還沒有哪一種智力探索比數(shù)學研究對物理科學更為重要。然而數(shù)學不僅僅是科學的工具和語言。數(shù)學還有它自身的目的,長期以來,數(shù)學一直影響著我們的世界觀。魏斯特拉斯提出了嶄新的函數(shù)連續(xù)性概念;康托的工作革新了人們對無限的認識;布爾的《思維規(guī)律》揭示了邏輯作為一種程序系統(tǒng)服從與代數(shù)相同的規(guī)律,從而闡明了思維的本質(zhì),最終能夠在一定程度上實現(xiàn)思維的機械化,即現(xiàn)代數(shù)字計算機的誕生。早在有可能在計算機上進行熟練的計算之前很久,圖靈就闡明了數(shù)值計算的威力和局限哥德爾證明了一條使許多哲學家和所有其他相信絕對真理的人大感困惑的定理:任何一個足夠復雜的邏輯系統(tǒng)(例如算術(shù))一定存在一個既不能證明也不能證偽的命題。更糟糕的是,他同時還證明了:一個系統(tǒng)在邏輯上是否相容的問題不可能由該系統(tǒng)本身獲得證明。
這部引人入勝的文集展示了所有這類突破性的發(fā)展、25個世紀來數(shù)學的核心思想,通過原始文獻來追蹤古往今來數(shù)學思想的進化與變革。
本書選載的第一篇文獻是公元前300年左右歐幾里得的著作,不過早在公元前3500年以前埃及人和巴比倫人就已經(jīng)發(fā)展了令人印象深刻的數(shù)學計算能力。埃及人運用這種技能建造了偉大的金字塔并實現(xiàn)了其它令人驚異的目標,然而埃及人的計算缺乏某種后來被認為對數(shù)學來說至關(guān)重要的品質(zhì),即嚴格性。例如,古代埃及人將一個圓的面積等同于一個邊長為其直徑的8/9的正方形的面積。這一方法相當于取數(shù)學常數(shù)的值為256/81。一方面,這是了不起的,因為它與精確值的誤差還不到百分之零點五。但另一方面,這一結(jié)果是完全錯誤的。為什么要在乎百分之零點五的誤差呢?因為埃及人的近似值忽視了的真值的一個深刻而基本的性質(zhì):它根本不可能寫成人和分數(shù)的形式。這是一個原則問題,與任何純粹的數(shù)量精確性問題無關(guān)。的無理性直到19世紀后半葉才被證明,早期希臘人確實發(fā)現(xiàn)了不能用分數(shù)表示的數(shù),這使他們感到困惑和震驚。希臘人的高明之處是在于:他們認識到數(shù)學中原則的重要性,認識到數(shù)學本質(zhì)上是一門從一套概念和法則出發(fā)、嚴格地推導出精確結(jié)果的學科。
公元前300年左右,亞歷山大城歐幾里得的《原本》集希臘幾何知識之大成。在隨后幾個世紀里,希臘人在幾何與代數(shù)兩個領(lǐng)域里都作出了重大的推進。阿基米德可謂古代世界最偉大的數(shù)學家,他深入研究幾何圖形的性質(zhì)并創(chuàng)造了求面積和體積以及計算新的近似值的天才方法。另一位亞歷山大數(shù)學家丟番圖考察了代數(shù)問題中文字和數(shù)字混雜的情況,指出抽象可以使數(shù)學極大地簡化。因此丟番圖應該是在代數(shù)中引進符號的第一人。一千多年以后,法國人笛卡兒將代數(shù)與幾何兩大領(lǐng)域結(jié)合起來而開創(chuàng)了解析幾何。笛卡兒的工作為牛頓發(fā)明微積分鋪平了道路,微積分與解析幾何共同標志著科學研究的嶄新方法。自牛頓時代以來,數(shù)學創(chuàng)新的步伐始終激動人心,數(shù)學的基礎(chǔ)學科代數(shù)、幾何與微積分(或函數(shù)理論)相互滲透、相互滋養(yǎng),并引發(fā)在諸如概率論、數(shù)論和熱的理論等各種不同領(lǐng)域的深入應用。隨著數(shù)學的成熟,它所提出的問題也越來越深刻:本書選錄的最后兩位思想家哥德爾和圖靈也許提出了最深刻的問題什么是可知?數(shù)學的未來發(fā)展將一如既往,肯定會(直接或間接地)影響我們的生活方式和思維方式。古代世界創(chuàng)造了物化的奇跡,例如埃及的金字塔。而正如本書所闡明的,現(xiàn)代世界的奇跡則是我們自身的理解力。
史蒂芬·霍金(1942-2018)當代最著名的科學家。他以暢銷書《時間簡史》、《果殼中的宇宙》等而聞名環(huán)宇。媒體將他譽為當今世界最智慧的人和愛因斯坦,牛頓和伽利略的科學傳人。
目錄:
致謝/
譯者序/
引言/
歐幾里得(約前325前265)
生平和成果/1
《原本》節(jié)選/6
幾何基礎(chǔ)定義、公設(shè)、公理及命題47 (勾股定理推導) /6
歐多克索斯的比例論定義和命題/24
數(shù)論原理定義和命題/68
命題20: 無限的素數(shù)搖命題36: 偶完全數(shù)/109
搖可公度量和不可公度量/112
阿基米德(前287前212)
搖生平和成果/127
《阿基米德著作》節(jié)選/133
論球和圓柱玉/133
論球和圓柱域/171
圓的度量/198
沙粒的計算/205
解決力學問題的方法致厄拉多塞/215
丟番圖(公元3 世紀)
生平和成果/246
《亞歷山大的丟番圖, 希臘代數(shù)史研究》節(jié)選/252
問題835/252
問題521/261
問題129/270
勒內(nèi)·笛卡兒(15961650)
生平和成果/306
《勒內(nèi)·笛卡兒的幾何》/313
伊薩克·牛頓(16421727)
生平和成果/394
《原理》節(jié)選/402
論物體的運動/402
皮埃爾·西蒙·拉普拉斯(17491827)
生平和成果/410
《概率的哲學探討》/417
讓·巴普蒂斯·約瑟夫·傅里葉(17681830)
生平和成果/507
《熱的解析理論》節(jié)選/515
無界矩形固體中的熱傳導(傅里葉級數(shù)) /515
卡爾·弗里德利赫·高斯(17771855)
生平和成果/576
《算術(shù)研究》節(jié)選/584
冪剩余/584
二次同余/607
奧古斯丁·路易·柯西(17891857)
生平和成果/643
《奧古斯丁·柯西全集》節(jié)選/651
微分/651
積分/657
喬治·布爾(18151864)
搖生平和成果/672
《思維規(guī)律研究》/679
伯恩哈德·黎曼(18261866)
生平和成果/802
《論函數(shù)的三角級數(shù)表示》/814
《關(guān)于幾何基礎(chǔ)中的假設(shè)》/851
《論不大于一個給定值的素數(shù)的個數(shù)》/860
卡爾·魏爾斯特拉斯(18151897)
生平和成果/869
《函數(shù)論》/875
一致連續(xù)性/875
理查德·居理斯·威爾姆·戴德金(18311916)
生平和成果/882
《數(shù)論文集》/887
第一版前言/887
第二版前言/891
《連續(xù)性與無理數(shù)》/892
《數(shù)的性質(zhì)與意義》/904
喬治·康托爾(18451918)
生平和成果/943
《創(chuàng)建超限數(shù)理論的貢獻》節(jié)選/949
亨利·勒貝格(18751941)
生平和成果/1014
《積分、長度、面積》節(jié)選/1019
庫爾特·哥德爾(19061978)
生平和成果/1058
《關(guān)于數(shù)學基本原理及相關(guān)體系的形式不可判定命題》/1067
艾倫·圖靈(19121954)
生平和成果/1091
《可計算實數(shù)及其在判定問題上的應用》/1098