论文部分内容阅读
在数学中,要证明一个命题成立.需严格论证在所给的条件下能逻辑地推导出结论.而要证明一个命题错误,十分简洁而又极具说服力的办法是举出反例.反例的威力来源于形式逻辑,举出反例则能否定命题是以排中律为保障的.美国数学家B.R.盖尔鲍姆说:"冒着过于简单化的风险,我们可以说(撇开定义,陈述以及艰苦的工作不谈)数学有两个大类--证明与反例组成,而数学发现也是朝着两个主要的目标--提出证明和构造反例."