路德維希·埃格伯特斯·揚·布勞威爾（Luitzen Egbertus Jan Brouwer，1881年2月27日至1966年12月2日），通常被引用為L.E.J.布勞威爾，荷蘭數學家和哲學家，被認為是20世紀最偉大的數學家之一，尤其在拓撲學、集合論、測度論和復分析領域有著杰出的貢獻。布勞威爾是現代拓撲學的奠基人，特別是因為他建立了不動點定理和維度的拓撲不變性。他還是直覺主義哲學的重要人物，這是一種認為數學是一種認知構造，而不是客觀真理的一種類型的建構主義數學學派。布勞威爾的觀點引發了與形式主義數學家戴維·希爾伯特的辯論，即著名的布勞威爾-希爾伯特爭論。
人物經歷
布勞威爾出生于荷蘭北部港口鹿特丹附近的小鎮奧弗希，來自一個荷蘭新教徒家庭。隨著家庭的搬遷，先在梅淡布里克的小學上學；14歲時，在克里斯蒂安·霍納的高等中學畢業；兩年后，通過考試進入了庾澄慶的市立大學預科。同一年，即1897年，他考入阿姆斯特丹大學攻讀數學，直到1904年。1907年，他獲得了博士學位，博士論文題目是“論數學基礎”(Overde grondslagen der wiskunde)。
1909年，布勞威爾在阿姆斯特丹大學當無薪講師——學生自愿聽課，教師的報酬直接來自受指導的學生。1912年，他被任命為阿姆斯特丹大學的數學教授。1952年，布勞威爾從阿姆斯特丹大學退休。1966年，他在布拉里克姆去世。
布勞威爾很早就顯露出與眾不同的才華：高中畢業僅僅兩年，他就掌握了進入大學預科所必須的希臘文和拉丁文；進入大學后，他很快就掌握了當時通行的各門數學，受到他的教授D．J．柯特維格(Korteweg)的贊許；在讀大學時，他獲得了關于四維空間連續運動的某些結果，并發表在阿姆斯特丹皇家科學院報告集上，在當大學生時，通過自己的刻苦鉆研，更由于受到G．曼諾利(Mannoury)教授一系列啟迪性講座的誘發，布勞威爾接觸到了拓撲學和數學基礎，并且終生鐘愛它們。他在學習數學的同時，還對哲學非常感興趣，尤其熱衷于研究神秘主義。
在攻讀博士學位時，布勞威爾以極大的熱情注視著B．伯特蘭·阿瑟·威廉·羅素(Russll)與H．亨利·龐加萊(Poincare)關于數學的邏輯基礎的論戰，并以此為題寫成他的博士論文。總的說來，他傾向于龐加萊的觀點，反對羅素和D．希爾伯特(Hilbert)關于數學基礎的思想。但是，他又極不同意龐加萊關于數學存在性的說法。他認為，龐加萊的辦法不能排除悖論。為此，他在博士論文“論數學基礎”中開始建立直覺主義的數學哲學。
布勞威爾獲得博士學位后，主要研究領域為拓撲學，從1907年至1913年，取得不少重要的成果。從1912年起，布勞威爾重新開始研究數學基礎問題。從1918年起，他在各種學術刊物上發表一系列論文，宣傳和論證他的觀點。他發展了直覺主義數學；對經典數學作詳盡的批判；判別各個數學分支中究竟有哪些定理符合直覺主義；尋找構造數學的基本概念；努力在構造的基礎上建立新的數學——在微積分、代數、初等幾何等領域取得了成功。
人物貢獻
布勞威爾在拓撲學的突出貢獻是建立布勞威爾不動點定理以及證明維數的拓撲不變性（1910）。他還在代數拓撲學的基礎上證明了單純逼近定理，這一定理證明了在對單純復合體進行足夠細分后，可以將一般連續映射的處理歸結為組合術語。1912年起，他特別關心集合的原始地位及排中律的作用，建立構造主義的數學體系，包括可構造連續統；集合論的構造基礎，構造的測度論，構造的函數論等。
布勞威爾在拓撲學領域做出了他的又一大貢獻。受到戴維·希爾伯特在巴黎的第二屆國際數學家大會的講演的影響，也受到舍恩弗利斯關于集合論進展的報告的影響，布勞威爾從1907年到1913年進行了大量研究，取得了大量基礎性成果。1907年，他研究了希爾伯特那極難對付的第5問題，但不依靠可微性假設而采用了分割式組合。作為F．克萊因(Klein)那著名的埃朗根綱領的一個自然引伸，布勞威爾討論了平面變換的理論，給出了勒內·笛卡爾平面上拓撲映射的一些同倫性質。建立布勞威爾不動點定理是他的突出貢獻。這個定理表明：在二維球面上，任意映到自身的一一連續映射，必定至少有一個點是不變的。他把這一定理推廣到高維球面。尤其是，在n維球內映到自身的任意連續映射至少有一個不動點。在定理證明的過程中，他引進了從一個復形到另一個復形的映射類，以及一個映射的映射度等概念。有了這些概念，他就能第一次處理一個流形上的向量場的奇點。
格奧爾格·康托爾揭示了不同的n與空間Rn的一一對應關系。G．皮亞諾(Peano)則實現了把單位線段連續映入正方形。這兩個發現啟示了，在拓撲映射中，維數可能是不變的。1910年，布勞威爾對于任意的n證明了這個猜想——維數的拓撲不變性。在證明過程中，布勞威爾創造了連續拓撲映射的單純逼近的概念，也就是一系列線性映射的逼近。他還創造了映射的拓撲度的概念——一個取決于拓撲映射連續變換的同倫類的數。實踐證明，這些概念在解決重要的不變性問題時非常有用。例如，布勞威爾就借助它界定了n維區域；J．W．亞歷山大(Alexander)則用它證明了貝蒂數的不變性。
1910年，布勞威爾發現了平面上不可分解的連續統是可數個單連通區域的公共邊界。1912年，他證明了可以把約當曲線定理推廣到n維空間。1913年，他給出了拓撲空間維數的嚴格定義。
由于布勞威爾在拓撲學上的出色成就，他被推選為荷蘭皇家科學院院士。可是，他在1912年的就職演說上，卻只大講直覺主義和構造主義，而不談他那頗為得意的拓撲學，大大出乎人們的意料之外。
主要論文與著作
布勞威爾的論文、著作等多數收入《布勞維爾全集》，已刊行的全集共2卷，出版于1975~1976年。第1卷收人1905~1955年的哲學和數學基礎的論文90余篇；第2卷包括幾何、分析、拓撲和力學的論文約80余篇，卷首有H·弗羅伊登塔、A·海廷合寫的《布勞維爾生平》。
論文
1908年，布勞威爾發表《邏輯規律的不可靠性》論文。
1912年，布勞威爾發表《直覺主義和形式主義》論文。
著作
Facsimiles of almost all of Brouwer’s published papers can be found in
Full scans and transcriptions of Brouwer’s student notebooks (in Dutch) are available online.
In the Collected Works, papers in Dutch have been translated into English (without naming the translator(s)), but papers in French or German have not. English translations of several of them can be found in
An English translation of Brouwer’s little book Leven, Kunst en Mystiek of 1905, of which the Collected Works contain only excerpts, is
The Berlin lectures of 1927 have been published in
The Cambridge lectures of 1946–1951, which are recommended as Brouwer’s own introduction to intuitionism, have been published as
A selection of Brouwer’s correspondence has been published as
Of particular biographical interest is the correspondence between Brouwer and his friend, the socialist poet 計算機科學 Adama Van Scheltema, which covers the years 1898–1924. The Selected Correspondence presents a number of these letters in English. The full correspondence has been published in Dutch, with notes, an introduction, and an appendix on Brouwer, as
參考資料
相關理論
直覺主義
布勞威爾的直覺主義起源于這樣的一種哲學：基本的直覺是按時間順序出現的感覺，把時間進程抽象出來，就產生了數學。布勞威爾把數學看作是心智的自由創造。它是以自明的原始概念——原初直覺——構造數學對象。數學概念嵌入人們的頭腦先于語言、邏輯和經驗。決定概念的正確性和可接受性的是直覺，而不是經驗和邏輯。像形式邏輯這樣構建起來的體系，僅僅可以作為描述規律性的手段而存在，根本不能作為數學的基礎。
布勞威爾在博士論文中批判了G．格奧爾格·康托爾(Cantor)的集合論以及其他各派數學基礎的理論。他堅持認為，無論怎樣用戴維·希爾伯特所設想的相容性證明來進行修補，數學的公理基礎都必須毫不留情地拋棄。盡管保留希爾伯特的有限性綱領作為前提，也不能證明算術的相容性。他指出，邏輯隸屬于語言，邏輯法則的用處是導出更多的陳述。然而，邏輯絕不是揭露真理的可靠工具。用其他辦法不能得到的真理，用邏輯也照樣不能推導出來。布勞威爾有一個著名的論斷：是邏輯依賴數學，而不是數學依賴邏輯。于是，布勞威爾順理成章地解決了悖論危機：邏輯并不是先驗的和不可違反的，根本不存在從公理出發的數學。所以，悖論的出現是無所謂的。他還指出：公理化的辦法，形式主義的辦法，當然都會避免矛盾。但是，用這種辦法不會得到有數學價值的東西。一個錯誤的理論，即使沒有因矛盾而告終，也仍然是錯誤的。
排中律有效性
布勞威爾最值得稱道的成就是否定排中律的有效性。他在“論邏輯原則的不可靠性”(De onbetrouwbaarheid der logischeprincipes)中對排中律提出了懷疑。他指出，排中律——間接證明方法的基石——在歷史上起源于推理在有窮集合的子集中的應用。但后來卻被認為是一條獨立的先驗原則，并毫無根據地應用于無窮集合上。所以，它是極不可靠的。
從1923年起，布勞威爾在一系列論文中論述排中律在數學中的作用及其可靠程度，使數學家們服了氣：必須在有效的證明手段中拋棄排中律。
布勞威爾依據直覺主義原理重新構建數學體系。開始，他沒有什么進展。原因在于缺乏符合要求的構造性連續統的概念。1914年，他終于得到了這樣一個概念。這是他在一篇對A．舍恩弗利斯(Schoenflis)和H．哈恩(Hahn)關于集合論進展報告的評論中提出的。次年，他審查集合論的構造性基礎問題，徹底弄清了排中律的作用。1918年，他發表了以這個概念為基礎的集合論。1919年，他作出了測度的構造性理論。1923年，他給出了構造性函數論。
與公理集合論相比，糾纏著構造性集合論的困難是：集合概念不能是本原概念，而是必須解釋和說明的概念。布勞威爾在論述中，引入了“自由選擇串”來完成這個任務。這就是，從一堆對象(例如自然數)中無限制地進行一連串的選擇。所有的選擇由一個法則確定。而且，在每次選擇之后，接踵而來的可能選擇就增添了限制。他把選擇所遵循的法則稱為“展延法則”，而允許進行的永無結束的自由選擇串稱為展延法則的“元”。如果展延法則只允許在有限個可能情形中進行選擇，則稱其為“有界展延”。作為特殊情形，直覺連續統就可以看成是由有界展延所給出。布勞威爾指出，語句“一個展延的全部元具有性質p”意味著，“我擁有一個構造手段，它能夠讓我判定，在選擇串α的有限次選擇之后，選出的元具有性質p。”根據這一解釋，根據對這樣的構造手段的本性的理解，布勞威爾得到他那稱之為有界展延基本定理的定理——扇形定理。這個定理宣稱，定義在一個有界展延S上的整值函數f是這樣計算的：對于某個自然數n，如果S中任意兩個自由選擇串α和β，它們的前n個選擇重合，那么，就有f(α)=f(β)。
扇形定理
1924年，布勞威爾證明了，在單位閉區間上處處有定義的函數是一致連續的。在這一證明過程中，他第一次采用了扇形定理。扇形定理這個直覺主義數學的基本定理的證明始終不能順利地被人們接受。不過，它使布勞威爾獲得了成果，這些成果與人們熟知的原來的數學知識大相徑庭，諸如：直覺連續統的不可分解性，實函數的一致連續性有一定限度，等等。
應用扇形定理，布勞威爾從根本上動搖了排中律，特別是動搖了它的無矛盾性原理。他成功地顯示了，所謂排中律這個普遍原則本身就存在矛盾。也就是說，存在這樣的性質，對于有界展延的全部元來說，如果硬使它要么持有這種性質要么不持有這種性質，1920年以后，邏輯學家的注意力都被吸引到了布勞威爾邏輯。人們研究它與經典邏輯的關系。由于K．哥德爾(Gdel)決定性的工作，戴維·希爾伯特的基礎綱領被沖開了缺口。第二次世界大戰后，由于S．克林尼(Kleene)開拓性的研究，由于遞歸函數論的興起和計算機的廣泛使用，使得直覺主義的基礎復活了，它被更多的數學家所接受。
個人生活
布勞威爾的個人生活和晚年經歷也頗為多彩。1905年，24歲的布勞威爾在一篇名為《生命、藝術和神秘主義》的短文中表達了他的人生哲學，這被數學家馬丁·戴維斯描述為“充滿了浪漫的悲觀情緒”。阿圖爾·叔本華對布勞威爾產生了深遠的影響，至少因為他堅持所有概念基本上都是基于感官直覺。布勞威爾隨后“開始了一場自以為是的運動，從根本上重建數學實踐，以滿足他的哲學信念”；事實上，他的論文導師拒絕接受他的第二章“因為它的內容...充滿了某種悲觀主義和對生命的神秘態度，這與數學無關，也與數學基礎無關”。
在后來的歲月里，他變得相對孤立；直覺主義在其發源地的發展被他的學生阿倫德·海廷接手。荷蘭數學家和數學史學家巴特爾·利恩德特·范德·瓦爾登在布勞威爾晚年的講座上評論說：“盡管他最重要的研究成果在拓撲學領域，布勞威爾從未在拓撲學上授課，而總是只授課于他的直覺主義基礎。似乎他不再相信自己在拓撲學上的成果，因為從直覺主義的角度來看，它們是不正確的，他根據自己的哲學判斷，認為他之前所做的一切，即他的最大產出，都是錯誤的。”
關于他的最后幾年，戴維斯（2002年）評論道：“他感到越來越孤立，度過了他的最后幾年，受到‘完全沒有根據的財務擔憂和對破產、迫害和疾病的偏執恐懼的影響’。1966年，他在85歲時被一輛車撞倒，當時正在過馬路回家。”
人物榮譽
盡管布勞威爾沒有能夠成功地改變數學家們的觀念，但他的工作得到全世界的承認。1929年，他被奧斯陸大學授予榮譽學銜；1955年，又被劍橋大學授予榮譽學銜。1919年，被德國科學院選為院士；1943年，被美國哲學會選為會員；1948年，被倫敦的皇家學會選為會員。他曾是1908年在羅馬和1912年在英國劍橋舉辦的國際數學家大會的特邀發言人。1943年，他當選為美國哲學學會會員。
參考資料 >
Luitzen Egbertus Jan Brouwer.stanford.2024-08-26