点击选择搜索分类
首页 - 行政法- 正文
☆☆☆☆☆
||
张金成 著
出版社: 哈尔滨工业大学出版社 ISBN:9787560371535 版次:1 商品编码:12351625 包装:平装 开本:16 出版时间:2018-03-01 用纸:胶版纸
上篇悖论与经典逻辑重建
第1章正集与反集
第2章域外项的逻辑性质
第3章超协调逻辑系统
第4章Godel不完全定理证明不能成立
第5章“对角线方法”的逻辑分析
第6章递归论中的一些定理的错误证明
第7章不可数、不可判定性、不完全性与不可计算性
下编悖论与经典集合论重建
第8章重建序数
第9章幂集合的构造
第10章重构ZF系统
第11章Cantor对角线数是超实数
第12章一般递归集与“停机问题”可判定性
第13章系统PA的完全性
附录部分符号表
参考文献
悖论、逻辑与非Cantor集合论 电子书 下载 mobi epub pdf txt
悖论、逻辑与非Cantor集合论-so88
悖论、逻辑与非Cantor集合论 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
张金成 著
出版社: 哈尔滨工业大学出版社 ISBN:9787560371535 版次:1 商品编码:12351625 包装:平装 开本:16 出版时间:2018-03-01 用纸:胶版纸
编辑推荐
本书适合大学生及数学爱好者参考阅读。内容简介
本书从分析悖论的数学结构以及无穷问题入手,证明了悖论是逻辑思维领域的不封闭演算(域外项),发现了Cantor集合论的一些矛盾。从而在经典逻辑的基础上,建立了新的超协调逻辑系统S-L,S-K,与新的集合论S-ZF系统,修正了经典集合论、递归论、证明论领域的很多错误。目录
目录上篇悖论与经典逻辑重建
第1章正集与反集
第2章域外项的逻辑性质
第3章超协调逻辑系统
第4章Godel不完全定理证明不能成立
第5章“对角线方法”的逻辑分析
第6章递归论中的一些定理的错误证明
第7章不可数、不可判定性、不完全性与不可计算性
下编悖论与经典集合论重建
第8章重建序数
第9章幂集合的构造
第10章重构ZF系统
第11章Cantor对角线数是超实数
第12章一般递归集与“停机问题”可判定性
第13章系统PA的完全性
附录部分符号表
参考文献
悖论、逻辑与非Cantor集合论 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 世界科普巨匠经典译丛 第三辑:微生物猎人 : 终于制服了疯狗(上) (美) 克鲁伊夫,丁荣
- 中国谚语大辞典(辞海版)普及本 温端政 主编 正版书籍 上海辞书出版社 世纪出版
- 新博物学家 彼得马伦著 周琼译
- 股市涨跌风向标(彩色图解版) 9787568213097 江流 北京理工大学
- 十字 9787535282156
- 乐理--练习与测试(第2版)
- 你不可不知的50个化学知识 9787115436856
- 医护法律基础-张大凯 吴海峰
- 人体的奥秘
- 多谢款待!日料理完全保存/食帖22 编者:林江 著作 饮食营养 食疗生活 新华书店正版图书籍 中信出
- 授粉博物志(上) 莎拉.A.科比特编 王晨译
- 茉莉花-中国民歌经典-1-(附CD2张) 音乐 书籍
- 华东野外观花手册 李敏, 刘军著
- 优雅太太教我的事:生活家的美妙日常 珍妮弗L斯科特 著 《跟巴黎名媛学到的事》作者 中信出版社图书
- 域外博物馆印象 9787504679710 徐善衍,徐善衍-RT