什么时候必须得用反证法?
时间: February 8, 2017
原文作者:高尔斯,剑桥大学数学教授,1998年菲尔兹奖得主.
翻译作者:radium,哆嗒数学网翻译组成员,就读于重庆第二师范学院.
投稿可发至邮箱
已经有一段时间了,自从我在"哲学点滴"条目下写了一个帖子,也是在那儿我提出了像"如何说明一个命题比另一个命题更强,或者两个命题是等价的?"这样的问题.这篇文章就是讨论这个在我脑海里思考了很久的问题,但我发现它比我预想的更难.
似乎可以将定理分为三种类型:一种是不需要运用反证法来证明的,一种是不管用不用反证法都能证明的,最后一种是似乎只能用反证法.但是如何把一条定理归为这