作者:
[英] 伊姆雷·拉卡托斯
出版社: 复旦大学出版社
副标题: 数学发现的逻辑
原作名: Proofs and Refutations: The Logic of Mathematical Discovery
译者: 方刚 / 兰钊
出版年: 2007-3
页数: 193
定价: 15.00元
装帧: 平装
丛书: 西方数学文化理念传播译丛
ISBN: 9787309053975
出版社: 复旦大学出版社
副标题: 数学发现的逻辑
原作名: Proofs and Refutations: The Logic of Mathematical Discovery
译者: 方刚 / 兰钊
出版年: 2007-3
页数: 193
定价: 15.00元
装帧: 平装
丛书: 西方数学文化理念传播译丛
ISBN: 9787309053975
这本书的其他版本 · · · · · · ( 全部4 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 『只读经典』思考的技术与艺术(原“学会思考”) (刘未鹏pongba)
- 豆瓣五星图书【科学】 (爱玛·包法利)
- 美丽的数学 (大鸟信天翁)
- 37°暖书单(二) (37°暖)
- 6.大脑学习法--如何思维 (葡萄)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于证明与反驳的评论:
feed: rss 2.0
0 有用 everstone 2011-09-29 21:04:22
想象力是无穷的,那个七面体的构思看了半天才明白,简直把我惊到了。。。后面就不懂了。。。其实,有高级公式的地方我基本都不懂
2 有用 聆溪tooCynical 2012-08-07 09:36:02
向拉卡托斯的吐槽之魂致敬...
0 有用 刘罗锅 2009-03-10 00:29:41
开启新思维的一本对多数国人来说是新书的旧书。
0 有用 芈子叶 2011-10-24 12:42:19
翻译伤害了我。
0 有用 Byzaboo 2014-03-10 19:44:45
窝给6星www
0 有用 Novoy-山 2024-05-21 18:07:42 浙江
😫好难
0 有用 Sand Adler 2024-03-04 00:44:24 瑞士
写不来essay真的写不来
0 有用 Frank 2024-01-20 18:45:13 广东
本书由《暗时间》(电子书)p97推荐
0 有用 TinLongSeng RX 2024-01-10 15:26:12 广东
@2020-06-12 18:50:22
0 有用 Ⅶ 2023-08-03 22:33:20 中国香港
最早自觉地思考“形式”和“分析”逻辑的问题是在被问起所谓思路的时候,那时便开始惊奇原来所谓证明的逻辑与发现的逻辑之间的差距竟然这么大甚至到了后者无法被描述的地步。拉卡托斯很幽默地把形式主义形容为维萨留斯解剖的尸体:在特定的“历史”背景(也是形式主义最讨厌的用词之一)之下是有效且合理的。但要说离开了形式语言的科学就是空谈,这样的观念显然是对认识的背叛。从这种角度来看维特根斯坦式的数学观念,即数学只是... 最早自觉地思考“形式”和“分析”逻辑的问题是在被问起所谓思路的时候,那时便开始惊奇原来所谓证明的逻辑与发现的逻辑之间的差距竟然这么大甚至到了后者无法被描述的地步。拉卡托斯很幽默地把形式主义形容为维萨留斯解剖的尸体:在特定的“历史”背景(也是形式主义最讨厌的用词之一)之下是有效且合理的。但要说离开了形式语言的科学就是空谈,这样的观念显然是对认识的背叛。从这种角度来看维特根斯坦式的数学观念,即数学只是用符号对已有(但不一定已知)知识的重新标明,是很难称之为正确的。表面上看这种观点乐观地预示了系统知识的先验完备性(当然已经被哥德尔证伪),或者至少是数学的正确性;但实际上却是对人的认识的过度扭曲之后的机械化,同时这种看法在当下显然是悲观的,这意味着最具形式特征的计算机将取代科学家的工作,幸好他错了。 (展开)