数学与无穷观的逻辑基础

　　第一篇 几何基础
　　第1章 几何基础历史概要与公理化方法
　　1.1 Euclid((几何原本》与第五公设问题
　　1.2 *的信念和品质
　　1.3 Hilbert的Euclid几何公理系统
　　1.4 *几何公理系统
　　1.5 公理化方法
　　1.6 *几何公理系统的相对相容性证明
　　1.7 几何公理系统的独立性和完备性
　　第二篇 经典与非经典数学奠基问题
　　第2章悖论与精确性经典数学的理论基础问题
　　2.1 古典集合论的诞生及其思想方法
　　2.2 何谓悖论
　　2.3 数学危机
　　2.4 二值逻辑悖论举例
　　2.5 非欧几何与数学基础问题
　　第3章 逻辑数学悖论在精确性经典数学中的解释方法
　　3.1 Zermelo对悖论的解释方法
　　3.2 Russell-Ramsey对悖论的解释方法
　　3.3 N(3≤n 3.4 悖论的成因与研究悖论的意义——*不完备性定理与悖论
　　第4章 数学基础诸流派
　　4.1 逻辑主义学派
　　4.2 直觉主义学派
　　4.3 历史的误解
　　4.4 Hilbert主义学派
　　4.5 形式主义学派
　　4.6 关于Hilbert主义学派与形式主义学派的数学真理观
　　第5章 关于模糊数学的理论基础问题
　　5.1 模糊性与模糊数学
　　5.2 奠基于精确性经典数学之上的模糊数学
　　5.2.1 模糊拓
　　5.2.2 模糊代数
　　5.3 ZB公理集合论系统
　　5.4 中介数学系统
　　5.4.1 两种谓词的划分与定义
　　5.4.2 集合的运算
　　5.4.3 谓词与集合
　　5.4.4 小集与巨集
　　5.4.5 MS与ZFC之间的关系
　　5.4.6 逻辑数学悖论在MS中的解释方法
　　5.5 从计算JOE科学与数学研究的角度看中介系统的发展
　　5.5.1 中介系统目前的发展概况
　　5.5.2 中介系统的哲学背景
　　5.5.3 中介系统的思想原则
　　5.5.4 数学研究对象的再扩充
　　5.5.5 概括原则的修改问题
　　5.5.6 经典数学系统和中介数学系统之间的关系
　　5.5.7 中介系统在计算机科学中的应用前景
　　第三篇 无穷观问题探索
　　第6章 数学无穷与数学基础
　　6.1 两种无穷观的区别和联系
　　6.2 数学系统对两种无穷观的兼容性
　　6.3 数学系统中的一对互相矛盾的隐性思想规定
　　6.3.1 隐性思想规定之一
　　6.3.2 隐性思想规定之二
　　6.3.3 两点注记
　　6.4 Cantor—Zermelo意义下的无穷集合概念的自相矛盾性
　　6.4.1 简记与注释
　　6.4.2 可数无穷集合的不相容性
　　6.4.3 ZFC框架中的不可数无穷集合的不相容性
　　6.4.4 若干相关的历史性直觉判断
　　6.5 再论古典集合论与近代公理集合论中之无穷集合概念的矛盾性
　　6.5.1 弹性集合与柯西(Cauchy)剧场
　　6.5.2 古典集合论与近代公理集合论中的狭义柯西剧场现象
　　6.5.3 超穷弹性集合与超穷柯西剧场
　　6.5.4 ZFC框架下的超穷柯西剧场现象
　　6.6 对角线方法中的“每一”与“所有”
　　6.7 分析基础中的无穷观问题
　　6.7.1 微积分与极限论的简要历史回顾
　　6.7.2 简记与注释
　　6.7.3 关于极限表达式的可定义与可实现概念
　　6.7.4 分析基础中的新贝克莱悖论
　　6.8 非直接使用poi与aci观念下的自然数系统的不相容性
　　6.8.1 注释与简记
　　6.8.2 恰由全体自然数构成之集合的不相容性证明
　　6.8.3 续论与说明
　　第7章 潜无限数学系统与重建实无限数学系统的构想
　　7.1 潜无限数学系统(I)——预备知识
　　7.1.1 预备知识之一——背景世界的划分原则
　　7.1.2 预备知识之二——关于构建潜无穷数学系统的几点说明
　　7.2 潜无限数学系统(Ⅱ)——逻辑基础之形式系统
　　7.2.1 PIMS命题逻辑的自然推理系统P“”
　　7.2.2 PIMS谓词逻辑的自然推理系统F
　　7.3 潜无限数学系统(Ⅲ)——逻辑基础之元理论
　　7.4 潜无限数学系统(Ⅳ)——集合论基础
　　7.5 谓词与无穷集合之间的无穷观问题
　　7.5.1 数集与区间中变量趋向极限的表示法
　　7.5.2 实无穷刚性自然数集合与中介过渡
　　7.6 实无限刚性集合的内涵与结构
　　7.6.1 无穷背景世界中的谓词与集合之间的关系
　　7.6.2 无约束背景下的实无限刚性集合的结构模式
　　7.6.3 有约束背景下的实无限刚性集合的结构模式
　　附录
　　Hegel论消极无限与积极无限
　　参考文献
　　后 记

　　    朱梧槚，男，l 933年11月生于江苏宜兴，l955年7月毕业于东北人民大学《现吉林大学)数学系．同年留校工作。1 957年被错划为右派．文化大革命中又以莫须有罪名关进监狱长达l0年之久，直到l978年底平反出狱，重新录用于南京大学数学系任教。l 980年任讲师，1 985年晋升为副教授．l 988年晋升为教授。1 989年调南京航空航天大学计算机系任教，主要从事数学基础、数理逻辑和计算机科学理论等方向的研究。迄今个人或与他人合作发表论文190余篇．出版著作7部．译著l部。l983年以来，与肖奚安教授长期合作研究，创建和发展了中介逻辑演算和中介公理集合论系统。曾任南京航空航天大学计算机科学研究所所长、教授、博士生导师，直至1J2004年初退休。曾应聘任汕头大学顾问教授．中山大学、大连理工大学、西南交通大学等高校兼职教授，南京大学计算机软件新技术国家重点实验室客座研究员．中国科学院自动化所人工智能开放实验室学术委员。主持并完成国家自然科学基金、863国家高技
　　    术项目、国家基础研究攀登计划及航空航天科学基金等1 0多项课题的研制。主要荣誉称号有航空航天部劳动模范、有突出贡献专家、全国优秀教师等。主要的信条是“战胜困难与厄运，唯有两件武器：一个高尚的目的和一个坚强的意志”。

　　    《数学与无穷观的逻辑基础》的主题是研讨包括无穷观在内的数学基础问题，而《数学与无穷观的逻辑基础》的核心主题是研讨无穷观的逻辑基础问题。内容分三篇，共7章，外加一个附录。一篇共1章，讨论几何基础问题。第二篇共4章，其中第2、3、4章计论精确性经典数学奠基问题。第5章讨论模糊数学的奠基问题。第三篇共2章，共中第6章主要讨论各种可数无穷集合与不合数无穷集合概念的相容性问题，而第7章主要是讲潜无限数学系统的逻辑基础与集合论基础。