收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

公理化方法的历史发展

李建华  
【摘要】:正公理化方法就是从初始概念和公理出发,利用它们定义其它一切概念以及推演出其它一切定理的演绎方法。由初始概念、公理、定义、推理规则、定理等所构成的演绎体系,称为公理系统,公理系统是应用公理化方法的结果。公理化方法有一个从萌芽到逐步成熟、定型的过程、我们把这个过程分为实质公理化,抽象公理化、形式公理化三个阶段。

知网文化
【相似文献】
中国期刊全文数据库 前6条
1 张平,文晓宇;关于几何公理化方法的产生、发展和中学几何公理处理的硏究[J];齐齐哈尔师范学院学报(哲学社会科学版);1987年S1期
2 张荣华;数学公理化方法浅谈[J];九江师专学报;1990年06期
3 林夏水;公理化方法的哲学分析[J];福建师大学报(哲学社会科学版);1982年01期
4 鲁兴启;演绎科学方法论探寻[J];国内哲学动态;1985年05期
5 宋立军;任冲;;公理化运动的哲学反思[J];自然辩证法研究;2013年10期
6 邱克森;形式化、公理化无法摆脱科学理论错误[J];安徽大学学报;2001年05期
中国重要会议论文全文数据库 前1条
1 李建华;;公理化方法的历史发展[A];1997年逻辑研究专辑[C];1997年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978