证明是

His paper on Glen Roy had proved embarrassingly wrong, and he may have wanted to be sure he was correct.

他写的关于罗伊峡谷的论文已经证明是错得令人难堪，他可能想确信有把握是正确的。

Sensitivity analysis is a technique used to determine how a projected outcome is affected if one of the key predictions proves false.

如果决定结果的关键因素证明是假的，敏感度分析可以确定预测的结果是如何被影响的。

Should "folk psychology", which eliminativists view as a quasi-scientific theory, be proven wrong in the course of scientific development, then we must also abolish all of the entities postulated by it.

民族心理学被取消主义者看成是一种准科学的理论，它应该在科学的发展过程中被证明是错误的吗？而后我们就必须废除所有由它假定的实体。

While demonstration is the thinking manner of formal logic, argumentation is that of informal logic.

证明是一种形式逻辑的思维方式，论证是一种非形式逻辑的思维方式。

That's a worthy idea, and one grounded in experience.

这是一个有价值的观念，并且被经验证明是正确的。

Inequality proof of higher mathematics is a common problem, but also a mathematical problem solving mathematical analysis of the other.

不等式的证明是高等数学中一个常见的问题，而且也是数学分析解决其它数学问题的基础。

It is important to note, however, that spinal PGE2 and TNF-alpha proved to be differently affected by pharmacological treatments able to fully abolish the hyperalgesia

这里有一点重要的说明是髓的前列腺素 E2和α肿瘤坏死因数被证明是通过不同的方法影响药物完全阻断痛觉的作用。

This is why so many strategic decisions turn out to be ill-judged.

这也是众多的战略决策被证明是判断失误的原因。

Thus far it has been shown negatively that an historic and legal document claiming to be written at the time of Moses involves no antecedent improbability of its authenticity.

迄今为止，它已被证明是一种消极的历史和法律文件，声称是书面的时候，摩西不涉及先行不大可能的真实性。

Del incompleteness theorem is based on some interpretation of first order arithmetic.

本文首先从形式主义的角度介绍了哥德尔不完全性定理，提出"哥德尔不完备性定理"的说法是容易混淆的，说明一阶算术有非标准模型，哥德尔的证明是基于标准模型的，可以推出一阶算术在标准模型上的不完备。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。