课外数学小知识：公理化和形式化_第1页
课外数学小知识：公理化和形式化_第2页
课外数学小知识：公理化和形式化_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

第页课外数学小知识：公理化和形式化不光愉快的过学期,也要面对一件重要的事情那就是学习。查字典数学网为大家提供了课外数学小知识,希望对大家有所帮助。研究演绎科学理论和构造演绎系统的两种方法。它们被广泛应用于现代逻辑和数学研究中。公理化把一个科学理论公理化,就是用公理方法研究它,建立一个公理系统。每一科学理论都是由一系列的概念和命题组成的体系,公理化的实现就是：①从它的诸多概念中挑选出一组初始概念,即不加定义的概念,该理论中的其余概念,都由初始概念通过定义引入,即都用初始概念定义,称为导出概念;②从它的一系列命题中挑选出一组公理,即不加证明的命题,而其余的命题,都应用逻辑规那么从公理推演出来,称为定理。应用逻辑规那么从公理推演定理的过程称为一个证明,每一定理都是经由证明而予以肯定的。由初始概念、导出概念、公理以及定理构成的演绎体系,称为公理系统。其中,初始概念和公理是公理系统的出发点。公理方法经历了从古代的实质公理学到现代的形式公理学的开展过程。公理系统相应地区分为古典公理系统、现代公理系统或称形式公理系统。最有代表性的古典公理系统是古希腊数学家欧几里得在?几何原本?一书中建立的。第一个现代公理系统是D.希尔伯特于1899年提出的。他在?几何根底?一书中,不仅建立了欧几里得几何的形式公理系统,而且也解决了公理方法的一些逻辑理论问题。古典公理系统的对象域即公理系统所研究的对象,是先于公理而给定的,概念是对象的反映,公理那么反映对这些对象的认识,表达这类对象的重要性质和关系。古典公理系统的初始概念和公理都有直观的具体内容,而系统的公理和定理是关于这对象域的真命题。从认识的开展来看,现代形式公理系统虽然一般也是从某种直观理论得到的,并且通常有预先想到的解释。但是,系统自身并不给初始概念予直观的具体内容,它们的意义完全由公理规定,对初始概念和公理可以给予不同的解释,可以刻划多个不同的对象域,即有多个不同的对象域都可以使得一个公理系统的公理和定理为真,它们在不同的解释下成为不同对象域的真命题。公理系统要满足某些一般要求,包括系统的一致性、完全性和范畴性,以及公理的独立性。其中一致性是最重要的,其他几个性质那么不是每个公理系统都能满足的,或可以不必一定要求的。形式化公理系统的进一步形式化不仅可以有不同的解释,而且需要应用专门设计的人工符号语言,使一个理论更为精确化和严格化,也就是运用人工的表意符号语言陈述所要形式化的理论。这种人工语言称为形式语言。把一个理论形式化就是把理论中的概念转换为形式语言中的符号,命题转换为符号公式,定理的推演转换成符号公式的变形,并把一个证明转换成符号公式的有穷序列。形式语言的符号和它们所表示的概念之间的对应是确定的,符号公式的结构反映它们的意见。把一个理论形式化后,就可以暂时完全撇开原来理论中的概念、命题的意义,而只从语言符号、公式结构(符号组合的形状)方面研究。意义是抽象的,往往不容易精确理解和掌握。而符号和公式是有穷的具体的对象,能够对其作更精确、

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论