三大數(shù)學(xué)流派的三大數(shù)學(xué)流派簡介 當(dāng)今世界上三大教學(xué)流派包括什么?
在介紹二十世紀(jì)中前期的數(shù)學(xué)三大流派之前，我想先提一下數(shù)學(xué)的“學(xué)派”，數(shù)學(xué)學(xué)派比數(shù)學(xué)流派要多的多。一個(gè)學(xué)派往往是很多知名的數(shù)學(xué)家在一個(gè)共同的地方，做出一系列的研究，并堅(jiān)持一定的學(xué)派風(fēng)格。在《基礎(chǔ)教育百科全書·數(shù)學(xué)卷》(設(shè)計(jì)書)中，提到的數(shù)學(xué)學(xué)派有：伊奧尼亞學(xué)派、畢達(dá)哥拉斯學(xué)派、詭辯學(xué)派、智人學(xué)派、埃利亞學(xué)派、原子論學(xué)派、雅典學(xué)派、柏拉圖學(xué)派、亞里士多德學(xué)派、亞歷山大里亞學(xué)派、格丁根學(xué)派、柏林學(xué)派、彼得堡學(xué)派、意大利代數(shù)幾何學(xué)派、法國函數(shù)論學(xué)派、直覺主義學(xué)派、邏輯主義學(xué)派、形式主義學(xué)派、普林斯頓學(xué)派、莫斯科學(xué)派、函數(shù)論學(xué)派、拓?fù)鋵W(xué)派、劍橋分析學(xué)派、波蘭學(xué)派、華沙學(xué)派、利沃夫?qū)W派、布爾巴基學(xué)派等。
可以看到，中世紀(jì)以前的數(shù)學(xué)學(xué)派和哲學(xué)學(xué)派幾乎是重合的。通過學(xué)習(xí)《西方哲學(xué)史》可以了解到很多相關(guān)的東西。數(shù)學(xué)本身源于自然哲學(xué)。當(dāng)數(shù)學(xué)科學(xué)逐漸從哲學(xué)中分離出來，但是數(shù)學(xué)基礎(chǔ)仍然帶有濃厚的哲學(xué)味。關(guān)于每個(gè)學(xué)派，都有一段很長的故事，其中的每個(gè)數(shù)學(xué)家都有很多激動人心的作品，和帶有傳奇色彩的故事。看M.克萊因的四卷本《古今數(shù)學(xué)思想》和E.T貝爾的《數(shù)學(xué)精英》，我們可以了解到很多數(shù)學(xué)家的故事。
直至近代，通過參閱《當(dāng)代數(shù)學(xué)精英－菲爾茨獎獲得者傳》，和《當(dāng)代數(shù)學(xué)大師:沃爾夫數(shù)學(xué)獎得主及其建樹與見解》等書，可以對20世紀(jì)以來的數(shù)學(xué)有大概的了解。
莫斯科學(xué)派和哥廷根學(xué)派是我最喜歡的兩個(gè)學(xué)派。兩個(gè)地方都曾經(jīng)云集過一大批著名的數(shù)學(xué)家，有長久的數(shù)學(xué)歷史傳統(tǒng)和深刻的數(shù)學(xué)文化。
關(guān)于哥廷根學(xué)派：
哥廷根學(xué)派是在世界數(shù)學(xué)科學(xué)的發(fā)展中長期占主導(dǎo)地位的學(xué)派，該學(xué)派堅(jiān)持?jǐn)?shù)學(xué)的統(tǒng)一性，思想反映了數(shù)學(xué)的本質(zhì)，促進(jìn)了數(shù)學(xué)的發(fā)展。
高斯開始了哥廷根數(shù)學(xué)學(xué)派的起始時(shí)代，他把現(xiàn)代數(shù)學(xué)提到一個(gè)新的水平。黎曼、狄利克雷和雅可比繼承了高斯的工作，在代數(shù)、幾何、數(shù)論和分析領(lǐng)域做出了貢獻(xiàn)，克萊因和希爾伯特使德國哥廷根數(shù)學(xué)學(xué)派進(jìn)入了全盛時(shí)期，哥廷根大學(xué)因而也成為數(shù)學(xué)研究和教育的國際中心。
哥廷根學(xué)派是世界數(shù)學(xué)家的搖籃和圣地，但希特勒的上臺，使它受到致命的打擊。大批猶太血統(tǒng)的科學(xué)家被迫亡命美國，哥廷根數(shù)學(xué)學(xué)派解體。【1】
關(guān)于莫斯科學(xué)派：
百年來，蘇俄涌現(xiàn)了上百位世界一流的數(shù)學(xué)家，其中如魯金，亞歷山德羅夫，柯爾莫戈羅夫，蓋爾范德，沙法列維奇，阿洛爾德，諾維可夫，李雅普洛夫，菲赫金哥爾茨，科瓦列夫斯卡婭等都是響當(dāng)當(dāng)?shù)臄?shù)學(xué)大師。而這些優(yōu)秀數(shù)學(xué)家則大多畢業(yè)于莫斯科大學(xué)。莫斯科大學(xué)所涌現(xiàn)的優(yōu)秀數(shù)學(xué)家其數(shù)量之多，質(zhì)量之高，恐怕除了19世紀(jì)末20世紀(jì)初的哥廷根大學(xué)。在20世紀(jì)就再也沒有哪個(gè)大學(xué)敢與之相比了，即使是赫赫有名的普林斯頓大學(xué)也沒有出過這么多的優(yōu)秀數(shù)學(xué)家，莫斯科大學(xué)是當(dāng)之無愧的世界第一數(shù)學(xué)強(qiáng)校。
莫斯科學(xué)派我最欣賞里面的阿諾爾德。他寫的書都深入淺出，把高深的數(shù)學(xué)理論用簡單的數(shù)學(xué)語言寫出來，并舉出很多生活中的實(shí)例，與數(shù)學(xué)理論相聯(lián)系。他是個(gè)對數(shù)學(xué)理解非常深刻的數(shù)學(xué)家。看他的作品非常的享受，如《常微分方程》、《動力系統(tǒng)》、《經(jīng)典力學(xué)的數(shù)學(xué)方法》。
很遺憾的是中國還未嘗有過什么如此著名的數(shù)學(xué)學(xué)派，更不談流派了。中國的數(shù)學(xué)發(fā)展，還需要更多的年輕人的投入和奮斗。
在下面要談到的三大流派中，涉及了很多當(dāng)時(shí)世界上一流的數(shù)學(xué)家，邏輯學(xué)家，哲學(xué)家。他們?yōu)閿?shù)學(xué)基礎(chǔ)的完善做出了巨大的貢獻(xiàn)，在這里我們向他們致以崇高的敬意。
-------
【1】『注』這里只需列出一張從德國(包括奧地利、匈牙利)到美國避難的數(shù)學(xué)家和物理學(xué)家的部分名單，就可見人材轉(zhuǎn)移之一斑了。愛因斯坦(1879～1955，偉大的物理學(xué)家)；弗蘭克(J．Franck，1882～1964．1925年獲諾貝爾物理學(xué)獎)；馮·諾依曼(1903～1957，杰出數(shù)學(xué)家之一)；柯朗(1888～1972，哥廷根數(shù)學(xué)研究所負(fù)責(zé)人)；哥德爾(1906～1976，數(shù)理邏輯學(xué)家)；諾特(1882～1935，抽象代數(shù)奠基人之一)；費(fèi)勒(W．Feller，1906～1970，隨機(jī)過程論的創(chuàng)始人之一)；阿廷(1896～1962，抽象代數(shù)奠基人之一)；費(fèi)里德里希(K．Friedrichs，1901～1983，應(yīng)用數(shù)學(xué)家)；外爾(1885～1955，杰出的數(shù)學(xué)家之一)；德恩(1878～1952，希爾伯特第3問題解決者)；此外還有波利亞、舍荀(Szeg)、海林格(Hellinger)、愛華德(Ewald)、諾爾德海姆(Nordheim)、德拜(Debye)、威格納(Wigner)等等。
二十世紀(jì)中前期的三大數(shù)學(xué)流派簡介
集合論在19世紀(jì)末由康托建立后, 集合概念成為最基本、應(yīng)用最廣的一個(gè)概念，人們曾經(jīng)相信，全部數(shù)學(xué)的基礎(chǔ)理論可用集合概念統(tǒng)一起來。1900 年，在巴黎召開的國際數(shù)學(xué)家大會上，龐加萊曾滿懷信心的說：“ 現(xiàn)在我們可以說，完全的嚴(yán)格化已經(jīng)達(dá)到了。” 可是這話說出后還不到3 年，英國數(shù)學(xué)家羅素于1902年給德國數(shù)學(xué)家弗雷格的信中提出一個(gè)集合悖論，使數(shù)學(xué)基礎(chǔ)發(fā)生動搖，用弗雷格的話說：“突然它的一塊基石崩塌下來了。”
羅素的集合悖論：
集合可以分為兩類：第一類集合的特征是：集合本身又是集合中的元素，例如當(dāng)時(shí)人們經(jīng)常說的“所有集合所成的集合”；第二類集合的特征是：集合本身不是集合的元素，例如直線上點(diǎn)的集合。顯然，一個(gè)集合必須是并且只能是這兩類集合中的一類。那么，R是哪一類的集合呢？ 羅素悖論一個(gè)通俗的說法是理發(fā)師悖論：
在某個(gè)城市中有一位理發(fā)師，他的廣告詞是這樣寫的：“本人的理發(fā)技藝十分高超，譽(yù)滿全城。我將為本城所有不給自己刮臉的人刮臉，我也只給這些人刮臉。我對各位表示熱誠歡迎！”來找他刮臉的人絡(luò)繹不絕，自然都是那些不給自己刮臉的人。可是，有一天，這位理發(fā)師從鏡子里看見自己的胡子長了，他本能地抓起了剃刀，你們看他能不能給他自己刮臉呢？如果他不給自己刮臉，他就屬于“不給自己刮臉的人”，他就要給自己刮臉，而如果他給自己刮臉呢？他又屬于“給自己刮臉的人”，他就不該給自己刮臉。
集合論中為什么會產(chǎn)生矛盾這個(gè)非常根本的問題，涉及數(shù)學(xué)邏輯推理的可信性和數(shù)學(xué)命題的真理性問題，屬于數(shù)學(xué)哲學(xué)的范疇。
從1900年到1930年的30年間，許多數(shù)學(xué)家卷入了一場關(guān)于數(shù)學(xué)哲學(xué)基礎(chǔ)的討論，并逐漸形成不同的數(shù)學(xué)基礎(chǔ)學(xué)派的爭論，主要有邏輯主義、形式主義和直覺主義三個(gè)學(xué)派。
一、邏輯主義
1.邏輯主義的歷史淵源
邏輯主義的形成究其本原可以追溯到萊布尼茲時(shí)代，他把邏輯學(xué)想象成一種普遍的科學(xué)，這種科學(xué)包括構(gòu)成其它所有科學(xué)的基礎(chǔ)的一些原則，這種邏輯學(xué)先于一切科學(xué)的觀點(diǎn)，即是邏輯主義思想原則的萌芽。但他并未能開展這一方面的工作。到了19 世紀(jì)，戴德金、弗雷格和皮亞諾等人繼承萊氏先志，逐步發(fā)揮，并且都取得了不小的成就。
2.邏輯主義的基本思想
邏輯主義的主要代表人物是英國著名的數(shù)學(xué)家、哲學(xué)家和邏輯學(xué)家羅素，他與懷特海于1913年完成了邏輯主義的經(jīng)典代表作---《 數(shù)學(xué)原理》。作者企圖在這3卷本的數(shù)學(xué)巨著中向人們說明：全部數(shù)學(xué)可以以一個(gè)邏輯公理系統(tǒng)嚴(yán)格推導(dǎo)出來，也就是說可以從邏輯概念出發(fā)用明顯的定義得出數(shù)學(xué)概念；由邏輯命題開始用純邏輯的演繹推得數(shù)學(xué)定理。從而，使全部數(shù)學(xué)都可以從基本的邏輯概念和邏輯規(guī)則而推導(dǎo)出來。這樣，就可以把數(shù)學(xué)看成是邏輯學(xué)延伸或分支。所以，羅素說：“邏輯學(xué)是數(shù)學(xué)的青年時(shí)代，而數(shù)學(xué)是邏輯學(xué)的壯年時(shí)代。”、“數(shù)學(xué)即邏輯。”
羅素在他的《 數(shù)理哲學(xué)導(dǎo)論》一書中進(jìn)一步的闡述了他的主張：“ 通過分析來達(dá)到越來越大的抽象性和邏輯簡單性，要研究我們能否找到更為一般的思想原則，以這些思想和原則出發(fā)能使現(xiàn)在作為出發(fā)點(diǎn)的東西得以被定義和演繹出來” 。那么是什么樣的思想原則呢？羅素接著說：“ 應(yīng)當(dāng)以一些已被普遍承認(rèn)了的邏輯的前提出發(fā)，再經(jīng)過演繹而達(dá)到那些明顯的屬于數(shù)學(xué)的結(jié)果。” 即把數(shù)學(xué)化歸于邏輯，這是他的基本觀點(diǎn)。
在《數(shù)學(xué)原理》中，羅素和懷特海曾通過純邏輯的途徑再加上集合論的選擇公理和無窮公理把當(dāng)時(shí)的數(shù)學(xué)嚴(yán)格的推導(dǎo)了出來，獲得成功。故羅素宣稱：“ 從邏輯中展開純數(shù)學(xué)的工作，已由懷特海和我在《 數(shù)學(xué)原理》 中詳細(xì)的做了出來。” 但是，事實(shí)并非如此，羅素從一個(gè)邏輯系統(tǒng)推導(dǎo)數(shù)學(xué)時(shí)使用了集合論的選擇公理和無窮公理，這是不可缺的，否則不能完成。不用無窮公理則自然數(shù)系統(tǒng)就無法構(gòu)造，更不要說全部數(shù)學(xué)了。所以，羅素并沒有將數(shù)學(xué)化歸為邏輯，而是化歸為集合論。
要從邏輯推出全部數(shù)學(xué)，就必須發(fā)展集合論，而集合論是自相矛盾的，沒有相容性的，但是，在邏輯系統(tǒng)中是不允許有矛盾的，因此，必須排除悖論。可后來羅素與懷特海所做的工作并沒有很好的解決這個(gè)問題，進(jìn)而遭遇了不少困難。
數(shù)學(xué)基礎(chǔ)學(xué)家一般都不接受“數(shù)學(xué)就是邏輯”的觀點(diǎn)；同樣也不能接受“一切數(shù)學(xué)思維都是邏輯思維”的說法。但是，盡管如此。羅素與懷特海合著的《數(shù)學(xué)原理》一書在20世紀(jì)的科學(xué)技術(shù)發(fā)展中影響很大。它以當(dāng)時(shí)最嚴(yán)格的形式化的符號語言來陳述作者建立的邏輯體系、定義和定理，從而標(biāo)志符號邏輯方法的成功。并顯示了數(shù)學(xué)的邏輯基礎(chǔ)研究的意義，因而進(jìn)一步的顯示了現(xiàn)代邏輯的科學(xué)意義。
《數(shù)學(xué)原理》一書成為名著。盡管邏輯主義的主張不能實(shí)現(xiàn)，邏輯主義的數(shù)學(xué)觀不能為數(shù)學(xué)基礎(chǔ)學(xué)者所廣泛接受，但此書在方法論上的意義是不可忽視的。他們相當(dāng)成功的把古典數(shù)學(xué)納入了一個(gè)統(tǒng)一的公理系統(tǒng)，使之能從幾個(gè)邏輯概念和公理出發(fā)，再加上集合論的無窮公理就能推出康托集合論、一般算術(shù)和大部分?jǐn)?shù)學(xué)來。這把邏輯推理發(fā)展到前所未有的高度，使人們看到，在數(shù)理邏輯演算的基礎(chǔ)上能夠推演出許多數(shù)學(xué)內(nèi)容來，形成了集合論公理系統(tǒng)的邏輯體系，這在邏輯史上是一件大事，對數(shù)理邏輯后來的發(fā)展起了決定作用，是近代公理方法的一個(gè)重要起點(diǎn)。
二、形式主義
一般認(rèn)為，形式主義的奠基人是希爾伯特 ，并把希爾伯特的數(shù)學(xué)觀和數(shù)學(xué)基礎(chǔ)稱作為“形式主義”，羅素和布勞威爾都稱希爾伯特為形式主義的代表人物，但他們是指希爾伯特奠定數(shù)學(xué)基礎(chǔ)的形式化方法，不一定是指他的某種主張。而希爾伯特本人并不自命為形式主義者，他的學(xué)生貝爾奈斯也不認(rèn)為希爾伯特是形式主義者。
1.形式主義的形成
形式主義理論體系是在非歐幾何產(chǎn)生之后，在數(shù)學(xué)和數(shù)學(xué)哲學(xué)研究中彌漫的“重建數(shù)學(xué)基礎(chǔ)”的氣氛中形成的。
當(dāng)非歐幾何得到人們的承認(rèn)，亦即當(dāng)?shù)贸龌ハ嗝艿亩ɡ淼膬煞N幾何都證明了不自相矛盾的時(shí)候，人們便要問：數(shù)學(xué)的真理體現(xiàn)在那里？試想，一種幾何說，過直線外一點(diǎn)只能作一條直線不與原有的直線相交；另一種幾何說，過直線外一點(diǎn)至少可作兩條直線不與原有的直線相交；還有一種幾何說：過直線外一點(diǎn)不可以做任何直線于原有的直線不相交。這三種幾何不是互相打架了嗎？理應(yīng)至少有兩個(gè)是錯(cuò)誤的，為什么三個(gè)幾何都成立呢？
德國著名數(shù)學(xué)家希爾伯特主張，保衛(wèi)經(jīng)典數(shù)學(xué)和經(jīng)典的數(shù)學(xué)方法，并且發(fā)展他們。他認(rèn)為，經(jīng)典數(shù)學(xué)，包括由于集合論的出現(xiàn)而發(fā)展起來的新的數(shù)學(xué)方向，都是人類最有價(jià)值的精神財(cái)富；為了在數(shù)學(xué)中避免出現(xiàn)悖論，就設(shè)法絕對的證明數(shù)學(xué)的無矛盾性，使數(shù)學(xué)奠定在嚴(yán)格的公理化的基礎(chǔ)上，數(shù)學(xué)的公理和邏輯推理就像天文學(xué)家手中的望遠(yuǎn)鏡那樣重要，是不能丟棄的。為了實(shí)現(xiàn)這一目的，希爾伯特在1922 年提出了著名的希爾伯特計(jì)劃 。
2.形式主義的基本思想
希爾伯特計(jì)劃的主要思想就是：奠定一門數(shù)學(xué)的基礎(chǔ)，應(yīng)該嚴(yán)格的、數(shù)學(xué)的證明這門數(shù)學(xué)的協(xié)調(diào)性（即無矛盾性或一致性、相容性）；希爾伯特計(jì)劃的數(shù)學(xué)內(nèi)容就是數(shù)理邏輯中的證明論。
希爾伯特與貝爾奈斯合著的兩卷《數(shù)學(xué)基礎(chǔ)》是希爾伯特計(jì)劃的代表作。
希爾伯特計(jì)劃 ，將各門數(shù)學(xué)形式化，構(gòu)成形式系統(tǒng)，然后用一種初等方法證明各個(gè)形式系統(tǒng)的相容性，即無矛盾性，從而導(dǎo)出全部數(shù)學(xué)的無矛盾性。
他區(qū)分了3 種數(shù)學(xué)理論：1. 直觀的非形式化的數(shù)學(xué)理論；2. 將第一種數(shù)學(xué)理論形式化，構(gòu)成一個(gè)形式系統(tǒng)，把直觀數(shù)學(xué)理論中的基本概念轉(zhuǎn)換為形式系統(tǒng)中的初始符號，命題轉(zhuǎn)換為符號公式，推演規(guī)則轉(zhuǎn)換為符號公式之間的變形關(guān)系，證明轉(zhuǎn)換為符號公式的有窮序列；3. 是描述和研究第二種數(shù)學(xué)理論的，稱為元數(shù)學(xué)、證明論或元理論。元數(shù)學(xué)是以形式系統(tǒng)為研究對象的一門新數(shù)學(xué)，它包括對形式系統(tǒng)的描述、定義，也包括對形式系統(tǒng)性質(zhì)的研究。
形式主義的提出是數(shù)學(xué)發(fā)展史上最重要的轉(zhuǎn)折點(diǎn)，它標(biāo)志著元數(shù)學(xué)的建立。從此，數(shù)學(xué)的發(fā)展進(jìn)入研究形式系統(tǒng)的新階段。
這里我們要說明一點(diǎn)：形式主義和邏輯主義一樣，都從公理系統(tǒng)出發(fā)，不同點(diǎn)是：邏輯主義者當(dāng)追到邏輯公理系統(tǒng)時(shí)，不再持有原來的對公理體系的觀點(diǎn)，而要求邏輯公理系統(tǒng)具有內(nèi)容，而且想方設(shè)法探求邏輯規(guī)律的真理性究竟體現(xiàn)在什么地方，形式主義者則不然，他們認(rèn)為數(shù)學(xué)的公理系統(tǒng)或邏輯的公理系統(tǒng)，其中基本概念都是沒有意義的，其公理也只是一行行的符號，無所謂真假，只要能夠證明該公理系統(tǒng)是相容的，不互相矛盾的，該公理系統(tǒng)便得承認(rèn)，它便代表某一方面的真理。連邏輯公理系統(tǒng)也認(rèn)為是沒有內(nèi)容的，不能由內(nèi)容方面保證其真理性，于是便只留下“相容性”即“不自相矛盾性”作為真理所在了。
希爾伯特原來設(shè)想，數(shù)學(xué)的相容性證明可以限于有窮的構(gòu)造性方法范圍之內(nèi)。但是研究表現(xiàn)，這個(gè)范圍應(yīng)當(dāng)加以擴(kuò)充。哥德爾的不完備性定理說，“任何一個(gè)相容的數(shù)學(xué)形式化理論中，只要它強(qiáng)到足以在其中定義自然數(shù)的概念，就可以在其中構(gòu)造在體系中既不能證明也不能否證的命題。” 、“任何相容的形式體系不能用于證明它本身的相容性”。 這個(gè)定理徹底粉碎了希爾伯特的形式主義理想。但是希爾伯特的數(shù)學(xué)基礎(chǔ)思想?yún)s發(fā)展了元數(shù)學(xué)，這就把形式心理學(xué)向前推進(jìn)了一步，促進(jìn)了數(shù)學(xué)的發(fā)展。元數(shù)學(xué)（證明論）已發(fā)展為數(shù)理邏輯的四大分支之一。
形式主義的代表人物有美國數(shù)學(xué)家魯濱遜和柯恩等人。他們認(rèn)為：數(shù)學(xué)應(yīng)該被看作一種純粹的紙上符號游戲，對這種形式的唯一要求是不會導(dǎo)致矛盾。
但是，這種形式主義思想顯然與希爾伯特的主張是不同的。
三、直覺主義
1.直覺主義的歷史根源
直覺主義的思想可以追溯到亞里士多德時(shí)期，亞里士多德是歷史上第一位反對實(shí)無窮，只承認(rèn)潛無窮的哲學(xué)家。直覺主義的哲學(xué)觀點(diǎn)則是直接淵源于康德和布勞威爾的自然數(shù)源于“原始直覺”，即是康德的“自然數(shù)是從時(shí)間的直覺推演出來”的主張。
19世紀(jì)的克羅內(nèi)克強(qiáng)調(diào)能行性，說當(dāng)時(shí)好些定理都只是符號的游戲，沒有實(shí)際意義。他認(rèn)為：“上帝創(chuàng)造了自然數(shù)，別的都是人造的。而整數(shù)在直觀上是清楚的，故可以接受，其他則是可疑。” 其意是說，只有自然數(shù)是真實(shí)存在，其余都只是人為做出的一些文字符號罷了。他還主張?jiān)谧匀粩?shù)的基礎(chǔ)上來構(gòu)造整個(gè)數(shù)學(xué)。
20 世紀(jì)初，龐加萊亦持自然數(shù)為最基本的直觀及潛無窮的主張。其他如包瑞爾、勒貝格、魯金等半直覺主義或法國經(jīng)驗(yàn)主義亦強(qiáng)調(diào)能行性的觀念。
他們公開否認(rèn)選擇公理，認(rèn)為根據(jù)選擇公理而作的集合，根本沒有能行性，不能承認(rèn)其存在。他們提出能行性的概念，沒有能行性的便不承認(rèn)其存在。他們都是直覺主義的先驅(qū)。所有這一切，都為布勞威爾的直覺主義提供了直接的前提，布勞威爾集其先驅(qū)們之大成，系統(tǒng)的提供了直覺主義的主張。
2.直覺主義的數(shù)學(xué)觀思想
直覺主義的奠基人和代表人物是荷蘭數(shù)學(xué)家布勞威爾, 從1907 年布勞威爾的博士論文《 數(shù)學(xué)的基礎(chǔ)》 開始，直覺主義者逐步系統(tǒng)的闡述了他們的數(shù)學(xué)觀和重建數(shù)學(xué)基礎(chǔ)的主張。
他的數(shù)學(xué)觀包括以下幾個(gè)方面：
(1) 他對數(shù)學(xué)對象的觀點(diǎn)。
他提出一個(gè)著名的口號：“存在即是被構(gòu)造。”他認(rèn)為，人們對數(shù)學(xué)的認(rèn)識不依賴于邏輯和語言經(jīng)驗(yàn)，而是“原始直覺”（即人皆有的一種能力），純粹數(shù)學(xué)是“心智的數(shù)學(xué)構(gòu)造自身”、是“反身的構(gòu)造”，它“開始于自然數(shù)”，而不是集合論。這種數(shù)學(xué)構(gòu)造之成為構(gòu)造，與這種構(gòu)造物的性質(zhì)無關(guān)，與其本身是否獨(dú)立于人們的知識無關(guān)，與人們所持的哲學(xué)觀點(diǎn)也無關(guān)。構(gòu)造物應(yīng)該怎樣就怎樣，數(shù)學(xué)判斷應(yīng)該是永恒的真理。
因此，布勞威爾不承認(rèn)有客觀存在的、封閉的和已完成的實(shí)無窮體系。
實(shí)無窮論者認(rèn)為“ 自然數(shù)全體” 就是指自然數(shù)集{0，1，2，3，……} ，這是一個(gè)確實(shí)存在了的完成了的集合，可以而且應(yīng)該作為數(shù)學(xué)研究的對象。
潛無窮論者否認(rèn)實(shí)無窮，認(rèn)為無窮只是潛在的，并不是已完成了的封閉實(shí)體，只是就其發(fā)展來說是無窮的。在他們看來，自然,0，1，2，3，……只能是永遠(yuǎn)處于不斷被構(gòu)造和生成的過程，而不是完成了的、封閉實(shí)體。
所以，諸如“自然數(shù)全體”這樣的概念是沒有意義的。
(2)對數(shù)學(xué)所用的邏輯的觀點(diǎn)。
布勞威爾對數(shù)學(xué)對象的觀點(diǎn)直接導(dǎo)出了他對數(shù)學(xué)所用的邏輯觀點(diǎn)；認(rèn)為“ 邏輯不是發(fā)現(xiàn)真理的絕對可靠的工具” ，并認(rèn)為，在真正的數(shù)學(xué)證明中不能使用排中律，因?yàn)榕胖新珊推渌?jīng)典邏輯規(guī)律是從有窮集抽象出來的規(guī)律，因此不能無限制的使用到無窮集上去。同樣不能使用反證法。
直覺主義對20世紀(jì)數(shù)學(xué)的發(fā)展產(chǎn)生很大的影響。本世紀(jì)30年代以后，由于哥德爾的工作，許多數(shù)學(xué)家開始重視直覺主義。數(shù)學(xué)家們紛紛嘗試用構(gòu)造法建立實(shí)數(shù)理論、數(shù)學(xué)分析以至全部數(shù)學(xué)，得出不少重要結(jié)果。
構(gòu)造性數(shù)學(xué)已經(jīng)成為數(shù)學(xué)科學(xué)中一個(gè)重要的數(shù)學(xué)學(xué)科群體，與計(jì)算機(jī)科學(xué)密切相關(guān)。1967年，美國數(shù)學(xué)家畢肖普完成并出版《構(gòu)造性分析》一書，開始了直覺主義學(xué)派的構(gòu)造主義時(shí)期。
歷史證明，三大流派都有各自的優(yōu)點(diǎn)和缺陷，但是他們彌補(bǔ)了數(shù)學(xué)基礎(chǔ)的很多不足，為數(shù)學(xué)的嚴(yán)密性提供了更加精確的符號和語言。用G. H. Hardy的一句話來結(jié)束這篇文章吧：“Beauty is the first test: there is no permanent place in the world for ugly mathematics.”
三大數(shù)學(xué)流派三大數(shù)學(xué)流派簡介
三大數(shù)學(xué)流派，即集合論、邏輯主義和形式主義，都是在20世紀(jì)初數(shù)學(xué)哲學(xué)爭論中形成的。集合論由康托建立，但羅素悖論挑戰(zhàn)了其基礎(chǔ)，引發(fā)了關(guān)于數(shù)學(xué)邏輯和真理性的討論。邏輯主義試圖將數(shù)學(xué)歸結(jié)為邏輯，而形式主義則主張數(shù)學(xué)應(yīng)基于嚴(yán)格的公理系統(tǒng)，希爾伯特的希爾伯特計(jì)劃為此奠定了基礎(chǔ)。直覺主義起源于亞里士多德...
三大數(shù)學(xué)流派簡介
圍繞著數(shù)學(xué)基礎(chǔ)的爭論，不僅推動了數(shù)學(xué)理論的發(fā)展，而且對整個(gè)數(shù)學(xué)領(lǐng)域產(chǎn)生了深遠(yuǎn)影響。這三個(gè)流派，雖然起源于對同一問題的不同解答，但它們各自獨(dú)特的視角和方法，構(gòu)成了數(shù)學(xué)探索中不可或缺的多元性，共同推動了數(shù)學(xué)的深化與進(jìn)步。
數(shù)學(xué)基礎(chǔ)的三大學(xué)派
三大數(shù)學(xué)流派是圍繞數(shù)學(xué)的哲學(xué)基礎(chǔ)問題進(jìn)行的不同探討而形成的三大學(xué)派，主要指邏輯主義、形式主義和直覺主義三大學(xué)派。其形成主要是在1900年到1930年這三十年間。代表人物有羅素、希爾伯特、布勞威爾。邏輯主義：主要代表人物是羅素， 在《數(shù)學(xué)的原理》及《數(shù)學(xué)原理》中，羅素的目標(biāo)在于證明“數(shù)學(xué)和邏輯是全等...
三大數(shù)學(xué)流派的三大數(shù)學(xué)流派簡介
在《基礎(chǔ)教育百科全書·數(shù)學(xué)卷》(設(shè)計(jì)書)中,提到的數(shù)學(xué)學(xué)派有:伊奧尼亞學(xué)派、畢達(dá)哥拉斯學(xué)派、詭辯學(xué)派、智人學(xué)派、埃利亞學(xué)派、原子論學(xué)派、雅典學(xué)派、柏拉圖學(xué)派、亞里士多德學(xué)派、亞歷山大里亞學(xué)派、格丁根學(xué)派、柏林學(xué)派、彼得堡學(xué)派、意大利代數(shù)幾何學(xué)派、法國函數(shù)論學(xué)派、直覺主義學(xué)派、邏輯主義學(xué)派、形式主義學(xué)派、...
三大數(shù)學(xué)流派的介紹
三大數(shù)學(xué)流派是圍繞數(shù)學(xué)的哲學(xué)基礎(chǔ)問題進(jìn)行的不同探討而形成的三大學(xué)派，主要指邏輯主義、形式主義和直覺主義三大學(xué)派。其形成主要是在1900年到1930年這三十年間。代表人物有羅素、希爾伯特、克勞威爾。
四大數(shù)學(xué)流派都有什么
數(shù)學(xué)領(lǐng)域中，四大流派分別是算術(shù)、代數(shù)、幾何和分析。其中，算術(shù)專注于整數(shù)和自然數(shù)的運(yùn)算規(guī)律，通過加減乘除等基本運(yùn)算，揭示數(shù)字之間的關(guān)系。代數(shù)則深入研究數(shù)與符號之間的關(guān)系，借助符號表達(dá)式來處理數(shù)學(xué)問題。代數(shù)通過方程、不等式等工具，幫助人們解決復(fù)雜的數(shù)學(xué)問題。幾何學(xué)則是研究空間和圖形的性質(zhì)，通過...
三大數(shù)學(xué)流派直覺主義
荷蘭數(shù)學(xué)家克勞威爾是直覺主義這一數(shù)學(xué)流派的重要奠基者和代表人物。在數(shù)學(xué)哲學(xué)的探討中，直覺主義是一種獨(dú)特的研究方法，它強(qiáng)調(diào)通過人類的構(gòu)造性思維來開展數(shù)學(xué)研究。在直覺主義的視角下，數(shù)學(xué)對象被視為思維活動的產(chǎn)物，其存在性直接與構(gòu)造的可能性相等價(jià)，這與經(jīng)典方法有所區(qū)別。經(jīng)典方法主張通過否定不存在...
如何通俗地解釋數(shù)學(xué)的三大哲學(xué)基礎(chǔ)流派:邏輯主義、形式主義、直覺主義...
當(dāng)要深入理解數(shù)學(xué)的哲學(xué)基礎(chǔ)時(shí)，我們可以嘗試用日常語言來描繪這三大流派：邏輯主義、形式主義和直覺主義。讓我們逐一探索它們的理念，就像揭開數(shù)學(xué)的神秘面紗。邏輯主義，如同弗雷格的理念，主張數(shù)學(xué)的基礎(chǔ)在于邏輯本身。它認(rèn)為數(shù)學(xué)對象并非獨(dú)立于邏輯存在，而是邏輯結(jié)構(gòu)的產(chǎn)物，公理是邏輯真理的體現(xiàn)。邏輯主義...
數(shù)學(xué)哲學(xué)的數(shù)學(xué)流派
哲學(xué)觀點(diǎn)不同的數(shù)學(xué)派別：邏輯主義學(xué)派主要代表：羅素、阿弗烈·諾夫·懷海德、魯?shù)婪颉烟睾＠碚摚簲?shù)學(xué)能歸約為邏輯論點(diǎn)：1、數(shù)學(xué)概念能通過明確的定義從邏輯概念中導(dǎo)出。2、數(shù)學(xué)定理能通過純粹的邏輯演繹從邏輯公里中推導(dǎo)出來。直覺主義學(xué)派布勞威爾、海廷、貝克爾、戴德金、康德的等理論：數(shù)學(xué)是人類精神的...
數(shù)學(xué)史上的三次大顛覆分別是什么?
但在另一方面，羅素悖論對數(shù)學(xué)而言有著更為深刻的影響。它使得數(shù)學(xué)基礎(chǔ)問題第一次以最迫切的需要的姿態(tài)擺到數(shù)學(xué)家面前，導(dǎo)致了數(shù)學(xué)家對數(shù)學(xué)基礎(chǔ)的研究。而這方面的進(jìn)一步發(fā)展又極其深刻地影響了整個(gè)數(shù)學(xué)。如圍繞著數(shù)學(xué)基礎(chǔ)之爭，形成了現(xiàn)代數(shù)學(xué)史上著名的三大數(shù)學(xué)流派，而各派的工作又都促進(jìn)了數(shù)學(xué)的大發(fā)展...
相關(guān)評說：
黃巖區(qū)安全： ______ 1 南開大學(xué)是我國第一家開辦旅游本科教育的高等院校 3 擁有旅游管理本科、碩士(學(xué)碩與專碩)、博士完整教育體系 6 人才培養(yǎng)的旅游企業(yè)、旅游市場、旅游生態(tài)、旅游信息、服務(wù)與休閑、會展經(jīng)濟(jì)與管理六大方向 10 與海外十所知名院校建...
黃巖區(qū)安全： ______ 1 (前3500-前500)數(shù)學(xué)起源與早期發(fā)展: 古埃及數(shù)學(xué)、美索不達(dá)米亞(古巴比倫)數(shù)學(xué) 2(前600-5世紀(jì))古代希臘數(shù)學(xué):論證數(shù)學(xué)的發(fā)端、歐式幾何 3(3世紀(jì)-14世紀(jì))中世紀(jì)的中國數(shù)學(xué)、印度數(shù)學(xué)、阿拉伯?dāng)?shù)學(xué):實(shí)用數(shù)學(xué)的輝煌 4(12世紀(jì)-17世...
黃巖區(qū)安全： ______ 現(xiàn)今引申義今天烏托邦往往有一個(gè)更加廣泛的意義.它一般用來描寫任何想象的、理想的社會.有時(shí)它也被用來描寫今天社會試圖將某些理論變成實(shí)現(xiàn)的嘗試.往往烏托邦也被用來表示某些好的,但是無法實(shí)現(xiàn)的(...
