您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理复杂性 >

公理化定义和形式化定义有何不同

发布时间:2019-07-15 12:30 来源:未知 编辑:admin

  公理化方法发展的第一阶段是由亚里斯多德的完全三段论到欧几里得《几何原本》的问世.大约在公元前3世纪,希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料,系统地研究了三段论,以数学及其它演绎的学科为例,把完全三段论作为公理,由此推导出其它所有三段论法,从而使整个三段论体系成为一个公理系统.因此,亚里斯多德在历史上提出了第一个成文的公理系统.

  亚里斯多德的思想方法深深地影响了当时的希腊数学家欧几里得.欧几里得把形式逻辑的公理演绎方法应用于几何学,从而完成了数学史上的重要著作《几何原本》.他从古代的量地术和关于几何形体的原始直观中,用抽象分析方法提炼出一系列基本概念和公理.他总结概括出14个基本命题,其中有5个公设和9条公理,然后由此出发,运用演绎方法将当时所知的全部几何学知识推演出来,整理成为演绎体系.《几何原本》一书把亚里斯多德初步总结出来的公理化方法应用于数学,整理、总结和发展了希腊古典时期的大量数学知识,在数学发展史上树立了一座不朽的丰碑.

  公理学研究的对象、性质和关系称为“论域”,这些对象、性质和关系,由初始概念表示.例如欧氏《几何原本》中只需取“点”、“直线”、“平面”;“在……之上”、“在……之间”、“叠合”作为初始概念.前三个概念所表示的三类对象和后三个概念所表示的三种关系就是这种几何的论域.按照“一个公理系统只有一个论域”的观点建立起来的公理学,称为实质公理学.这种公理学是对经验知识的系统整理,公理一般具有自明性.因此,欧氏《几何原本》就是实质公理学的典范.

  公理化方法的发展大致经历了这样三个阶段:实质(或实体)公理化阶段、形式公理化阶段和纯形式公理化阶段,用它们建构起来的理论体系典范分别是《几何原本》、《几何基础》和ZFC公理系统。

http://39-5963.net/gonglifuzaxing/593.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有