共查询到10条相似文献,搜索用时 640 毫秒
1.
<正>数学证明一般是指以一些真实性已确定的命题为前提来确定另一命题的真实性的思维过程。具体地说,数学证明是以一些基本概念、基本公理为基础,从题设(已知条件)出发,按照一定的逻辑规则和方法,经过一步步的演绎推理,最后得出结论的过程。随着社会的发展和进步,任何已判定的命题的真实性都是相对的,而不是绝对的,因而数学证明也不是绝对的而是相对的,数学证明的定义也随之而不断变化。我们认为数 相似文献
2.
3.
信息理论与自愿审计动机探究 总被引:1,自引:0,他引:1
自愿审计动机主要有三个理论假说:代理理论、保险理论和信息理论假说。其中的信息假说利用市场中的信息不对称问题,解释了我国上市公司自愿审计行为产生的原因。结合我国中期财务报告审计制度,分析上市公司的自愿审计动机主要是试图通过自愿购买审计服务,对会计信息进行鉴证,以提高信息的可靠性,与信息假说相符,使审计真正成为会计信息质量的有效保证。 相似文献
4.
5.
集合论的概括(抽象)原则说的是,对于任意的性质或条件恰好存在一个由满足这个性质或条件的对象组成的一个集合,康托尔的朴素集合论正是基于这样一条原则建立起来的.对象和集合之间的是"属于"关系,对象和性质之间的是"满足"关系,因而概括(抽象)原则可以用类似于塔斯基T模式的方式表示出来,x缀渍圮准(x),即集合渍恰好满足性质准的那些对象构成.然而,正是由于这个不加限制的概括原则,20世纪初波特兰·罗素在康托尔的朴素集合论中发现了一个悖论,即我们熟知的罗素悖论.罗素悖论的出现使得人们开始考虑对集合形成原则加以限制,增加新的公理限制集合论的朴素概括原则,这就是公理集合论的发展路径.公理化集合论是一种指向修改概括(抽象)原则拯救朴素集合论的集合论,因而其约束概括原则限制生成集合的任意性,对于维持集合论系统的协调性具有极端重要的意义.然而,随着弗协调思想和技术的发展,人们对待矛盾或不协调的态度和处理方法也在发生相应的改变,包容或容纳矛盾及不协调可以是集合论发展的一种路径选择.朴素集合论是一种不协调的理论,弗协调逻辑是唯一一类能够容纳不协调理论的逻辑类型;因此使用弗协调逻辑构造新的弗协调集合论系统是集合论发展的新路径. 相似文献
6.
股利信号理论,又称作信号假说(signalingh y p o t h e s i s),或者称作股利信息内涵假说(informationcontentofdividendhypothesis),该理论从放松MM理论的投资者和管理当局拥有相同的信息假定出发,认为在非完美的市场(incompletemarket)中,管理当局与企业外部投资者之间存在着信息不对称(a s y m m e t r i cinformation),管理当局占有更多的有关企业前景方面的内部信息。而股利是管理当局向外界传递其掌握的内部信息的一种手段,管理者会利用股利政策来传递有关公司未来前景的信息。因此,股利能够传递公司未来盈利能力的信息,从而股利对股… 相似文献
7.
8.
众所周知数学归纳法的理论根据是皮亚诺的自然数公理和数学归纳法原理,在使用数学归纳法证明无穷数目的命题时,经常说:如此递推下去可知……;那么,这个递推下去的过程到底是有限的还是无限的过程? 相似文献
9.
迄今为止,人们在研究自然现象中,从不同程度,不同方面都发现了不同特征的对称性。上个世纪物理学对物质结构和物质运动的每一次突破几乎都和对称性相关。例如,四种相互作用的规范场理论的建立和基本粒子的发现。这些对称性都能用群[1]来描述。尽管从十九世纪伽罗华发现群以来,建立在四个基本公理之上群的理论研究得到了迅速的发展,但对群的基本公理研究几乎没有大的进展。 相似文献
10.
郭垒 《科学技术与辩证法》2004,21(6):25-29
“适应”、“选择”是生物学理论中最具本质性的术语 ,自然选择是生物学与物理科学之间区分的最后底线。因此 ,进化论的演绎公理系统可以更清楚地反映出生物学与物理科学之间在什么程度上以及在什么意义上有着区别和联系。MaryB .Williams提出的进化论公理系统概括了有关进化论的所有观念 ,同时又与关于进化速率和机制的众多分歧在逻辑上相一致。由于国内鲜有人了解这个系统 ,本文根据Rosenberg的简要论述进行了编译 ,并把这个公理系统与自组织理论联系起来 ,给出进化论演绎公理系统的一种语义或分子模型的简要讨论。 相似文献