数学中公理怎样的来的?
来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/10/06 12:44:10
数学中公理怎样的来的?
公理,指的是一些不证自明的的命题,是数学中很多逻辑推理的基础,由公理推出的命题叫定理.
不证自明性是公理的特点,这也是为什么数学家质疑欧几里得的第五公设——平行公理的原因,平行公理看起来并不象其他几条公理一样明白了当(比如第一条公设:任意两个点可以通过一条直线连接),而非欧几何的建立,也正说明了第五公设的不必要性.
从一方面说,公理也可以看作是对于一些一般经验的总结,这些总结是无可争议的正确的,还用第一公设说,“任意两个点可以通过一条直线连接”不管这直线如何定义,总之两点之间可以连出一条线(天知道在哪一维空间里就是一条直线叻?),这既符合直觉,也是简单明确的事实.
从数学逻辑的角度,要证明一个定理就要证明导出这个定理的定理,进而要证明导出导出这个定理的定理的定理.这样一直往回走,我们需要证明一个定理串,如果这个过程无限回溯显然是不可接受的,必须要有一些“东西”作为这个定理串的源头,回溯的过程终止与这个源头,这个源头我们就说它是“公理”,当然如果这个源头与某条已知公理违背,则这一串就都是假命题了.
扯远了,回到公理上来,形式主义数学家如希尔伯特,就通过建立形式化公理体系,把数学带到了一个更加严密的世界中来了.每一套公理体系中的公理,必须互相独立,且相容,否则就有矛盾了.所以一个公理背后是一套公理体系,这样就构成了一套数学的基础.
数学的图景也没有那么统一的,一套非偶的公理体系,就一个非偶几何空间(当然希尔伯特老先生的几何公理体系吧几何学统一了.可不可以不要这么强大嘛~);一个连续统假设,分出两个数学的世界,
总之公理,公理体系,就是数学的的底桩.
不证自明性是公理的特点,这也是为什么数学家质疑欧几里得的第五公设——平行公理的原因,平行公理看起来并不象其他几条公理一样明白了当(比如第一条公设:任意两个点可以通过一条直线连接),而非欧几何的建立,也正说明了第五公设的不必要性.
从一方面说,公理也可以看作是对于一些一般经验的总结,这些总结是无可争议的正确的,还用第一公设说,“任意两个点可以通过一条直线连接”不管这直线如何定义,总之两点之间可以连出一条线(天知道在哪一维空间里就是一条直线叻?),这既符合直觉,也是简单明确的事实.
从数学逻辑的角度,要证明一个定理就要证明导出这个定理的定理,进而要证明导出导出这个定理的定理的定理.这样一直往回走,我们需要证明一个定理串,如果这个过程无限回溯显然是不可接受的,必须要有一些“东西”作为这个定理串的源头,回溯的过程终止与这个源头,这个源头我们就说它是“公理”,当然如果这个源头与某条已知公理违背,则这一串就都是假命题了.
扯远了,回到公理上来,形式主义数学家如希尔伯特,就通过建立形式化公理体系,把数学带到了一个更加严密的世界中来了.每一套公理体系中的公理,必须互相独立,且相容,否则就有矛盾了.所以一个公理背后是一套公理体系,这样就构成了一套数学的基础.
数学的图景也没有那么统一的,一套非偶的公理体系,就一个非偶几何空间(当然希尔伯特老先生的几何公理体系吧几何学统一了.可不可以不要这么强大嘛~);一个连续统假设,分出两个数学的世界,
总之公理,公理体系,就是数学的的底桩.
数学中公理,定理,推理的联系与区别
数学 的公理和定理的区别
数学中公理和定理有什么区别,怎样区分?
平面性质的公理三可不可以用数学符号来表示?
公理怎么得来?比如数学中的公理,上学时都说是不证自明的.但现在想问一下公理从认识上是如何得来的,难道先验是真的存在的,还
数学真命题的运用如果在数学解题中,想要使用某个真命题(不是定理或公理)来快速解题,是否需要在该题中证明该命题为真命题然后
数学中概念 定义 公理有什么区别 我很纠结于数学整个体系怎么建立起来的
北京版数学七上四单元的定义、公理、定理
数学中的公理和定理的区别是什么
初中数学证明的所以公理,推论,定理.
初中数学证明几何图形全等、相似的公理、定理?
数学的公理和定理有什么区别啊?