Screen Library哥德尔纲领 = Godel's program
Saved in:
| Main Authors: | |
|---|---|
| Published: |
复旦大学出版社有限公司
|
| Publisher Address: | 上海 |
| Publication Dates: | 2018 |
| Literature type: | Book |
| Language: | Chinese |
| Series: |
当代哲学问题研读指针丛书逻辑和科技哲学系列 |
| Subjects: | |
| Carrier Form: | 18,183页: ; 21cm |
| ISBN: | 978-7-309-13405-6 |
| Index Number: | B712 |
| CLC: |
B712.59 B81-05 |
| Call Number: | B712.59/4333 |
| Contents: |
本书由上海文化发展基金会图书出版专项基金资助出版 “十二五”国家重点出版物出版规划项目 有书目（第173-183页） 本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的最好解决，连续统假设既不是真的也不是假的，这就是最后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们需要加强现有 |