论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比较研究.     

欧氏几何的文化视角

以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头，是古代数学公理化方法的一个辉煌成就．文章简要介绍了欧氏几何及其公理化方法。并从文化的角度对其进行分析，探讨了欧氏几何的人文价值，美学价值和应用价值．最后，对中学几何教学中如何渗透文化教育，为新课程标准基本理念更好地付诸实施，提出了一些意见或建议．     

普通光学的公理化体系

由三个基本原理出发建立了光学公理化的理论体系。     

物理学中的公理化方法

讨论了公理化方法的发展，公理系统的特点和公理系统的不完备性，公理化方法在物理学中的借鉴，及其在认识论中的地位，还讨论了公理化方法在物理学中应用的限度，及其在自然科学理论中的最基本要求。     

论代数公理化体系与中小学数学教学

数学公理化方法是研究数学的重要方法,代数公理体系是数学公理体系中的子系统.代数系统是集合连同满足某个公理体系的运算合称.中小学数学中处处体现公理化思想,因此在中小学数学教学中讲授代数公理化体系必要且可行.本文从公理化方法、代数公理体系、中小学代数教育及代数公理化在中小学教学中的作用几个方面来阐述.     

行列式定义的公理化方法

给出了行列式定义的公理化方法 ,并证明了行列式的公理化定义与传统的定义是等价的 .同时讨论了行列式定义的教学问题     

形式背景下粗糙集近似算子的公理化方法

给出了在形式概念分析中粗糙集近似算子的一种新的定义方式,并给出了它们的公理化刻画。同时也给出了作者Shao提出的另外一对形式概念分析中粗糙集近似算子的公理化刻画。公理化方法有助于理解近似算子的数学结构特征。     

对集合论公理化方法悖性的审思

公理化集合论理论的创立,解决了康托尔素朴集合论因其概括原则的前提预设而导致的一系列悖论。在公理化集合论中人们没有发现新的悖论,学界因此而视其为成功的解悖方案。公理化的本质是重构集合论的演绎系统,演绎方法具有保真性,能够导出可靠知识。公理化集合论的两个准等价的系统却是从相互矛盾的前提建构得来的。如果这两个公理系统导出的结论是可靠的,就说明可靠知识可以由不可靠的公理化方法导出的。这就对公理化方法的可靠性构成了质疑。     

有序域上仿射几何之同构

本文首先给出了仿射几何的公理构造法、一般体(或域)上的仿射几何以及体(或域)K上的仿射几何之同构的意义。进而又给出了有序仿射几何、有序域上的仿射几何的意义。最终论证了仿射几何的基本问題:每一个同公理化定义的仿射几何与有序域上仿射几何的同构问題。     

关于数学公理化方法

关于数学公理化方法郭一卫，谢桦公理化方法是自然科学，特别是数学的重要逻辑演绎工具。长期以来人们对公理化方法研究不止，存在不同的看法和争议，并由此而不断产生新的科学分支。从这个意义上讲，公理化方法研究总是充满生机的。本文结合（几何基础》、《高等几何》和...     

代数结构与几何基础Ⅲ——射影几何的公理体系

在本文中我们将给出只保留结合公理的几何，并证明：这种几何．同构于域上的射影几何．若添加顺序公理．则得到同构于有序域上的射影几何的几何．     

仿射几何的公理体系

本文证明了,在欧氏几何Hilbert公理体系中,如果删去合同关系和合同公理,同时把平行公理强化成V’:“在同一平面上已知直线a和线外一点A。则过A点有且仅有一条直线b与a平行。”则得到三维仿射几何的公理体系。     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

演绎数据库中一个有效的推理算法

在基于与给定查询相关的事实与公理的基础上，给出了演绎数据库的一个产生式推理方法．该算法采用自底向上的搜索策略由公理的前提事实产生结论，同时又以自顶向下的方法分析以约束生成的事实集，从而得到良好的查询应答搜索效果     

用边界公理建立拓扑

首先给出边界公理的定义，然后证明边界公理与开集公里的条件等价，从而证明以从边界公理出发建立拓扑空间的概念。     

广义粗集的公理化

粗集理论在数据挖掘等领域得到了广泛的应用，对粗集理论进行推广可得到各种广义粗集。该文研究了广义粗集的多个公理组，证明了公理组中各公理的独立性，并给出了普通粗集理论的另一个公理组，它有4条相互独立的公理组成。     

关于状态变权公理体系的注记

研究了状态变权的公理化定义问题. 在对现有状态变权定义中的各公理化条件进行分析的基础上,给出一种新的状态变权公理体系,并研究了它的构造及其与原定义的关系.给出若干新的在数据处理等领域有重要应用的状态变权函数.     

花蝴蝶定理的推广及证明

利用射影几何的二次曲线束理论,给出花蝴蝶定理的推广及证法.     

关于L-相对T_0与相对T_1分离性

定义了L-fuzzy拓扑空间的相对T0与相对T1分离性.给出了相对T0与相对T1分离性等价刻画.研究了相对T0与相对T1分离性的性质,包括遗传性、可乘性,传递性与L-好的推广,对相对T0与相对T1分离性与其他分离性进行了比较.