世界可知性证明初探

马克思主义哲学认为世界是物质的,物质是在人们的意识之外,不依赖人的意识为转移的客观实在.但它本身能被人们的意识所反映,所以,世界是一个在人的意识之外又能被人认识的永恒运动着的客观实在.这样,物质的客观实在性,发展性,可知性就成为辩证唯物论哲学的基本出发点.承认物质的客观实在性这是唯物论的出发点.承认发展性这是辩证法的出发点,那么承认可知性这自然成为认识论的出发点.既然物质是马克思主义哲学的基石,当然马克思主义哲学唯物论,辩证法、反映论三者统一正建于这基石的“三性”之上·从这个意义上说,哲学理论就是从此出发对它的理论证明.世界物质性的证明目前理论上比较系统深入,而世界可知性的证明,除了实践一说,又不从其它方面探讨,更谈不上系统证明.本文认为世界可知性的证明的意义不仅在于驳斥不可知论,而且在于进一步证明世界的物质性.因为只有很好地解决了哲学基本问题的第二方面,才能更好地回答基本问题的第一方面.反之,不可认识的物质那必然是对“自在之物”的信仰,是对“物神”的崇拜,而不是哲学科学.     

简评《数学证明方法》

在中学和大学的数学教学中,教师们都要在不同层次上讲授数学证明方法,学生们通过学会数学证明方法,不仅能获得认识和求证数学真理的途径与技艺,而且还能得到思维品质上的培育和提升。因此,关于“数学证明方法”的教与学问题,理应成为数学教育研究中的一项重要课题。然而,1990年前在国内似乎还没有专门讨论“数学证明方法”的著作出版过。 值得高兴的是,终于在1995年秋看到了一本由孙宗明教授编著、由兰州大学出版社     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

临界点理论中的Pitcher不等式的一个证明

Pitcher在[1]中用近代拓扑工具阐述了紧致微分流形上的实值函数的临界点理论。一方面他讨论了临界群的各种表示,证明了Morse不等式;另一方面他引进了“骨架(skeleton)”这代数拓扑概念,用纯代数拓扑方法得到了新的结果——两组Pitcher不等式。在这两组Pitcher不等式中不仅出现临界群与流形的同调群的秩,还出现了它们的挠系数个数。本文将给出这两组Pitcher不等式的另一个证明;我们不用“骨架”,而且我们的证明与Morse不等式的证明接近.在本文§3中,我们还简略地说明如何用万有系数定理来     

局部相似原理在数学猜想及证明中的应用

站在数学方法论的高度,不仅指出相似原理是近代数学各分支处理相当广泛一类问题的理论基础,而且还建构了它在近代数学各领域中处理数学问题的框架——广义的RMI原则,最后指出某些数学猜想与相似原理之间的有机联系,从而为其证明提供了一些有益的启示.     

委托代理问题的一阶条件方法有效性证明

指出了Rogerson在证明委托代理问题一阶条件方法有效性时存在的问题,并利用Fritz-John条件,给出了正确的证明.     

一个定理的不恰当证明方法辨析

本文分析了Kolmogorov不等式的一个推论的证明过程,指出了证明过程中存在的问题,并通过实例分析了这种证明方法中的错误之处,进而给出了正确的证明过程。     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

怎样证明两边含有不定积分的等式

目前常见的数学分析教材,如〔1〕—〔9〕,在证明两边含有不定积分的等式时,都是采用证明等式两边的微分(或导数)相等的方法。这种证明方法不仅在数学分析教材中普遍采用,而且从五十年代一直沿用到现在。本文的目的是从讨论不定积分的线性运算法则入手,说明“要证明两边含有不定积分的等式,只要证明等式两边的微分(或导数)相等就行了”这种证明方法是不对的,并得出正确的证明方法。     

重要极限证明中的一个注解

指出在证明重要极限limx→+∞(1+1x)x=e中的一个常见误区,在此基础上给出正确的证明方法,并给出了证明该重要极限的定义证明方法。     

关于高斯光束复参数q满足ABCD定律的证明

假设高斯光束复参数满足ABCD定律,由此可根据激光理论和Collins衍射积分求解出射高斯光束的复参数表达,结果与实验相符。这就证明假设成立,即证明高斯光束复参数满足ABCD定律。文章还同时给出关于这个问题的Fourier衍射积分证明方法,佐证了文中证明是正确的。     

浅谈构造几何体证明不等式

不等式的证明方法很多，课本中介绍了几种基本证法。但对于许多构造新颖、风格各异的不等式，常规证法往往难以奏效，或是证明过程十分繁琐。有必要开拓思路，另辟蹊径。证明不等式，构想一个辅助问题是一个有效的好主意。所谓“辅助问题”，实质上就是应用构造思想，构造新数学模型而成的“辅助问题”。这种构造数学模型的方法不仅是一种数学解题方法，而且也是解决科学技术问题最常用、最重要的方法，所谓用构造法证明不等式，即是在证明时先构造一个与问题A有关的辅助问题B-即新的数学模型，其构造方法完全取决于A的特征，而且我们可以…     

基于产品语义学的数字产品机能角色研究

从产品语义学出发，研究数字产品的机能角色，以解决工业设计师在运用符号语言和用户交流时，如何传达“这是什么”和“怎么使用”这两个问题。基于数字技术的应用，数字产品机能角色可分为物质性和非物质性两方面内容。这一变革使产品语义符号的内容不仅包含其外在形态语言，而且包含内部软件界面。这对在数字时代背景下的产品语义的研究具有十分重要的意义。     

对混合Abel群中一定理证明的改进

本文指出了A.T.库洛什“群论”(上)书中一定理证明的错误,并给出了正确的证明。     

邓小平是坚持和发展毛泽东文艺思想的典范

如何对待毛泽东文艺思想，这是已经基本解决但今天仍有重要现实意义的文艺思想理论建设中的一个原则问题。邓小平同志为了解决这个原则问题，不仅指出了正确的方向，而且身体力行，作出了榜样。     

制约中国传统体育现代化发展的因素及对策研究

通过访谈法、文献资料法、实地考察法等方法进行研究,提出如何在新时期弘扬民族传统体育,使中国传统体育不仅在中华大地上保持其持久旺盛的生命力,而且在世界体育舞台上也能展示其永恒的魅力与风采这一议题,并指出了传统体育在现代化发展中,存在的一些不足,同时通过对这些问题的阐述,找出相应的解决问题的办法。     

关于静电屏蔽问题的证明

在大学物理中,由于只限于研究无界空间或有界空间的均匀和对称的静电场,对静电屏蔽问题,只能从物理图象上定性地加以说明;而在电动力学中,虽然提及可以而且易于用静电场的唯一性定理证明但并没有给出.本文就给出这一证明.     

奇阶中心对称幻方的de la Loubere 构造方法的证明

幻方的奇妙的构造方法上有高智能的特点，揭示其规律并上升到理论的高度不仅有着数学上的价值，而且对深入探讨客观世界丰富的对称结构及其变化规律有着积极的意义，奇阶中心对称幻方的ｄｅ ｌａ Ｌｏｕｂｅｒｄ构造方法是在１７世纪发现的，并被中外组合数学方面的书籍广为引用，但至今未看到此方法严格的数学证明，运用组合数学的方法，完成了这件工作，它属于幻方理论化工作之一，幻方理论化工作的价值在于赋予构造幻方操作的数     

Warshall算法之证明及若干应用

本文给出了 Warshall 算法的一个正确性证明,不仅简明,而且极有利于对 Warshall 算法本身的理解。对于自动编译程序构造中的基本问题之一,求非终极符所对应的终极符串的带头符(FIRST)和后继符(FOLLOW)集,本文还介绍了基于 Warshall 算法的计算办法。     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。