|
000
|
01963nam 2200313 450
|
|
001
|
012019001770
|
|
010
|
|
@a978-7-309-13405-6@b精装@dCNY28.00
|
|
100
|
|
@a20180512d2018 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b310000
|
|
105
|
|
@aac a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a哥德尔纲领@Age de er gang ling@d= Godel's program@f郝兆宽著@Fhao zhao kuan zhu@zeng
|
|
210
|
|
@a上海@c复旦大学出版社@d2018.04
|
|
215
|
|
@a18, 183页@c图, 肖像@d21cm
|
|
225
|
2
|
@a当代哲学问题研读指针丛书@Adang 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
|
@12001 @a当代哲学问题研读指针丛书@i逻辑和科技哲学系列
|
|
510
|
1
|
@aGodel's program@zeng
|
|
600
|
1
|
@a哥德尔@Age de er@g(Godel, Kurt),@f1906-1978@x逻辑哲学@x研究
|
|
606
|
0
|
@a哲学家@Azhe xue jia@x逻辑哲学@x研究@y奥地利@z现代
|
|
690
|
|
@aB516.59@v5
|
|
701
|
0
|
@a郝兆宽@Ahao zhao kuan@4著
|
|
801
|
0
|
@aCN@c20191010
|
|
905
|
|
@a河南城建学院图书馆@b21426168-69@dB516.59@eH144@f2
|
|
|
|
|
| |
| 哥德尔纲领= Godel's program/郝兆宽著.-上海：复旦大学出版社，2018.04 |
| 18, 183页：图, 肖像；21cm.-(当代哲学问题研读指针丛书.逻辑和科技哲学系列) |
| “十二五”国家重点出版物出版规划项目 |
| |
| ISBN 978-7-309-13405-6(精装)：CNY28.00 |
| 本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后, 关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的解决, 连续统假设既不是真的也不是假的, 这就是答案, 因此, 这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决, 我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始, 其核心就是寻找集合论的新公理。在此之后, 特别是20世纪80年代以来, 集合论学家在这个方向上取得了一系列重要的成就。2010年之后, 整个图景逐渐清晰起来。粗略地说, 连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功, 那就在某种意义上出现了一个模型, 在其中连续统假设是真的。这可以看作是哥德尔纲领的实现。 |
| ● |
正题名：哥德尔纲领
索取号：B516.59/H144
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1426168
|
214261680
|
社科库509/509社科库 18排1列4层/
[索取号:B516.59/H144]
|
在馆
|
|
|
2
|
1426169
|
214261699
|
社科库509/509社科库 18排1列4层/
[索取号:B516.59/H144]
|
在馆
|
|
