论文题目： 唯物辩证法下的实数理论及其应用       

全部作者：曹俊云

论文摘要：无穷是无有穷尽、无有终了的意思；它不是完成了的实无穷。无尽小数是写不到底的事物；等式2/3=0.666……是虚假的、无用的、无法证明的等式。无尽小数不是实数。实数是现实数量大小的表达符号。每一个正无尽小数都是单调有界递增无穷数列的简写，它是个变数而不是定数。每一个以有理数为项的康托尔基本数列都存在一个唯一的理想...

综合评价： 暂无评价 首发时间：2015-09-11 浏览量：210 收藏数：0 推荐数：0 评论条数：0

论文题目： 对数学教科书的一个重要改革意见1       

全部作者：曹俊云

论文摘要：无穷是无有穷尽、无有终了的意思；它不是完成了的实无穷。无尽小数是写不到底的事物；无尽小数不是实数。实数是现实数量大小的简写。无尽小数是实数的一种全能近似值数列的简写。等式1/3=0.333……是虚假的、无用的、无法证明的等式。实数的四则运算是其全能近似值数列四则运算的极限。每一个康托儿基本数列都有一个理想实数为...

综合评价： 首发时间：2015-07-30 浏览量：134 收藏数：0 推荐数：5 评论条数：0

论文题目： 对哥德尔不完备定理的一种理解       

全部作者：丘志宏

论文摘要：哥德尔不完备定理实际上包含了三个可能的命题：命题1，一个包括初等数论的形式系统是一致的但是是不完备的；命题2，一个包括初等数论的形式系统是不一致的但是是完备的；命题3，一个包括初等数论的形式系统是既不一致也不完备的。哥德尔的论文或其它文献并没有说明上述三个可能的命题中，哪个命题是正确的。分析表明，在假设...

综合评价： 未申请评价 首发时间：2013-07-10 浏览量：1092 收藏数：0 推荐数：5 评论条数：0

论文题目： 基于离散实数系的微积分        

全部作者：陈光

论文摘要：基于整数系和实数系及结构公理，我们建立了离散实数系和新微积分理论，由此形成了一个新数学的基础。这个新数学具有标度、量子化、不确定性和有限精度等性质，它具有一个结构常数C而不包含极限和无穷大及无穷小等概念，但是，在C→∞的情况下, 它可以退化为现有数学理论。

综合评价： 暂无评价 首发时间：2013-06-17 浏览量：1294 收藏数：0 推荐数：5 评论条数：0

论文题目： 运算符号对数学系统的一致性和完全性的影响       

全部作者：丘志宏

论文摘要：通过递归定义自然数的方法、哥德尔的算术理论化都表明，代数系统中的元素和运算并不是分开的，而是可以相互转化。这就使得在分析代数系统时，抛开运算单独分析元素集合，可能会给分析结果带来不确定性。分析表明：1、超穷递归系统（0, +1, lim）中，去掉lim运算符将使得点等于曲线，曲线等于平面；2、递归系统（0, +1）或其他包含无...

综合评价： 未申请评价 首发时间：2013-03-21 浏览量：1059 收藏数：0 推荐数：5 评论条数：0

论文题目： 直觉模糊事件上的区间belief函数及其Choquet积分表示        

全部作者：周红军

论文摘要：在有限论域上的直觉模糊事件中引入了区间belief函数的概念。由于直觉模糊事件关系是由?ukasiewicz逻辑连接词表示的，所以该belief函数是模糊事件多值概率的推广，进而可以嵌入到MV-代数上的概率理论中。证明了belief函数的Choquet积分表示定理。

综合评价： 暂无评价 首发时间：2013-03-04 浏览量：1000 收藏数：0 推荐数：5 评论条数：0

论文题目： 三值可逆逻辑的新型综合算法        

全部作者：杨钢 杨国武

论文摘要：可逆逻辑电路在量子计算领域中应用广泛。二值的可逆逻辑电路研究虽然已经提出了很多种综合算法，但只是有效性有限。最近，很多研究显示对于量子计算机的发展，多值逻辑拥有很多优势。多值逻辑能够降低电路的规模，基本量子门的选择性更强，为综合算法研究提供的理论依据。本文研究了在不需要辅助量子位情况下的三值可逆电路...

综合评价： 暂无评价 首发时间：2013-01-06 浏览量：1319 收藏数：0 推荐数：5 评论条数：0

论文题目： 基于固定极Reed-Muller展开式的3阶可逆逻辑函数NP-NP等价判定       

全部作者：罗庆斌 杨国武 邵院华 樊富有

论文摘要：在可逆逻辑函数综合中，分类可以使模块重复使用。把布尔函数NP-N等价的概念推广到可逆逻辑函数中，得到了可逆逻辑函数NP-NP等价的概念；把最小项数为4的3元布尔函数根据辅因子的码值向量分成5类，并计算出了这5类布尔函数的固定极Reed-Muller(FPRM)展开式；把可逆逻辑函数的辅因子码值向量排序后是否相同，作为可逆逻辑函数是否NP-NP等价...

综合评价： 首发时间：2012-11-02 浏览量：1012 收藏数：0 推荐数：5 评论条数：0

论文题目： 数学反演思想及其发展       

全部作者：刘建忠 刘心蓉

论文摘要：讨论了反演变换、级数反演、反演理论、关系映射反演方法和反演集合理论的思想差异和相互之间关系，指出：关系映射反演方法思想包含级数反演思想，级数反演思想包含反演变换思想，在有限集上关系映射反演方法和反演理论可以统一为反演集合。并举例说明了反演集合理论在反演理论(联合反演)中的应用。

综合评价： 首发时间：2012-06-25 浏览量：1039 收藏数：0 推荐数：5 评论条数：0

论文题目： Lukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理       

全部作者：周红军

论文摘要：通过视赋值集为通常乘积拓扑空间，利用其上的Borel概率测度在n值及连续值Łukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念，讨论了它的基本性质，特别是给出了n值情形中概率真度函数的积分表示定理并得到了其与连续情形概率真度函数之间关系的一个极限定理。结果表明计量逻辑学中命题的真度概念只是本文的一个特例，因而基...

综合评价： 暂无评价 首发时间：2011-09-16 浏览量：754 收藏数：0 推荐数：5 评论条数：0