《证明与反驳:数学发现的逻辑》是匈牙利裔英国籍著名哲学家伊姆雷·拉卡托斯于20世纪60年代完成的一部探索数学史上新的发现产生过程的经典著作。书的主要内容包括作者用5年时间收集的两个典型的数学案例，以及《证明与反驳:数学发现的逻辑》的编者添加的拉卡托斯1961年在剑桥大学所撰博士论文的部分内容。拉卡托斯是以对话体的形式进行写作的，他虚构了教师在课堂上与学生们讨论正多面体欧拉公式V-E+F＝2的猜想与发现、证明和反驳的全过程，形象地展现了数学史上对此问题进行研究探索的真实的历史图景，以此来挑战和批判以希尔伯特为代表的认为数学等同于形式公理的抽象、把数学哲学与数学史割裂开来的形式主义数学史观。此篇光辉论著的主要目的是要解决数学方法论的基本问题，以一种探索和发现的情境逻辑来代替形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非形式、准经验的数学的发展，并不只靠逐步增加的毋庸置疑的定理的数目，而是靠以思辨与批评、证明与反驳之逻辑对最初猜想的持续不断的改进。
具体描述
读后感
这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式，通过历史上对多面体欧拉公式的真伪辩论，来说明作者对于科学发现的认识。 如何才能证明一个定理为真？或许这是不可能的，因为人类的语言没有明澈到这么一个地步，能够毫无偏差地描述所要描述的概念。...
评分该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...
评分该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...
评分这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式，通过历史上对多面体欧拉公式的真伪辩论，来说明作者对于科学发现的认识。 如何才能证明一个定理为真？或许这是不可能的，因为人类的语言没有明澈到这么一个地步，能够毫无偏差地描述所要描述的概念。...
评分该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...
用户评价
数学的魅力和发展的动力之一正在于其对自身的批判，梯子是永远都抽不掉的
评分向拉卡托斯的吐槽之魂致敬...
评分数学的魅力和发展的动力之一正在于其对自身的批判，梯子是永远都抽不掉的
评分我爱拉卡
评分: O1-0/5025-1
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有