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.
他对社会控制的必要性、可能性以及合理性、权威性作出了论证。
The proofs, for what they are worth, were, as I have said, dressed up afterwards-they were not the instrument of discovery.
那些证明，如我已说的，是为了表明那些思想是有价值的，而被装扮起来——它们不是发现的工具。
Not only this will happen but you will also look for his slightest mistakes then use them as proofs for what you have been told about him!
不仅这个将会发生，而且你也会寻找他最轻微的错误，然后将此作为他人告诉你他是怎么样的人的证据。
Since this program has several features, we will show short proofs for a few of them.
由于这个程序有若干个特性，我们将为其中一些给出简短的证明。
For the equations course, I was given a set of unpublished lectures that emphasized existence proofs and uniqueness of solutions to differential equations.
在方程课上，我听了一系列未公开的演讲，强调的是微分方程的解的存在证明及其唯一性。
It might also be wise to consider asking for certain proofs to have been established before a firm can claim to be able to make a firm association between a disease and a DNA sequence.
要求基因测定公司必须在掌握确凿证据之后，才可声称能够确定某种疾病与某段基因序列之间存在联系，这也是明智的做法。
I learned a lot about such proofs, but very little about actually solving one of these equations.
我学习很多这种证明，但是几乎没有实际地去解一个方程。
In math, difficult proofs require ingenious solutions, and those tend to be interesting.
困难的数学证明需要天才的解答，而且它往往是令人着迷的。
Static analysis of process flows and correctness proofs of complex composite applications were also popular themes, something that is typically left to vendor specific products (if at all).
过程流的静态分析和复杂组合应用的正确性证明也是热门主题，有些代表性主题被留给了厂商特定的产品(即使不是全部)。
Let's look at a few proofs for properties of the report-printing program from Listing 11.
让我们来研究关于清单11中报告打印程序的一些特性证明。
As I mentioned before, proofs use axioms and theorems to make their case.
如前所述，证明以公理和定理做为其论据。
It's not that program proofs cannot be done with imperative programs, but that the number of state changes that occur make them unwieldy.
并不是不能为命令式程序进行那种程序证明，而是状态改变发生的次数之多使得那些证明不具意义。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
Examples include program listings, immense tables of data, lengthy mathematical proofs or derivations, etc.
可以列举一些包括课程表，大量的数据表，冗长的数据证据或文字等的例子。
The main way he proves this point is proofs from scripture, and so we're going to look at a few more of that.
他证明这点的主要方式是从经文中证明，所以我们还要再看看经文。
In the proofs, I will refer to the three recursion points of the program as R1, R2, and R3, respectively.
在证明过程中，我将把程序的三个递归点分别称为R 1、R2和R3。
And it turns out there's a variety of proofs of the Pythagorean Theorem.
其实有很多种证明勾股定理的方法。
Provide demonstrations of the portal product or proofs of technologies to help clarify portal functionality (if possible).
提供门户产品的演示或技术证明，以帮助说明门户的功能(如果可能)。
Mr Werning is an economist's economist; an elegant theorist, whose early contributions provided streamlined proofs that other thinkers could make use of.
Werning先生是一个经济学家的经济学家，一个一流的理论家，他早期的贡献是为其他经济学家提供了可资利用的简化了的证据。
Actions speak louder than words, so remember love and continue to show little proofs of your love everyday. Here are a few ideas.
做大于说，把爱铭记于心，每天做一点事来证明你的爱。
According to them, there are two "proofs" that May 21 2011 is the judgement day.
他们称，有两个“证据”可以证明2011年5月21日是末日。
In short, if you believed that you are a failure or focused on this fact you will encounter hundreds of proofs that will support your beliefs.
总而言之，如果你相信你是一个失败者，或是固执于此，那么你就会遇到成百上千的能够证支持你想法的证据。
Take her out into the wood, and if you bring me some proofs that she is dead, I will reward you handsomely.
把她带到森林里去，如果你能给我带回什么证据证明她死了，我会给你很慷慨的回报。
She thrilled with these proofs of her power that proclaimed her a woman, and she took an Eve-like delight in tormenting him and playing upon him.
她的威力的这种种表现宣布了她已是个女人，这使她激动欢喜。 她也把抗磨和玩弄他当作快乐，像夏娃一样。
The sculpture was cast in an edition of six and four artist proofs, most of which are in museums or private collections, where they are considered likely to stay.
贾科梅蒂的《行走的人》有六个版本，并且有四位艺术家选用过这个题材。它们如今都被博物馆或是私人永久地收藏。
One reason is that proofs must make many assumptions, and usually some of those assumptions aren't completely true.
其中一个原因是，验证必须做很多假设，而且通常这些假设并不是完全正确。
One reason is that proofs must make many assumptions, and usually some of those assumptions aren't completely true.
其中一个原因是，验证必须做很多假设，而且通常这些假设并不是完全正确。
应用推荐