如何有效地提高和改进反证法的教学，是摆在中学数学教师面前的一个重要课题。
The proof by contradiction is one of the most important methods of proving propositions in mathematics.
通过反证法，不存在一个程序，能像传说中的P一样运行。
By reductio, there cannot possibly be a procedure that acts like the mythical P.
反例和反证法是数学中常用的方法，在统计数学中也有许多有趣的应用。
The negative example and reductio ad adsurdum Proof obtain an interesting application in statistical mathematic.
应用推荐