证明与反驳 短评

热门 最新
  • 0 发条君G 2024-06-18 18:20:49 辽宁

    有些影响

  • 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 中国香港

    最早自觉地思考“形式”和“分析”逻辑的问题是在被问起所谓思路的时候,那时便开始惊奇原来所谓证明的逻辑与发现的逻辑之间的差距竟然这么大甚至到了后者无法被描述的地步。拉卡托斯很幽默地把形式主义形容为维萨留斯解剖的尸体:在特定的“历史”背景(也是形式主义最讨厌的用词之一)之下是有效且合理的。但要说离开了形式语言的科学就是空谈,这样的观念显然是对认识的背叛。从这种角度来看维特根斯坦式的数学观念,即数学只是用符号对已有(但不一定已知)知识的重新标明,是很难称之为正确的。表面上看这种观点乐观地预示了系统知识的先验完备性(当然已经被哥德尔证伪),或者至少是数学的正确性;但实际上却是对人的认识的过度扭曲之后的机械化,同时这种看法在当下显然是悲观的,这意味着最具形式特征的计算机将取代科学家的工作,幸好他错了。

  • 0 陈小奈 2023-05-18 17:55:54 上海

    有点高深

  • 0 星期六 2022-12-25 21:33:05 辽宁

    写的形式挺有趣,不过也不成体系,没有解决什么基本问题。不想再看了

  • 0 子珺~Jun 2022-06-21 23:59:58

    以我的数学水平还不能读懂这本书,不做评价。

  • 0 一条狗的研究 2022-04-15 22:02:22

    来看数学哲学的,前两章实在很能激发反驳欲,尤其是关于拓扑的欧拉公式那里。拉卡托斯说的东西其实被归类为欧拉示性数,并且被发现是一个拓扑不变量。他觉得这个过程很像库恩的那个范式转换。但是后来拓扑是能解释之前的纰漏,而不是替代。而且他主张每个证明都有类似的直觉残留,但是很明显后面有几个证明他实在找不到这样的直觉残留,主张说一定有,只是还没找到。这真是像极了嘴硬原子命题存在的罗素。至少我感觉拉卡托斯对数学哲学的研究是在强行脱离早期直觉主义形式主义逻辑主义三分的格局,但是结果来看我觉得他不是很成功。相比之下维特根斯坦对逻辑主义的锐评还算说的过去,至少如今数学家不关心数理逻辑是真的。

  • 0 2022-01-24 00:54:18

    强调反驳的作用,反对演绎主义的idea很有启发性,用虚构对话的形式复盘定理的方法很新颖,但可读性(无论从翻译还是数学角度)就…

  • 0 Lavande Vraie 2022-01-22 06:11:47

    这本书请读纸质的,否则您根本不知道是谁在说啥。

  • 0 狡兔三窟 2021-12-05 23:33:06

    数学苦手跪着表示看不懂……所以只能象征性打三星 @2016-12-04 17:38:06

  • 0 ZZK 2021-11-05 15:27:30

    特别有意思的小书,形式轻盈内核厚重,像是把掷向数学严格性神话的投枪。

  • 0 阳极-半导体 2021-06-08 14:58:17

    过了八十年,这个方向也深化不少,关键还是得益于九十年代新建立起的一套自然科学世界观,侯世达这个方向深化的不错。

  • 0 Lyus 2020-12-28 02:25:25

    草草的读完了后半部分,许多对话都没太看明白,但依然收获颇多,过几个月在读一遍吧。

  • 0 宇凡 2020-11-04 18:12:52

    假装翻了就是得懂这些数学。。

  • 0 小岛 2020-08-28 10:39:02

    @2013-03-23 06:15:25

  • 0 失望的奥利瓦🌈 2020-04-23 11:17:31

    思想部分明白了,至于一些具体的例子,可能得等数分学到那里了,才能回过头再看一遍。 无论如何,这本书某种意义上都是颠覆了我的数学观的。抛弃了原本的直觉主义、逻辑主义、形式主义的三足鼎立,建立了某种历史角度的数学“发现的逻辑”,我认为本该产生更大的影响才是。

  • 0 秦南秦 2020-02-24 10:09:52

    一本严肃讨论数学认识过程的科学哲学书,有点像柏拉图的理想国,一问一答,反驳反证。囫囵吞枣,不求甚解,礼貌4星。

<< 首页 < 前页 后页 >