扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
声音简史
-
>
浪漫地理学:追寻崇高景观
数学无穷与中介的逻辑基础 版权信息
- ISBN：9787030344229
- 条形码：9787030344229 ; 978-7-03-034422-9
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
数学无穷与中介的逻辑基础 本书特色
本书内容分为两篇，共5章。*篇讨论经典与非经典数学的理论基础问题。分两章陈述，其中*章研讨精确性经典数学的理论基础问题。其中包括：（1）如何在现代意义下正确理解逻辑数学悖论这个概念的内涵，（2）数学三次危机，（3）古典集合论的思想方法，（4）如何导致近代公理集合论的建立和发展。第二章研讨非经典数学，主要是模糊数学的理论基础问题。本书第二篇研讨数学无穷的逻辑基础。共3章，其中第3章是在深入分析潜无限与实无限之间的区别与联系、近现代数学对两种无穷的兼容性的基础上，讨论各种可数无穷集合与不可数无穷集合概念的相容性问题。而第4章主要是研讨潜无限数学系统的逻辑基础与集合论基础。其中包括潜无限弹性(spring)集合概念的建立，和二元常谓词(解释并读为"包容于")的引入。第五章在重新审视传统型的谓词与集合之关系的基础上，重新建立了一条有关谓词与集合之间的关系原则。
数学无穷与中介的逻辑基础 内容简介
本书是一部研究型的原创著作, 全书分6章和1个附录, 主要内容包括: 经典与非经典数学的基础问题 ; 潜无限、实无限和基础无限等。
数学无穷与中介的逻辑基础 目录
特殊符号的名称及其解读方式
第1章 精确性经典数学的理论基础问题
1.1 古典集合论的诞生及其思想方法
1.2 何谓悖论
1.3 数学危机
1.4 近代公理集合论对悖论的解决方案
第2章 关于模糊数学的理论基础问题
2.1 模糊性与模糊数学
2.2 奠基于精确性经典数学之上的模糊数学
2.2.1 模糊拓扑
2.2.2 模糊代数
2.3 ZB公理集合论系统
2.4 中介数学系统
2.4.1 两种谓词的划分与定义
2.4.2 集合的运算
2.4.3 谓词与集合
2.4.4 小集与巨集
2.4.5 MS与ZFC之间的关系
2.4.6 逻辑数学悖论在MS中的解释方法
2.5 从计算机科学与数学研究的角度看中介系统的发展
2.5.1 中介系统目前的发展概况
2.5.2 中介系统的哲学背景
2.5.3 中介系统的思想原则
2.5.4 数学研究对象的再扩充
2.5.5 概括原则的修改问题
2.5.6 经典数学系统和中介数学系统之间的关系
2.5.7 中介系统在计算机科学中的应用前景
第3章 数学无穷与数学基础
3.1 无穷观问题的简要历史回顾
3.1.1 两种无穷观的萌芽
3.1.2 两种无穷观的确立
3.1.3 Zeno悖论与无穷观问题的关系及其引起的思考
3.1.4 无穷观问题从文艺复兴到微积分时代的演变
3.1.5 数学基础诸流派在无穷观问题上的争论
3.1.6 无穷观问题之困惑和迷茫
3.2 两种无穷观的区别和联系
3.2.1 何谓实无限与潜无限
3.2.2 潜无限与实无限之间的对立关系
3.2.3 第三种无限——基础无限
3.3 数学系统对两种无穷观的兼容性
3.4 近现代数学系统中的一对互相矛盾的隐性思想规定
3.4.1 隐性思想规定之一
3.4.2 隐性思想规定之二
3.4.3 两点注记
3.5 Cantor-Zermelo意义下的无穷集合概念的自相矛盾性
3.5.1 简记与注释
3.5.2 可数无穷集合的不相容性
3.5.3 ZFC框架中的不可数无穷集合的不相容性
3.5.4 若干相关的历史性直觉判断
3.6 再论古典集合论与近代公理集合论中之无穷集合概念的矛盾性
3.6.1 弹性集合与Cauchy剧场
3.6.2 古典集合论与近代公理集合论中的狭义Cauchy剧场现象
3.6.3 超穷弹性集合与超穷Cauchy剧场
3.6.4 ZFC框架下的超穷Cauchy剧场现象
3.7 Cantor-Hilbert对角线方法与不可数无穷集合的存在性
3.7.1 简要回顾
3.7.2 对角线方法与相异实数有穷差位判别原则
3.7.3 对角线方法中的“每一”与“所有”
3.7.4 一点注记
3.8 分析基础中的无穷观问题
3.8.1 微积分与极限论的简要历史回顾
3.8.2 简记与注释
3.8.3 关于极限表达式的可定义与可实现概念
3.8.4 分析基础中的新Berkeley悖论
3.8.5 注记之(一)
3.8.6 注记之(二)
3.9 非直接使用poi与aci观念下的自然数系统的不相容性
3.9.1 注释与简记
3.9.2 恰由全体自然数构成之集合的不相容性证明
3.9.3 续论与说明
第4章 潜无限数学系统
4.1 潜无限数学系统(Ⅰ)——预备知识
4.1.1 预备知识之一——背景世界的划分原则
4.1.2 预备知识之二——关于构建潜无穷数学系统的几点说明
4.2 潜无限数学系统(Ⅱ)——逻辑基础之形式系统
4.2.1 PIMS命题逻辑的自然推理系统PPIN
4.2.2 PIMS谓词逻辑的自然推理系统FPIN
4.3 潜无限数学系统(Ⅲ)——逻辑基础之元理论
4.4 潜无限数学系统(Ⅳ)——集合论基础
第5章 建立中介实无限数学系统的思考与原则
5.1 关于近现代数学中谓词与集合之间的无穷观问题的思考
5.1.1 近现代数学中关于数集与区间内变量趋向极限之表示法的对比分析
5.1.2 近现代数学中实无限刚性自然数集合与中介过渡
5.2 实无限刚性集合之内涵与结构
5.2.1 无穷背景世界中谓词与集合之间的客观真实关系
5.2.2 建立中介实无限数学系统的重要性与必要性
5.2.3 基础无限弹性体与实无限刚性集合的结构模式
第6章 中介与二值两种逻辑框架的不可缺失性
6.1 预备知识
6.2 中介逻辑与数学物理危机
6.2.1 中介观念与**次数学危机
6.2.2 中介观念与物理危机
6.2.3 中介观念与第二次数学危机
6.2.4 中介对象与Newton的“O”
6.3 光物质波粒二象性的逻辑基础
6.4 Leibniz割线切线问题在数学无穷之逻辑基础层面上的分析与研究
6.4.1 变量x无限趋近其极限x0的poi方式与aci方式
6.4.2 谓词与集合层面上的poi与aci
6.4.3 关于Leibniz的割线与切线问题
6.5 Leibniz割线切线问题在中介逻辑框架下的逻辑数学解释方法
6.5.1 排中律的命题化分析和谓词层面上的潜无限与实无限
6.5.2 非此非彼概念在中介逻辑框架下的逻辑表达式
6.5.3 Leibniz割线与切线问题在中介逻辑系统中的逻辑数学解释方法
6.6 关于Δy/Δx有意义&dy/dx是切线斜率在中介逻辑系统中的数学解读与逻辑分析
6.6.1 关于6.5.3中⑦与⑧合并后之(*)(Δy/Δx有意义&dy/dx是切线斜率)的逻辑数学解读
6.6.2 关于Δx的[>0]处理与[=0]处理在CL和ML中的逻辑分析
6.7 Zeno第二个悖论在数学无穷之逻辑基础层面上的分析与研究
6.7.1 关于Zeno第二个悖论的解说
6.7.2 Zeno第二个悖论在变量与极限概念中的表述方式
6.7.3 Zeno第二个悖论之(ΔS/Δt有意义&A*T)在中介逻辑系统中的逻辑数学解释方法
6.7.4 解决Zeno第二个悖论的方法在中介逻辑系统中的科普解读方式
6.8 关于ΔS/Δt有意义&A*T在中介逻辑系统中的逻辑数学解读与逻辑分析
6.8.1 对(ΔS/Δt有意义&A?T)在中介逻辑系统中进行逻辑数学解读与逻辑分析的必要性
6.8.2 关于6.7.3中⑦和⑧合并之后的(*)(ΔS/Δt有意义&A?T)的逻辑数学解读
6.8.3 关于Δt的[>0]和[=0]处理在CL和ML中的逻辑分析
6.9 定积分的定义及其计算曲边梯形面积问题
6.10 含义概述与简要总结
附录 简评与答复“有关无限观的三个问题”中的问题
参考文献
后记]]>
第1章 精确性经典数学的理论基础问题
1.1 古典集合论的诞生及其思想方法
1.2 何谓悖论
1.3 数学危机
1.4 近代公理集合论对悖论的解决方案
第2章 关于模糊数学的理论基础问题
2.1 模糊性与模糊数学
2.2 奠基于精确性经典数学之上的模糊数学
2.2.1 模糊拓扑
2.2.2 模糊代数
2.3 ZB公理集合论系统
2.4 中介数学系统
2.4.1 两种谓词的划分与定义
2.4.2 集合的运算
2.4.3 谓词与集合
2.4.4 小集与巨集
2.4.5 MS与ZFC之间的关系
2.4.6 逻辑数学悖论在MS中的解释方法
2.5 从计算机科学与数学研究的角度看中介系统的发展
2.5.1 中介系统目前的发展概况
2.5.2 中介系统的哲学背景
2.5.3 中介系统的思想原则
2.5.4 数学研究对象的再扩充
2.5.5 概括原则的修改问题
2.5.6 经典数学系统和中介数学系统之间的关系
2.5.7 中介系统在计算机科学中的应用前景
第3章 数学无穷与数学基础
3.1 无穷观问题的简要历史回顾
3.1.1 两种无穷观的萌芽
3.1.2 两种无穷观的确立
3.1.3 Zeno悖论与无穷观问题的关系及其引起的思考
3.1.4 无穷观问题从文艺复兴到微积分时代的演变
3.1.5 数学基础诸流派在无穷观问题上的争论
3.1.6 无穷观问题之困惑和迷茫
3.2 两种无穷观的区别和联系
3.2.1 何谓实无限与潜无限
3.2.2 潜无限与实无限之间的对立关系
3.2.3 第三种无限——基础无限
3.3 数学系统对两种无穷观的兼容性
3.4 近现代数学系统中的一对互相矛盾的隐性思想规定
3.4.1 隐性思想规定之一
3.4.2 隐性思想规定之二
3.4.3 两点注记
3.5 Cantor-Zermelo意义下的无穷集合概念的自相矛盾性
3.5.1 简记与注释
3.5.2 可数无穷集合的不相容性
3.5.3 ZFC框架中的不可数无穷集合的不相容性
3.5.4 若干相关的历史性直觉判断
3.6 再论古典集合论与近代公理集合论中之无穷集合概念的矛盾性
3.6.1 弹性集合与Cauchy剧场
3.6.2 古典集合论与近代公理集合论中的狭义Cauchy剧场现象
3.6.3 超穷弹性集合与超穷Cauchy剧场
3.6.4 ZFC框架下的超穷Cauchy剧场现象
3.7 Cantor-Hilbert对角线方法与不可数无穷集合的存在性
3.7.1 简要回顾
3.7.2 对角线方法与相异实数有穷差位判别原则
3.7.3 对角线方法中的“每一”与“所有”
3.7.4 一点注记
3.8 分析基础中的无穷观问题
3.8.1 微积分与极限论的简要历史回顾
3.8.2 简记与注释
3.8.3 关于极限表达式的可定义与可实现概念
3.8.4 分析基础中的新Berkeley悖论
3.8.5 注记之(一)
3.8.6 注记之(二)
3.9 非直接使用poi与aci观念下的自然数系统的不相容性
3.9.1 注释与简记
3.9.2 恰由全体自然数构成之集合的不相容性证明
3.9.3 续论与说明
第4章 潜无限数学系统
4.1 潜无限数学系统(Ⅰ)——预备知识
4.1.1 预备知识之一——背景世界的划分原则
4.1.2 预备知识之二——关于构建潜无穷数学系统的几点说明
4.2 潜无限数学系统(Ⅱ)——逻辑基础之形式系统
4.2.1 PIMS命题逻辑的自然推理系统PPIN
4.2.2 PIMS谓词逻辑的自然推理系统FPIN
4.3 潜无限数学系统(Ⅲ)——逻辑基础之元理论
4.4 潜无限数学系统(Ⅳ)——集合论基础
第5章 建立中介实无限数学系统的思考与原则
5.1 关于近现代数学中谓词与集合之间的无穷观问题的思考
5.1.1 近现代数学中关于数集与区间内变量趋向极限之表示法的对比分析
5.1.2 近现代数学中实无限刚性自然数集合与中介过渡
5.2 实无限刚性集合之内涵与结构
5.2.1 无穷背景世界中谓词与集合之间的客观真实关系
5.2.2 建立中介实无限数学系统的重要性与必要性
5.2.3 基础无限弹性体与实无限刚性集合的结构模式
第6章 中介与二值两种逻辑框架的不可缺失性
6.1 预备知识
6.2 中介逻辑与数学物理危机
6.2.1 中介观念与**次数学危机
6.2.2 中介观念与物理危机
6.2.3 中介观念与第二次数学危机
6.2.4 中介对象与Newton的“O”
6.3 光物质波粒二象性的逻辑基础
6.4 Leibniz割线切线问题在数学无穷之逻辑基础层面上的分析与研究
6.4.1 变量x无限趋近其极限x0的poi方式与aci方式
6.4.2 谓词与集合层面上的poi与aci
6.4.3 关于Leibniz的割线与切线问题
6.5 Leibniz割线切线问题在中介逻辑框架下的逻辑数学解释方法
6.5.1 排中律的命题化分析和谓词层面上的潜无限与实无限
6.5.2 非此非彼概念在中介逻辑框架下的逻辑表达式
6.5.3 Leibniz割线与切线问题在中介逻辑系统中的逻辑数学解释方法
6.6 关于Δy/Δx有意义&dy/dx是切线斜率在中介逻辑系统中的数学解读与逻辑分析
6.6.1 关于6.5.3中⑦与⑧合并后之(*)(Δy/Δx有意义&dy/dx是切线斜率)的逻辑数学解读
6.6.2 关于Δx的[>0]处理与[=0]处理在CL和ML中的逻辑分析
6.7 Zeno第二个悖论在数学无穷之逻辑基础层面上的分析与研究
6.7.1 关于Zeno第二个悖论的解说
6.7.2 Zeno第二个悖论在变量与极限概念中的表述方式
6.7.3 Zeno第二个悖论之(ΔS/Δt有意义&A*T)在中介逻辑系统中的逻辑数学解释方法
6.7.4 解决Zeno第二个悖论的方法在中介逻辑系统中的科普解读方式
6.8 关于ΔS/Δt有意义&A*T在中介逻辑系统中的逻辑数学解读与逻辑分析
6.8.1 对(ΔS/Δt有意义&A?T)在中介逻辑系统中进行逻辑数学解读与逻辑分析的必要性
6.8.2 关于6.7.3中⑦和⑧合并之后的(*)(ΔS/Δt有意义&A?T)的逻辑数学解读
6.8.3 关于Δt的[>0]和[=0]处理在CL和ML中的逻辑分析
6.9 定积分的定义及其计算曲边梯形面积问题
6.10 含义概述与简要总结
附录 简评与答复“有关无限观的三个问题”中的问题
参考文献
后记]]>
展开全部
数学无穷与中介的逻辑基础 作者简介
朱梧槚，1933年11月生于江苏宜兴。1955年7月毕业于东北人民大学（现吉林大学）数学系。同年留校工作1957年被错划为右派，“”中又以莫须有罪名关进监狱长达10年之久。1978年年底平反出狱后于南京大学数学系任教1980年任讲师，1985年晋升为副教授，1988年晋升为教授。1989年调南京航空航天大学计算机科学与技术学院任教。 主要从事数学基础、数理逻辑和计算机科学基础理论等方面的研究。迄今个人或与他人合作发表论文200余篇，出版教材5部、专著3部、译著1部。1983年以来，与肖奚安教授长期合作研究，建立和发展了中介逻辑演算和中介公理集合论。从事数学无穷之逻辑基础的研究始于1956年。迄今已逾半个世纪，建立了潜无限数学系统，江苏省计算机科学与技术50周年（1958—2008）的相关学术会议确认潜无限数学系统为计算机科学提供了更为合理的理论基础。
书友推荐
- >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8 - >
推拿
推拿
¥12.2¥32.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥13.5¥39.8 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
烟与镜
烟与镜
¥14.4¥48.0 - >
我与地坛
我与地坛
¥27.2¥28.0 - >
李白与唐代文化
李白与唐代文化
¥8.9¥29.8
本类畅销
-
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38 -
1980年代:小说六记
¥52.8¥69 -
中图网经典初版本封面-“老人与海”冰箱贴
¥20¥40
