机读格式显示(MARC)

• 000 02026nam 2200361 450

• 001 0000658708

• 005 20190301155600.0

• 010 __ |a 978-7-309-13405-6 |b 精装 |d CNY28.00

• 099 __ |a CAL 012018080522

• 100 __ |a 20180512d2018 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 哥德尔纲领 |A ge de er gang ling |d = Godel's program |f 郝兆宽著 |z eng

• 210 __ |a 上海 |c 复旦大学出版社 |d 2018

• 215 __ |a 18, 183页 |c 图 |d 21cm

• 225 2_ |a 当代哲学问题研读指针丛书 |A dang dai zhe xue wen ti yan du zhi zhen cong shu |i 逻辑和科技哲学系列

• 300 __ |a “十二五”国家重点出版物出版规划项目

• 306 __ |a 本书由上海文化发展基金会图书出版专项基金资助出版

• 314 __ |a 郝兆宽, 复旦大学哲学学院教授。

• 320 __ |a 有书目 (第173-183页)

• 330 __ |a 本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后, 关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的解决, 连续统假设既不是真的也不是假的, 这就是答案, 因此, 这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决, 我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始, 其核心就是寻找集合论的新公理。在此之后, 特别是20世纪80年代以来, 集合论学家在这个方向上取得了一系列重要的成就。2010年之后, 整个图景逐渐清晰起来。粗略地说, 连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功, 那就在某种意义上出现了一个模型, 在其中连续统假设是真的。这可以看作是哥德尔纲领的实现。

• 410 _0 |1 2001 |a 当代哲学问题研读指针丛书 |i 逻辑和科技哲学系列

• 510 1_ |a Godel's program |z eng

• 600 _1 |a 戈德尔 |A ge de er |g (Godel, Kurt), |f 1906-1978 |x 逻辑哲学 |x 研究

• 606 0_ |a 哲学家 |A zhe xue jia |x 逻辑哲学 |x 研究 |y 奥地利 |z 现代

• 690 __ |a B712.59 |v 5

• 690 __ |a B81-05 |v 5

• 701 _0 |a 郝兆宽 |A hao zhao kuan |4 著

• 801 _0 |a CN |b 湖北三新 |c 20180512

• 905 __ |a SCNU |f B712.59/4733

• 920 __ |a 242430 |z 1