搜搜做题作业网哥德巴赫猜想能不能作为公理?为什么
来源：学生作业帮 编辑：搜搜做题作业网作业帮 分类：数学作业 时间：2024/08/06 20:37:46
哥德巴赫猜想能不能作为公理?为什么
补充下,一些很长证明不了的命题在什么情况下可以认为是公理.比如费马大定理如果没人证出来,可以做公理吗?.之前的公理在后来被证明是定理,这种情况存在吗?
补充下,一些很长证明不了的命题在什么情况下可以认为是公理.比如费马大定理如果没人证出来,可以做公理吗?.之前的公理在后来被证明是定理,这种情况存在吗?
你对概念不理解.
公理是不证自明的真命题,公理没办法证明,是经验积累的结果.比如说,命题“对顶角相等”就是一个公理,你怎么证明?虽然不能证明,但他确是正确的,经实践检验了的真命题.
一般公理体系都是以若干基本概念、公理、公设为基础,然后推出若干定理和定理的推论.典型的体系就是欧几里得的《几何原本》.《几何原本》有5大公社、5大公理、还有点、线、面等基本概念.
猜想只是一个命题,其真假性有待证明,若为真命题则应有证明,如果是假命题可以推出矛盾或者举出反例.
一般,猜想不能作为公理,公理都是简单明了的命题.歌德巴赫猜想可是至今未完全证明或否定的.中国的陈景润证明了1+2
公理是不证自明的真命题,公理没办法证明,是经验积累的结果.比如说,命题“对顶角相等”就是一个公理,你怎么证明?虽然不能证明,但他确是正确的,经实践检验了的真命题.
一般公理体系都是以若干基本概念、公理、公设为基础,然后推出若干定理和定理的推论.典型的体系就是欧几里得的《几何原本》.《几何原本》有5大公社、5大公理、还有点、线、面等基本概念.
猜想只是一个命题,其真假性有待证明,若为真命题则应有证明,如果是假命题可以推出矛盾或者举出反例.
一般,猜想不能作为公理,公理都是简单明了的命题.歌德巴赫猜想可是至今未完全证明或否定的.中国的陈景润证明了1+2