圖書標籤: 數學 思維 邏輯 科學哲學 科普 哲學 證明與反駁 拉卡托斯
发表于2024-11-21
證明與反駁 pdf epub mobi txt 電子書 下載 2024
《證明與反駁:數學發現的邏輯》是匈牙利裔英國籍著名哲學傢伊姆雷·拉卡托斯於20世紀60年代完成的一部探索數學史上新的發現産生過程的經典著作。書的主要內容包括作者用5年時間收集的兩個典型的數學案例,以及《證明與反駁:數學發現的邏輯》的編者添加的拉卡托斯1961年在劍橋大學所撰博士論文的部分內容。拉卡托斯是以對話體的形式進行寫作的,他虛構瞭教師在課堂上與學生們討論正多麵體歐拉公式V-E+F=2的猜想與發現、證明和反駁的全過程,形象地展現瞭數學史上對此問題進行研究探索的真實的曆史圖景,以此來挑戰和批判以希爾伯特為代錶的認為數學等同於形式公理的抽象、把數學哲學與數學史割裂開來的形式主義數學史觀。此篇光輝論著的主要目的是要解決數學方法論的基本問題,以一種探索和發現的情境邏輯來代替形式主義和邏輯實證主義的抽象教條。正如拉卡托斯所說,非形式、準經驗的數學的發展,並不隻靠逐步增加的毋庸置疑的定理的數目,而是靠以思辨與批評、證明與反駁之邏輯對最初猜想的持續不斷的改進。
拉卡托斯(Imre Lakatos,1922—1974),英籍匈牙利人,猶太裔,數學哲學傢、科學哲學傢,宗波普爾。早年信仰共産主義,後諱談往事。
按需。重復瞭扔瞭。
評分囫圇吞棗不求甚解,還會再讀的。
評分我愛拉卡
評分按需。重復瞭扔瞭。
評分想象力是無窮的,那個七麵體的構思看瞭半天纔明白,簡直把我驚到瞭。。。後麵就不懂瞭。。。其實,有高級公式的地方我基本都不懂
这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式,通过历史上对多面体欧拉公式的真伪辩论,来说明作者对于科学发现的认识。 如何才能证明一个定理为真?或许这是不可能的,因为人类的语言没有明澈到这么一个地步,能够毫无偏差地描述所要描述的概念。...
評分该书要面对的首要问题就是:数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是,这何以能够成为一个重要的问题。 数学学者,乃至自然科学学者,都有一种极大的惯性,将学术发现史的艰辛历程全然抛弃,一旦综述诞生,之前的一切都不再重要。不管不收敛级数有没...
評分这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式,通过历史上对多面体欧拉公式的真伪辩论,来说明作者对于科学发现的认识。 如何才能证明一个定理为真?或许这是不可能的,因为人类的语言没有明澈到这么一个地步,能够毫无偏差地描述所要描述的概念。...
評分这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式,通过历史上对多面体欧拉公式的真伪辩论,来说明作者对于科学发现的认识。 如何才能证明一个定理为真?或许这是不可能的,因为人类的语言没有明澈到这么一个地步,能够毫无偏差地描述所要描述的概念。...
評分该书要面对的首要问题就是:数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是,这何以能够成为一个重要的问题。 数学学者,乃至自然科学学者,都有一种极大的惯性,将学术发现史的艰辛历程全然抛弃,一旦综述诞生,之前的一切都不再重要。不管不收敛级数有没...
證明與反駁 pdf epub mobi txt 電子書 下載 2024