非构造性证明是证明间接表明数学对象存在,但没有提供具体的示例或算法制作一个示例。非构造证明也称为存在性证明。
另请参见
构造性证明,存在问题,存在定理,证明
与Wolfram一起探索| Alpha
工具书类
Courant,R.和Robbins,H.《间接证明方法》第2.4.4节什么数学是吗?:思想和方法的基本方法,第2版。牛津,英国:牛津大学出版社,第86-87页,1996年。P.霍夫曼。这个只爱数字的人:保罗·埃尔德的故事与数学探索真相。纽约:Hyperion,第229页,1998年。参考Wolfram | Alpha
非破坏性证明
引用如下:
埃里克·魏斯坦(Eric W.Weisstein)。“非破坏性证明。”发件人数学世界--Wolfram资源。https://mathworld.wolfram.com/NonconstructiveProof.html
主题分类