当前位置:主页 > 生活经验 > 正文

说数学是 自洽 的是什么意思

“自洽”的意思是“一致”或者“不矛盾”(说白了,“是不是自洽”就是指“能不能自圆其说”)所以,如果一个数学系统是自洽的,那么对于该系统中的任何一条命题A,只要证明了 A 是对的,就不能证明 A 是错的。说数学是 自洽 的是什么意思?更多详情请大家跟着小编一起来看看吧!

说数学是 自洽 的是什么意思(1)

说数学是 自洽 的是什么意思(1)

“自洽”的意思是“一致”或者“不矛盾”

(说白了,“是不是自洽”就是指“能不能自圆其说”)

所以,如果一个数学系统是自洽的,那么对于该系统中的任何一条命题A,只要证明了 A 是对的,就不能证明 A 是错的;

相反,如果一个系统不自洽, 那么该系统至少包含一条命题A,使得 A 既能被证实也能被证伪;

(数学系统中有很多自洽的例子,比如:欧几里得的几何系统;

不自洽的例子是真没想出来,也没有搜到,不过只要理解了就好)

猜你还喜欢的

Copyright © 2022 读周刊 All Rights Reserved
声明:本站部分内容来源于网络,如涉及侵权,请与我们联系,请发邮件"duzhoukan@foxmail.com"进行处理,谢谢合作!
渝ICP备2021012918号-4|