反证法

The paper introduces several important notions such as uncountability and halting problem firstly,the fact is proved by contradiction that halting problem is impossible problem,and the same to other relative issues in computer is proved by reduction.

本文先介绍了不可数性和停机问题等重要概念，用反证法证明了停机问题是不可解的，并使用归约法对计算机中的相关问题的不可解性进行了证明。

It is clear that A restricted on ker T is : identity, which is compact, it must hold that ker T is finite-dimensional.

虽然ker T的有限维可以直接用反证法得出。利用ker T的有限维性质也应该是最简单的证法了吧多谢解答！

Tache of kinetics for the procedure of reduction reaction of samarium oxide with metallic lanthanum has been discussed in this paper.

讨论了镧热还原氧化钐过程的动力学环节，分析了还原过程镧—钐合金存在的可能性，采用反证法确定了制备金属钐温度下的动力学控速环节。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。