In October 1915, Einstein threw himself into a month-long frantic endeavor in which he returned to an earlier mathematical strategy and wrestled with equations, proofs, corrections and updates.
在1915年的10月，爱因斯坦投身于长达一个月的疯狂工作中。在此期间，他回顾了早先的一个数学策略，并且与方程式、证明法、修正法、数据更新等展开了一番搏斗。
Even when he was nationally famous in the 1850s he resembled a clerk in a third-rate brokerage house, with slips of paper—marked-up proofs perhaps—hanging out of his pockets or stuck in his hat.
即使在19世纪50年代他是全国知名人物时，他也像个三流经纪行的职员，也许还会把一些可能是有标记证明的纸片挂在他的口袋外面或插在他帽子里。
She was checking the proofs of her latest novel.
她正在审阅她的新小说的校样。
He gave the proofs to the obligatoriness, possibility, reasons and authorities of his social controlling thought.
他对社会控制的必要性、可能性以及合理性、权威性作出了论证。
Proofs for recursive report-printing program.
递归的报告打印程序的证明。
I secretly had a doe killed and took the proofs from it.
我悄悄地杀了一头鹿，取了那些证物。
See also "there's more to mathematics than rigour and proofs".
请参见(Theresmoretomathematicsthanrigourand proofs)。
And it turns out there's a variety of proofs of the Pythagorean Theorem.
其实有很多种证明勾股定理的方法。
As I mentioned before, proofs use axioms and theorems to make their case.
如前所述，证明以公理和定理做为其论据。
According to them, there are two "proofs" that May 21 2011 is the judgement day.
他们称，有两个“证据”可以证明2011年5月21日是末日。
Since this program has several features, we will show short proofs for a few of them.
由于这个程序有若干个特性，我们将为其中一些给出简短的证明。
In math, difficult proofs require ingenious solutions, and those tend to be interesting.
困难的数学证明需要天才的解答，而且它往往是令人着迷的。
Let's look at a few proofs for properties of the report-printing program from Listing 11.
让我们来研究关于清单11中报告打印程序的一些特性证明。
Let's consult the proofs of Ecce Homo, one of the last documents Nietzsche read in Turin.
《看这个人》，校验，尼采在都灵，最后读的。
References can also limit the scope of a startup’s greatest sales enemy: proofs-of-concept.
参考文献可能是新公司最大的销售敌人：概念论证。
I learned a lot about such proofs, but very little about actually solving one of these equations.
我学习很多这种证明，但是几乎没有实际地去解一个方程。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
I expect space aliens would agree with us most of the time about which of two proofs was better.
我认为，对于两种数学验算哪个更好的问题，太空异形在大部分情况下会和我们意见一致。
He could not now hope to meet his mistress with the proofs of his daring and skill on his person.
现在看来，单凭他本人的勇敢和机智，已难以与他的爱人会面了。
In the proofs, I will refer to the three recursion points of the program as R1, R2, and R3, respectively.
在证明过程中，我将把程序的三个递归点分别称为R 1、R2和R3。
Examples include program listings, immense tables of data, lengthy mathematical proofs or derivations, etc.
可以列举一些包括课程表，大量的数据表，冗长的数据证据或文字等的例子。
This pizza crust recipe is different than others that I have made as it proofs overnight in the fridge.
这个脆皮比萨食谱和以往的不同，要求把面团在冰箱里静置一夜。
The main way he proves this point is proofs from scripture, and so we're going to look at a few more of that.
他证明这点的主要方式是从经文中证明，所以我们还要再看看经文。
Take her out into the wood, and if you bring me some proofs that she is dead, I will reward you handsomely.
把她带到森林里去，如果你能给我带回什么证据证明她死了，我会给你很慷慨的回报。
One reason is that proofs must make many assumptions, and usually some of those assumptions aren't completely true.
其中一个原因是，验证必须做很多假设，而且通常这些假设并不是完全正确。
The proofs, for what they are worth, were, as I have said, dressed up afterwards-they were not the instrument of discovery.
那些证明，如我已说的，是为了表明那些思想是有价值的，而被装扮起来——它们不是发现的工具。
Provide demonstrations of the portal product or proofs of technologies to help clarify portal functionality (if possible).
提供门户产品的演示或技术证明，以帮助说明门户的功能(如果可能)。
Actions speak louder than words, so remember love and continue to show little proofs of your love everyday. Here are a few ideas.
做大于说，把爱铭记于心，每天做一点事来证明你的爱。
Though my Latin tutor had never ventured to trouble me with the proofs of his theory, yet up to this day I do not disbelieve it.
虽然，我的拉丁文老师从来不曾拿他的理论来为难我，然而，今天我不能不相信它。
It's not that program proofs cannot be done with imperative programs, but that the number of state changes that occur make them unwieldy.
并不是不能为命令式程序进行那种程序证明，而是状态改变发生的次数之多使得那些证明不具意义。
应用推荐