通常称为证明论。
首先，我们构造知道主体的系统KA，给出它的一些证明论结果。
Firstly, we construct the system KA of knowing agents, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。
Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory.
首先，我们构造以目的和背景知识为双条件的条件句系统akc，给出它的一些证明论结果。
Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
我不像那些笨蛋一样，将进化论仅仅解释为优胜劣汰和某一物种存活了下来证明了它们应当比其他物种活的时间长。
I am not one of those lunkheads who interpret evolution as meaning only the fittest survive and their survival proves that they deserved to outlast other species.
这可以在实验室中进行测量，而且结果将证明弦论是否真正有效。
This can be measured in a lab, and the results will demonstrate whether string theory actually works.
除非有法医学分析和其它有力证据的证明，对我来说，阴谋论不成立——尤其是在用非常好的扬声器听了最终的专辑版本后。
Until a forensic analysis or some other concrete evidence proves otherwise that conspiracy theory doesn't hold up for me--especially after hearing the final album versions on very good speakers.
来自哈密尔顿县的JacobBarnett刚过完他的13岁生日，他认为他找到了证明相对论有问题的方法。
Jacob Barnett of Hamilton County, Ind., who is just weeks shy of his 13th birthday, thinks so. And, he's got the solutions to prove it.
当我外出去演讲时，我演讲的题目是：对智能设计论说不！ （注：智能设计论是进化论和创造论以外一种新的物种起源理论，是近代西方兴起的一种证明上帝存在的理论）。
When I go out and give speeches, the title of my speech is “The Case Against Intelligent Design.”
在他1916年发表的广义相对论中，爱因斯坦证明了重力可以减慢时间。
In his general theory of relativity, published in 1916, Einstein showed that gravity too can slow time.
开尔文勋爵在由相对论和量子力学引发的智力风暴证明他全错了之前不久的1900年如是说。
So said Lord Kelvin in 1900, shortly before the intellectual firestorm ignited by relativity and quantum mechanics proved him comprehensively wrong.
如比，他们中只有23%的人认为有确凿的证据证明人类活动引起全球变暖；这与相信进化论的人数相差无几。
Only 23% of them accept that there is solid evidence of man-caused global warming, for example; about as many as believe in evolution.
所以如果我们能够找到的话，这将是一次对进化论预言的有力证明。
So if we can, that is a powerful confirmation of an evolutionary prediction.
爱因斯坦就很早就被证明是正确的了，就在他提出相对论的几年后。
Einstein was shown to be correct long ago, only a few years after he came up with the theory.
例如，缺乏渐进性过渡生物化石，热力学第二定律证明了进化论是不可能的，等等。
For example, that there's a lack of transitional fossils and that the second law of thermodynamics makes evolution impossible.
然而，目前两位物理学家证明，爱因斯坦的著名公式其实包含了复杂、甚至些许野心的基因，这与相对论毫不沾边。
Yet two physicists have now shown that Einstein's famous formula does have a complicated and somewhat ambiguous genesis - which has little to do with relativity.
这个证明也为寻求物理学的圣杯——量子引力论——提供了重要的指导。
The confirmation also provides important guidance to those seeking the holy grail of physics - a quantum theory that includes gravity.
洛克认为，可以通过一种宇宙论来证明上帝的存在。
Locke thought that you could prove the existence of God by a sort of cosmological argument.
那么为什么人们支持无科学证明的智能设计论，尤其是已指出进化论得到了科学支持的背景下？
So why do people support intelligent design without scientific proof, especially when claims on evolution are backed by science?
如同任何恶毒的阴谋论，奥巴马的出生已证明是不争的事实。
Like any virulent conspiracy theory, that of Obama's birth has proved immune to the intervention of fact.
新的证明包括最近发现的支持进化论的证据，包括发现的一具重要的化石。
The new document includes recently discovered evidence supporting evolution, including an important fossil find.
那并不能证明二元论是错的
证明在于宇宙：爱因斯坦广义相对论被证实。
Proof Is in the Cosmos: Einstein's General Relativity confirmed.
事实上，爱因斯坦广义相对论的假设在1916年发表后3年内就得到了证明。
In fact, the premise of Einstein's theory of general relativity was proved within three years of its publication in 1916.
化石长得有点像狐猴，科学家们把它叫做“艾达”，至于它的正式名称则是Darwiniusmasillae （达尔文的梅塞尔猿），因为这一生物是查尔斯达尔文的进化论的有力证明。
The fossil is of a lemur-like animal which was nicknamed Ida, while the official name is Darwinius masillae because the creature is a proof that confirms the Theory of Evolution by Charles Darwin.
“探测结果很了不起，但是我们不应该把它作为一个证明广义相对论是否正确的证据，”物理学家兼作家GrahamFarmelo说。
"The probe's results are a great achievement, but we should not think of them as a new proof that general relativity is right," said Graham Farmelo, physicist and author.
因博弈论经济学著作而获得2005年诺贝尔奖的耶路撒冷希伯来大学学者RobertAumann表示，事实证明模拟软件应用于拍卖尤其成功。
Modelling auctions has proved especially successful, says Robert Aumann, an academic at the Hebrew University of Jerusalem who received a Nobel prize in 2005 for his work in game-theory economics.
因博弈论经济学著作而获得2005年诺贝尔奖的耶路撒冷希伯来大学学者RobertAumann表示，事实证明模拟软件应用于拍卖尤其成功。
Modelling auctions has proved especially successful, says Robert Aumann, an academic at the Hebrew University of Jerusalem who received a Nobel prize in 2005 for his work in game-theory economics.
应用推荐