| 字段 | 字段内容 |
|---|---|
| 001 | 01h1305690 |
| 005 | 20230522093814.0 |
| 010 | $a: 978-7-208-17328-6$d: CNY110.00 |
| 100 | $a: 20211116d2021 em y0chiy50 ea |
| 101 | $a: chi |
| 102 | $a: CN$b: 310000 |
| 105 | $a: y a 000yy |
| 106 | $a: r |
| 200 | $a: 抽象主义集合论$A: chou xiang zhu yi ji he lun$h: 上卷$i: 从布劳斯到斯塔德$f: 薄谋著 |
| 210 | $a: 上海$c: 上海人民出版社$d: 2021 |
| 215 | $a: 581页$d: 23cm |
| 312 | $a: 封面题英文并列题名：Abstractionist set theoryⅠ: From boolos to studd |
| 314 | $a: 薄谋(1983-)，复日大学哲学硕士、博士 (数学哲学)，南开大学数学博士后 (数理逻辑)。任职于兰州大学哲学系，专业方向为数学基础、认知科学等。 |
| 320 | $a: 有书目 (第577-581页) |
| 330 | $a: 本书论述了数学基础三大主义的热潮退去后的数学哲学领域的变化和进展。哥德尔在完成不完全定理和连续统假设的相对协调性的证明以后，提出了自己的数学哲学思想。他持一种数学实在论的思潮，认为人有知觉到数学实体的能力。对数学实在论的强力支撑是有奎因-普特南的不可或缺性论证完成的。当然，帕森斯和麦蒂继续强化了哥德尔对数学直觉的论证。从历史上追溯的话，弗雷格既是数理逻辑的创始人，也是数学实在论的持有者。罗素尽管也是逻辑主义的代表人物，但哥德尔认为他的无类理论支持的是数学唯名论立场。也就是数学实在论与唯名论的争论从数理逻辑创立之初就开始了。在罗素之后，古德曼和奎因很早就提出了唯名论化技术。这个阶段数学实在论与唯名论尚未处于对抗阶段。真正的对抗是从贝纳塞拉夫难题开始的。他认为在数学真和数学直觉间实在论和唯名论只能选择一个。贝纳塞拉夫持一种结构主义的观念，他是当代数学结构主义的先驱。 |
| 510 | $a: Abstractionist set theory$h: Ⅰ$i: From boolos to studd$z: eng |
| 606 | $a: 数学哲学$A: shu xue zhe xue |
| 690 | $a: O1-0$v: 5 |
| 701 | $a: 薄谋,$A: bo mou$f: 1983-$4: 著 |
| 801 | $a: CN$b: BUCTL$c: 20230522 |
| 905 | $d: O1-0$r: CNY110.00$e: 103$a: BUCTLIB |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第107687919位用户访问本系统