《证明与反驳：数学发现的逻辑》

由于链接经常和谐，需要本书电子版的朋友可以关注微信公众号：【三无书舍】(sanwubook)，首页回复数字175，下载地址自动弹出。

书名：证明与反驳

作者：[英]伊姆雷·拉卡托斯

复旦大学出版社：

副标题：数学发现的逻辑

译者：方刚/兰钊

出版年：2007-3

页数：193

类别：数学书籍

格式：pdf

ISBN：9787309053975

作者简介：

拉卡托斯(Imre Lakatos，1922—1974)，匈牙利人，犹太人，数学哲学家，科学哲学家，宗波普尔。早年，我相信共产主义，然后谈论过去。

内容简介：证明与反驳：

伊姆雷是匈牙利裔英国著名哲学家·20世纪60年代，拉卡托斯完成了一部探索数学史上新发现和生产过程的经典作品。这本书的主要内容包括作者在5年内收集的两个典型的数学案例，以及1961年在剑桥大学撰写的部分博士论文的《证明与反驳：数学发现的逻辑》编辑添加的拉卡托斯。拉卡托斯以对话的形式写作。他编造老师在课堂上与学生讨论多面体欧拉公式V-E F＝2猜想与发现、证明与反驳的整个过程生动地展示了数学史上研究和探索这一问题的真实历史图景，从而挑战和批评以希尔伯特为代表的抽象数学相当于形式公理，将数学哲学与数学史分开的形式主义数学史观。本文的主要目的是解决数学方法论的基本问题，用探索和发现的情境逻辑取代形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非正式和准经验数学的发展不仅取决于毫无疑问的定理数量的逐渐增加，还取决于猜测与批评、证明与反驳的逻辑。

下载地址：