什么叫直接构造性的证明

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/28 02:43:55
什么叫直接构造性的证明

什么叫直接构造性的证明
什么叫直接构造性的证明

什么叫直接构造性的证明
非构造性证明是「表述存在性的命题或定理」的一种证明方式:证明的过程中,不举例而只证明语句是否正确.比如要证明一个简单的命题:超越数是存在.可以如下证明:因为全体实数是不可数,而全体代数数是可数,所以超越数作为全体代数数的补集肯定是非空.由此得证.证明过程并没有找出任何一个超越数,但是依然证明了上述命题的正确性.非构造性证明很多时候依赖於排中律,数学结构主义数学是不允许非构造性证明的.