拉卡托斯(Imre Lakatos,1922—1974),英籍匈牙利人,猶太裔,數學哲學傢、科學哲學傢,宗波普爾。早年信仰共産主義,後諱談往事。
《證明與反駁:數學發現的邏輯》是匈牙利裔英國籍著名哲學傢伊姆雷·拉卡托斯於20世紀60年代完成的一部探索數學史上新的發現産生過程的經典著作。書的主要內容包括作者用5年時間收集的兩個典型的數學案例,以及《證明與反駁:數學發現的邏輯》的編者添加的拉卡托斯1961年在劍橋大學所撰博士論文的部分內容。拉卡托斯是以對話體的形式進行寫作的,他虛構瞭教師在課堂上與學生們討論正多麵體歐拉公式V-E+F=2的猜想與發現、證明和反駁的全過程,形象地展現瞭數學史上對此問題進行研究探索的真實的曆史圖景,以此來挑戰和批判以希爾伯特為代錶的認為數學等同於形式公理的抽象、把數學哲學與數學史割裂開來的形式主義數學史觀。此篇光輝論著的主要目的是要解決數學方法論的基本問題,以一種探索和發現的情境邏輯來代替形式主義和邏輯實證主義的抽象教條。正如拉卡托斯所說,非形式、準經驗的數學的發展,並不隻靠逐步增加的毋庸置疑的定理的數目,而是靠以思辨與批評、證明與反駁之邏輯對最初猜想的持續不斷的改進。
發表於2024-12-25
證明與反駁 2024 pdf epub mobi 電子書 下載
該書要麵對的首要問題就是:數學知識的發展是不是形式化的演繹推理。 我覺得傻子也知道根本不是,這何以能夠成為一個重要的問題。 數學學者,乃至自然科學學者,都有一種極大的慣性,將學術發現史的艱辛曆程全然拋棄,一旦綜述誕生,之前的一切都不再重要。不管不收斂級數有沒...
評分該書要麵對的首要問題就是:數學知識的發展是不是形式化的演繹推理。 我覺得傻子也知道根本不是,這何以能夠成為一個重要的問題。 數學學者,乃至自然科學學者,都有一種極大的慣性,將學術發現史的艱辛曆程全然拋棄,一旦綜述誕生,之前的一切都不再重要。不管不收斂級數有沒...
評分該書要麵對的首要問題就是:數學知識的發展是不是形式化的演繹推理。 我覺得傻子也知道根本不是,這何以能夠成為一個重要的問題。 數學學者,乃至自然科學學者,都有一種極大的慣性,將學術發現史的艱辛曆程全然拋棄,一旦綜述誕生,之前的一切都不再重要。不管不收斂級數有沒...
評分這本書要講的道理非常清楚,作者在引言裏麵已經說得很清楚瞭, 非形式、準經驗的數學的發展,並不隻靠逐增加的毋庸置疑的定理的數目,而是靠以思辨與批評、證明與反駁之邏輯對最初猜想的持續不斷的改進。不過,因為元數學是如今正迅速發展的非形式、準經驗的數學的一個範式,所...
評分這是一本讓我不僅僅覺得是所描述的數學內容有趣的書。書中以對話體的方式,通過曆史上對多麵體歐拉公式的真僞辯論,來說明作者對於科學發現的認識。 如何纔能證明一個定理為真?或許這是不可能的,因為人類的語言沒有明澈到這麼一個地步,能夠毫無偏差地描述所要描述的概念。...
圖書標籤: 數學 思維 邏輯 科學哲學 科普 哲學 證明與反駁 拉卡托斯
在數學過程中【顯而易見】【由此可得】是我們最痛恨的東西,當然也包括【因為 xx 是基本定理,所以。。】。這本書並非直接解答這些問題,而是討論應該怎樣開始,思路是否有問題,甚至走到源頭分析可依賴的定理是否本身就有問題,如果有,邊界是怎樣,什麼纔是正確的邊界。有邊界的定理是否還是定理,等等。當然,如果一本能夠讓我們從“問題中來,到問題中去”,本身就是有趣的。
評分非常有意思 詼諧、迷人
評分3/4星之間
評分傑作。翻譯太沒漢語味兒瞭,攪腦子,雖然語法沒齣什麼問題。不如87年上譯社康宏逵的譯本,下一遍讀他的。
評分強烈推薦!!!
證明與反駁 2024 pdf epub mobi 電子書 下載