图书标签: 逻辑学 集合论 哲学 数学哲学 《哥德尔证明》 数学 哲思 nemlophics
发表于2024-11-20
哥德尔纲领 pdf epub mobi txt 电子书 下载 2024
本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后,关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决,连续统假设既不是真的也不是假的,这就是很后的答案,因此,这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决,我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始,其核心就是寻找集合论的新公理。在此之后,特别是20世纪80年代以来,集合论学家在这个方向上取得了一系列重要的成就。2010年之后,整个图景逐渐清晰起来。粗略地说,连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功,那就在某种意义上出现了一个优选的模等。
郝兆宽,复旦大学哲学学院教授。*自然辩证法协会常务理事,数学哲学专业委员会主任。中国数学学会数理逻辑专业委员会理事。主要研究领域为数理逻辑、数学哲学。
其实从科普的性质上来讲已经写得很不错了。 需要集合论的基础才能读懂,篇幅上的详略安排得蛮到位的。看得出来作者也是很用心在写。
评分这种书从头到尾都应该撩拨物理学家的心。 一本比较新近的数学哲学地图,虽然哥德尔纲领尚未实现,但这本手册仍然标明了已经认识的,可能认识的,不可能认识的,可能不可能认识的地方。对于一些人,或许也是一份认识物理宇宙的地图。 内容很前沿,但过于简练,有集合论基础也未必能完全看懂。
评分正式读数理逻辑书前的科普书准备(雾)。 首先,哥德尔的观念实在论柏拉图主义认为,概念不是人的心灵构造,也不是无意义的形式;观念世界是与物理世界独立的且地位相等的客观实在。一切命题都在那样的柏拉图世界里有确定的真值,如果一个信以为真的命题被证明与公理独立,那只能说明公理的表现力不够。 哥德尔的计划,就是找到这个柏拉图世界,这个绝对的集合论宇宙V。 最近,集合论学家的突破在发觉终极L看起来应该是V,一个激动人心的证据是当内模型HOD只需包含一个超紧致基数时,他就接近于V而不需要再去构造包含更大基数的模型了。 并且,如果V=终极L,那么CH, GCH也同时成立。 给四星是因为概念树不自封。许多概念未经定义就直接使用,作为科普书颇是硬伤。 可能其实是面向专家的前沿科普?那前面那些章节干嘛的(半恼)
评分其实从科普的性质上来讲已经写得很不错了。 需要集合论的基础才能读懂,篇幅上的详略安排得蛮到位的。看得出来作者也是很用心在写。
评分正式读数理逻辑书前的科普书准备(雾)。 首先,哥德尔的观念实在论柏拉图主义认为,概念不是人的心灵构造,也不是无意义的形式;观念世界是与物理世界独立的且地位相等的客观实在。一切命题都在那样的柏拉图世界里有确定的真值,如果一个信以为真的命题被证明与公理独立,那只能说明公理的表现力不够。 哥德尔的计划,就是找到这个柏拉图世界,这个绝对的集合论宇宙V。 最近,集合论学家的突破在发觉终极L看起来应该是V,一个激动人心的证据是当内模型HOD只需包含一个超紧致基数时,他就接近于V而不需要再去构造包含更大基数的模型了。 并且,如果V=终极L,那么CH, GCH也同时成立。 给四星是因为概念树不自封。许多概念未经定义就直接使用,作为科普书颇是硬伤。 可能其实是面向专家的前沿科普?那前面那些章节干嘛的(半恼)
评分
评分
评分
评分
哥德尔纲领 pdf epub mobi txt 电子书 下载 2024