《證明與反駁:數學發現的邏輯》是匈牙利裔英國籍著名哲學傢伊姆雷·拉卡托斯於20世紀60年代完成的一部探索數學史上新的發現産生過程的經典著作。書的主要內容包括作者用5年時間收集的兩個典型的數學案例，以及《證明與反駁:數學發現的邏輯》的編者添加的拉卡托斯1961年在劍橋大學所撰博士論文的部分內容。拉卡托斯是以對話體的形式進行寫作的，他虛構瞭教師在課堂上與學生們討論正多麵體歐拉公式V-E+F＝2的猜想與發現、證明和反駁的全過程，形象地展現瞭數學史上對此問題進行研究探索的真實的曆史圖景，以此來挑戰和批判以希爾伯特為代錶的認為數學等同於形式公理的抽象、把數學哲學與數學史割裂開來的形式主義數學史觀。此篇光輝論著的主要目的是要解決數學方法論的基本問題，以一種探索和發現的情境邏輯來代替形式主義和邏輯實證主義的抽象教條。正如拉卡托斯所說，非形式、準經驗的數學的發展，並不隻靠逐步增加的毋庸置疑的定理的數目，而是靠以思辨與批評、證明與反駁之邏輯對最初猜想的持續不斷的改進。
具體描述
讀後感
这本书要讲的道理非常清楚，作者在引言里面已经说得很清楚了， 非形式、准经验的数学的发展，并不只靠逐增加的毋庸置疑的定理的数目，而是靠以思辨与批评、证明与反驳之逻辑对最初猜想的持续不断的改进。不过，因为元数学是如今正迅速发展的非形式、准经验的数学的一个范式，所...
評分该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...
評分该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...
評分该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...
評分该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...
用戶評價
數學的魅力和發展的動力之一正在於其對自身的批判，梯子是永遠都抽不掉的
评分按需。重復瞭扔瞭。
评分囫圇吞棗不求甚解，還會再讀的。
评分想象力是無窮的，那個七麵體的構思看瞭半天纔明白，簡直把我驚到瞭。。。後麵就不懂瞭。。。其實，有高級公式的地方我基本都不懂
评分翻譯太生硬瞭，跟康宏逵版的沒法比。如今我們的翻譯人纔真的凋零瞭。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有