内容简介
《证明与反驳:数学发现的逻辑》是匈牙利裔英国籍著名哲学家伊姆雷·拉卡托斯于20世纪60年代完成的一部探索数学史上新的发现产生过程的经典著作。书的主要内容包括作者用5年时间收集的两个典型的数学案例，以及《证明与反驳:数学发现的逻辑》的编者添加的拉卡托斯1961年在剑桥大学所撰博士论文的部分内容。拉卡托斯是以对话体的形式进行写作的，他虚构了教师在课堂上与学生们讨论正多面体欧拉公式V-E+F＝2的猜想与发现、证明和反驳的全过程，形象地展现了数学史上对此问题进行研究探索的真实的历史图景，以此来挑战和批判以希尔伯特为代表的认为数学等同于形式公理的抽象、把数学哲学与数学史割裂开来的形式主义数学史观。此篇光辉论著的主要目的是要解决数学方法论的基本问题，以一种探索和发现的情境逻辑来代替形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非形式、准经验的数学的发展，并不只靠逐步增加的毋庸置疑的定理的数目，而是靠以思辨与批评、证明与反驳之逻辑对最初猜想的持续不断的改进。
作者简介
伊姆雷・拉卡托斯（Imre Lakatos，1922—1974）、著名数学哲学家和科学哲学家，当代西方科学哲学“历史学派”主要代表人物之一。出生于匈牙利的一个犹太商人家庭， 1944年在德布勒森大学毕业。1949年留学莫斯科大学。从1969年起在伦敦经济学院任教，并成为卡尔·波普尔的学生和同事，1972年任该学院科学方法、逻辑和哲学系主任，并兼任《不列颠科学哲学杂志》主编。他的主要学术著作在死后由他人整理成《哲学论文集》出版，《科学研究纲领方法论》是其中第一卷。
证明与反驳是2007年由复旦大学出版社出版,作者[英]伊姆雷·拉卡托斯。
得书感谢您对《证明与反驳》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
