简介 · · · · · ·
该书是匈牙利裔英国籍著名哲学家伊姆雷·拉卡托斯于20世纪60年代完成的一部探索数学史上新发现的产生过程的力作，主要阐述作者用5年时间收集的两个典型的数学案例，以及本书编者添加的拉卡托斯1961年在剑桥大学所撰博士论文的部分片段。
拉卡托斯是用对话体的形式进行写作的，他虚构了教师在课堂上与学生们讨论正多面体欧拉公式 V-E+F=2 的猜想与发现、证明和反驳的全过程，形象地展现了数学史上对此问题进行研究探索的真实的历史图景，以此来挑战和批判以希尔伯特为代表的认为数学等同于形式公理的抽象、把数学哲学与数学史割裂开来的形式主义数学史观。这篇光辉论著旨在解决数学方法论的基本问题，以一种探索和发现的情境逻辑来代替形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非形式、准经验的数学的发展，并不只靠逐步增加的毋庸置疑的定理的数目，而是靠以思辨与批评、证明与反... (展开全部)
拉卡托斯是用对话体的形式进行写作的，他虚构了教师在课堂上与学生们讨论正多面体欧拉公式 V-E+F=2 的猜想与发现、证明和反驳的全过程，形象地展现了数学史上对此问题进行研究探索的真实的历史图景，以此来挑战和批判以希尔伯特为代表的认为数学等同于形式公理的抽象、把数学哲学与数学史割裂开来的形式主义数学史观。这篇光辉论著旨在解决数学方法论的基本问题，以一种探索和发现的情境逻辑来代替形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非形式、准经验的数学的发展，并不只靠逐步增加的毋庸置疑的定理的数目，而是靠以思辨与批评、证明与反... (展开全部)
作者简介 · · · · · ·
拉卡托斯（Imre Lakatos，1922—1974），英籍匈牙利人，出身于匈牙利的一个犹太人家庭，是20世纪著名的数学哲学家、科学哲学家，也是现代科学哲学历史学派的主要代表之一。二战期间是积极的共产党人，1950年至1953年以修正主义者之名被监禁。1956年苏联出兵匈牙利后，流亡到英国，继续求学，获剑桥大学哲学博士学位，后入英国籍。从20世纪60年代初起到去世为止，一直在伦敦经济学院任教，与波普（Karl Popper）和沃特金斯（John Watkins）共事，波普任科学方法、逻辑学和哲学系主任，并任《科学哲学》杂志主编。主要著作有《科学研究纲领方法论》、 《数学、科学与认识论》、《证明与反驳》。
丛书信息
西方数学文化理念传播译丛 (共9册),
这套丛书还有
《西方文化中的数学》,《数学哲学》,《高观点下的初等数学(共3册)/西方数学文化理念传播译丛》,《微积分概念发展史》,《数学恩仇录：数学家的十大论战》 等。
喜欢读"证明与反驳：数学发现的逻辑"的人也喜欢 · · · · · ·
"证明与反驳：数学发现的逻辑"论坛 · · · · · ·
我来评论这本书豆瓣成员最受欢迎的书评 (1条) · · · · · ·
数学也可以像小说一样有趣
-
- kengo 这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式，通过历史上对多面体欧拉公式的真伪辩论，来说明作者对于科学发现的认识。 如何才能证明一个定理为真？或许这是不可能的，因为人类的语言没有明澈到这么一个地步，能够毫无偏差地描述所要描述的概念。（这句话本身就有点问题，既然已经是定理了，又何必去证明？或...... (5回应)
2007-10-02 2/3人推荐
以下豆列推荐 · · · · · · (全部)
- 『只读经典』思考的技术与艺术（原“学会思考”） (刘未鹏(pongba))
- 出口成章——对话录与谈话录 (維舟)
- Kogorou推荐的数学科普读物 (Kogorou)
- 美丽的数学 (大鸟信天翁)
- 西方数学文化理念传播译丛·复旦大学版 (显微无间)
谁读这本书?
