"根据哥德尔不完全性定理,哥德巴赫猜想有可能既无法证明,也无法否定,除非我们定义出更大的系统."这句话有道理么,为什么?

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/26 21:26:01

"根据哥德尔不完全性定理,哥德巴赫猜想有可能既无法证明,也无法否定,除非我们定义出更大的系统."这句话有道理么,为什么?
"根据哥德尔不完全性定理,哥德巴赫猜想有可能既无法证明,也无法否定,除非我们定义出更大的系统."
这句话有道理么,为什么?

"根据哥德尔不完全性定理,哥德巴赫猜想有可能既无法证明,也无法否定,除非我们定义出更大的系统."这句话有道理么,为什么?
有道理,可能在ZF体系中不可被证明.但是要证明不可被证明,这仍然是一个艰难的选择.问题在于你怎样去构造,他是一个不完备的体系.我认为,如果哥德巴赫猜想是不可被证明的,要证明他的不可被证明性恐怕比它如果是可证明的而被证明的难度还要大得多.
但只是有可能而已,目前没有人能给出证明.