《证明与反驳:数学发现的逻辑》是匈牙利裔英国籍著名哲学家伊姆雷·拉卡托斯于20世纪60年代完成的一部探索数学史上新的发现产生过程的经典著作。书的主要内容包括作者用5年时间收集的两个典型的数学案例，以及《证明与反驳:数学发现的逻辑》的编者添加的拉卡托斯1961年在剑桥大学所撰博士论文的部分内容。拉卡托斯是以对话体的形式进行写作的，他虚构了教师在课堂上与学生们讨论正多面体欧拉公式V-E+F＝2的猜想与发现、证明和反驳的全过程，形象地展现了数学史上对此问题进行研究探索的真实的历史图景，以此来挑战和批判以希尔伯特为代表的认为数学等同于形式公理的抽象、把数学哲学与数学史割裂开来的形式主义数学史观。此篇光辉论著的主要目的是要解决数学方法论的基本问题，以一种探索和发现的情境逻辑来代替形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非形式、准经验的数学的发展，并…

拉卡托斯（Imre Lakatos，1922—1974）
英籍匈牙利人，出身于匈牙利的一个犹太人家庭，是20世纪著名的数学哲学家、科学哲学家，也是现代科学哲学历史学派的主要代表之一。二战期间是积极的共产党人，1950年至1953年以修正主义者之名被监禁。1956年苏联出兵匈牙利后，流亡到英国，继续求学，获剑桥大学哲学博士学位，后入英国籍。从20世纪60年代初起到去世为止，一直在伦敦经济学院任教，与波普（Karl Popper）和沃特金斯（John Watkins）共事，波普任科学方法、逻辑学和哲学系主任，并任《科学哲学》杂志主编。
主要著作有《科学研究纲领方法论》《数学、科学与认识论》《证明与反驳》。

评论

窝给6星www
在数学过程中【显而易见】【由此可得】是我们最痛恨的东西，当然也包括【因为 xx 是基本定理，所以。。】。这本书并非直接解答这些问题，而是讨论应该怎样开始，思路是否有问题，甚至走到源头分析可依赖的定理是否本身就有问题，如果有，边界是怎样，什么才是正确的边界。有边界的定理是否还是定理，等等。当然，如果一本能够让我们从“问题中来，到问题中去”，本身就是有趣的。
开启新思维的一本对多数国人来说是新书的旧书。
对我有相当影响的一本书
想象力是无穷的，那个七面体的构思看了半天才明白，简直把我惊到了。。。后面就不懂了。。。其实，有高级公式的地方我基本都不懂