点击选择搜索分类
首页 - GCT(工程硕士)联考- 正文
☆☆☆☆☆
||
张金成 著
出版社: 哈尔滨工业大学出版社 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
电子书下载地址:
相关电子书推荐:
- 文件名
- 可操作的地震预测预报
- 垃圾DNA:探索人类基因组暗物质之旅 科学与自然 书籍
- 新编地图学教程(第3版) 9787040462685
- 超弦理论 探究时间 空间及宇宙的本原+引力是什么+强力与弱力 套装共3册
- 西南大学史-第四卷
- 科学的航程丛书:毁灭者 [Built for Destruction]
- 挑战篇-小手学涂色
- 包邮 数学物理方法 I+数学物理方法Ⅱ(中译本)2本数学名著译丛 科学出版社 R.柯朗,[德] D.
- 男孩世界-风靡世界的英国儿童创意涂鸦-儿童减压涂色书
- 玛雅人为何“失算”了? 9787516801055 台海出版社
- {RT}再稀奇古怪的问题也有个科学答案-来自全球科学家的智慧解答-《环球科学》杂志社,外研
- 正版芊幻想 中国科普大奖图书典藏书系9787535256416尹传红
- 趣味数学谜题 别莱利曼
- 量子计算与量子信息原理(卷:基本概念) 王文阁,李保文译 科学出版社
- 揭开传染病神秘面纱 巴斯德的故事 黄健,郭丽婧,管成学,王渝生