全部版块 我的主页
论坛 休闲区 十二区 休闲灌水
1877 4
2017-07-15

经济名词术语中公理化方法是什么_公理化方法




什么是公理化方法
  公理化方法是数学中的重要方法,它的主要精神是从尽可能少的几条公理以及若干原始概念出发,推导出尽可能多的命题。

  随着假设演绎模型法的进一步发展,经济学日益走向公理化方法。最早出现在二千多年前的欧几里德几何学中,当时认为“公理”(如两点之间可连一直线)是一种不需要证明的自明之理,而其他所谓“定理” (如三对应边相等的两个三角形对应角相等)则是需要由公理出发来证明的,18世纪德国哲学家康德认为,欧几里德几何的公理是人们生来就有的先验知识,19世纪末,德国数学家希尔伯特(David Hilbert)在他的几何基础研究中系统地提出数学的公理化方法。他认为每一种数学理论都应以“基本概念——公理——定理” 的模式来建立:这里的公理是作为理论出发点的科学假设,它们要求有完备性(任何定理可由此导出)、独立性(去掉其中之一有的定理就不能成立)和相容性(公理间是无矛盾的),但公理本身也由人们作各种解释。20世纪以来,整个数学体系几乎都巳按希尔伯特的模式得到公理化处理。

公理化方法的内容
  公理是对诸基本概念(例如基本元素、基本关系等概念)相互关系的规定.这些规定必须是必要的、合理的。详细说来,公理的选取和设置必须符合三条要求:一是协调性要求.协调性又称无矛盾性或相容性.这一要求是指在公理系统内,不允许同时能证明某一定理及其否定理.反之,如果能从该公理系统导出命题刀和否命题“非A”(记作解析失败 (PNG 转换失败; 请检查是否正确安装了 latex, dvips, gs 和 convert): \lnot A ),则A与解析失败 (PNG 转换失败; 请检查是否正确安装了 latex, dvips, gs 和 convert): \lnot A 的并存便称之为矛盾.因此,无矛盾性要求是对公理系统的一个基本要求.二是独立性要求.这就是要求公理的数目减少到最低根度,不容许公理集合中出现多余的公理.因为多余的公理总可作为定理推证出来,又何必再把它列为公理呢?三是关于公理系统的完备性要求.这就是要确保从公理系统能够导出所论数学某分支的全部命题.因此,必要的公理不能省略,否则将得不到由它所能推得的结果.一般说来,当一个公理系统满足上述三条要求时,即可认为是令人满意的系统了.但针对一个较复杂的公理系统要逐一验证三条要求,却并不是轻而易举的事,甚至至今不能彻底实现.

公理化方法的特点
  (1)公理系统是一个有序的整体。它并不平等地对待系统中的所有命题,而是将其划分为两类:公理(不加证明引入的)及定理(需要证明其为真的)并按纵向由浅入深地建立起多命题间的有机的联系。

  (2)在公理系统中,只要不是公理中的命题都不能不加证明地引用,没有经过严格论证过的命题无资格作为演绎推论的前提,因而就排除了继续运用归纳法引入演绎前提的渠道,成为纯粹的演绎系统。

  (3)公理系统是形式化的。只着眼于概念、命题间的关系,不考虑其来源、运用和发展。尽管它最先引入了一些原始对象(概念和命题),但对这些东西的解释却被当作系统之外的事,在系统内,只是作为一种“假设”。

二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

全部回复
2017-7-16 10:05:53
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

2017-7-16 10:31:22
好东西哦
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

2017-7-16 11:34:57
不错,帮顶下。
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

2017-7-16 11:35:29
貌似不错~~~~~~~~~~~~~~~
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

相关推荐
栏目导航
热门文章
推荐文章

说点什么

分享

扫码加好友,拉您进群
各岗位、行业、专业交流群