邵雍观物论与电、弱、强相互作用耦合常数试解

本文认为，时间的本质是对象间特定相互作用之序，序意味着单一方向性：这种序的单一方向性只与物质系统的单纯性（即全为物质或全为反物质）有关；空间的本质是在序（时间）规定性前提下特定相互作用的内涵展开，不存在独立于特定的相互作用的时空概念，根据对时空概念的重新理解，通过对文献[1]中四个时空公理的修正，得到12个与强、弱、电相互作用有关的相互作用象数学模型，并求出相应的相互作用无量纲常数，从而全部解释与相互作用有关的5个无量纲耦合常数。     

向量空间定义中运算公理的独立性

解决向量空间中8条运算公理在有理数域Q上的独立性问题,并指出[1]中一不足之处。     

试论柏拉图的法律思想

柏拉图以“正义”作为他法律思想的出发点，强调了“人治”和“法治”的重要性，他关于国家政体和选举制度、法律体系必须服从政府的公理、犯罪和刑罚、妇女地位，婚姻、家庭等方面的一系列政治法律思想，在当时的历史条件下，有一定的进步意义，同时也充分暴露了柏拉图代表的是奴隶主贵族的利益，有历史和阶级的局限性。     

模糊公理体系探讨

讨论了Zadeh公理的局限性 ,从哲学的角度阐明了它们之间的辩证关系     

关于选择公理及其弱形式(Ⅰ)

先介绍ＡＣ独立于ＺＦ，然后研究ＡＤ、ＤＣＫ、ＡＣＫ和ＷＫ之间的关系（ｋ≥ω１）．     

Topos中选择公理的一个等价刻画

基于Topos中的偏序对象, 以及相应的完备格对象定义, 证明了选择公理的一个新刻画: 选择公理成立当且仅当连续格对象等价于构造性连续格对象。     

百年集论使人犯极荒唐常识错误:0-10~(10)=0——再论形如{1,2,3,…,n,…}一般都有末项

-1+0+0+…=-1凸显无穷级数w必比w+a少一个项。顺藤摸瓜得:无穷多双项组成的{(2n-1,2n)}与{1,{(2n,2n+1)}}不是同一数列;医学不知血有血型就会医死人,数学不知集有奇、偶型之分就会…;变集每增(减)一元都比变化前多(少)了一个元,故无穷集U增元变为U+V=K中的V有多少个元,K就比U多多少个元;有无穷大正整数n=1+1+1+…的项比Q={1,2,…,n,…}的项还要多而>Q的一切n;各级数w都有末项;w发散≠w没有所有项的和;对无穷对象同样有:本身-本身=0;无限循环小数并非有理数。     

用模型法证明非欧几何的定理

提供一种用模型法证明非欧几何定理的证明方法,在证明中可以使用欧氏几何的定理,从而使学生对非欧几何有更深刻的认识。     

弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条.     

公理化定义矩阵行列式的性质推导

行列式的理论和应用是代数中的一个经典问题,矩阵的行列式是赋予矩阵的一个数,将矩阵的列向量视为变量,行列式可以视为列向量组的一个函数,其公理化定义为矩阵的性质推导和分析带来方便.基于行列式的公理定义,从公理出发,给出相关重要性质的详细推导,直接由性质研究线性方程组解的存在性和解的表达式.推导过程的简洁与性质间的关联,体现...