Milton wrote his epic in lines of unrhymed iambic pentameter or what we call, and what Milton would have called, blank verse.
弥尔顿的史诗由不押韵的抑扬格五音步诗句写成,我们,还有弥尔顿都称其为无韵诗。
That sounds interesting. Can you tell us more about the a cappella group?
听上去很有趣。你能告诉我们更多关于无伴奏合唱团的事情吗?
Now, this is a pretty familiar widget of little gadget that you might see on most websites today, but my God, what an uninteresting problem to solve ourselves.
这是一个大家都很熟悉的小工具,现在在大多数的网站上都可以看到,天哪,如果我们自己解决这样的问题那将是多么无趣!
It's like a fourth asset but we're using a special feature of this asset: that it has no risk.
如同第四种资产,我们将利用这个资产的特性:,即无风险特性。
It has nothing whatsoever to do with the question of simply the size of Satan's shield, and we realize that we have to redraw the schema into which we fit this simile.
实际上这和撒旦屏障的大小,并无实际的关联,我们得重新规划屏障的大小,来适应这个比喻。
Now I take it the dissertation can be read without knowing that, and the science is fine.
我认为我们在读他的论文是,在不知道他信仰时,他研究的科学并无不妥。
So we revise the personality theory to say, the secret to personal identity is having the same personality-- provided that there's no branching.
所以我们对人格理论稍作修改,提出人格理论的秘诀在于-,给人格提供无分支的前提。
We are free to the extent that we can act in an unimpeded manner.
在所允许的限度里,我们可以无拘束地任何想做的事。
There are some examples that can bring out the moral intuition that our labor can take something that is unowned and make it ours, though sometimes, there are disputes about this.
有些例子可以说明,在道德上,通过劳动能使无主物品成为我们的所有物,尽管有时,这一点颇具争议。
So, to summarize, in Genesis 1, The view of god is that there is one supreme god, who is creator and sovereign of the world, who simply exists, who appears to be incorporeal, And for whom the realm of nature is separate and subservient.
那么,我们来总结《创世纪》第一章,对上帝的认识是只有一个无上的上帝,他就是世界的创造者和主宰者,是毋庸置疑的存在,他看起来无形无体,对于他来说,自然界是分隔的从属的。
We know there is no thing called a massless rope, but most ropes have a mass, but maybe negligible compared to the two blocks you are pulling, so we'll take the idealized limit where the mass of the rope is 0.
我们都知道无质量的绳子是不存在的,是绳子就有质量,但是相比于这两个物体就可以忽略不计了,所以我们有了这个理想的条件,即绳子的质量都是 0
Now I was going to put that text up on the board and, to be honest with you, I forgot to do that, so I'm going to have to see if I can remember this text: We're going to focus now on two sections of this work: the "Confutatis" And the "Lacrimosa dies illa."
现在我将要把歌词写在黑板上,老实跟你们说,我刚才忘了这么做,所以我得看看自己是否还记得歌词,我们将专注于这部作品的两个部分,《羞惭无地》和《落泪之日》
And what we see is it is not monotonic.
我们看到的不是无变化的。
So a bit of uninteresting math, a bit of focus on sizes of types, but any questions on syntax or concepts thus far before we now put this to the test?
一些比较无趣的数字,一些关于类型的大小,在我们现在进行试验之前,你们对这其中的语法或概念有什么问题吗?
So let's try to choose between the personality theory with the no branching rule and the body theory with the no branching rule.
让我们从带有无分支规则的人格理论,和带有无分支规则的肉体理论选一个。
But according to the no branching rule, we can't yet conclude that I'm the same person as the person that was lecturing to you on Tuesday.
但根据无分支规则,我们还不能总结说,我跟星期二,给你们上课的人为同一人。
And from that to the further claim that whatever we mix our labor with that is un-owned becomes our property.
再从这更进一步为以下观点,任何施加了我们劳动的无主物品,都是我们的财产。
So as I say,the soul theory can at least give us an answer that avoids the no branching rule.
所以我说,灵魂理论至少能给我们,一个避开无分支规则的答案。
Given the no branching view,the no branching rule, we can say,in the ordinary case,look, there really wasn't anybody imprinted with my memories and desires in Michigan.
在这个无分支这个规则下,通常的案例下,我们能说,密歇根并没有人植入了我的记忆和欲望。
John Locke said private property arises because when we mix our labor with things, unowned things, we come to aquire a property right in those things.
约翰·洛克说,私有财产权之所以兴起,是因为我们将劳动付诸于无主的事物,所以取得了这些东西的产权。
If I'm right in thinking immortality would be undesirable, then the fact that we're going to die is good, because it guarantees that we won't be immortal, which would be a nightmare, an unending nightmare.
如果永生不值得期许的观点是对的,那么我们终将一死的事实是好的,因为它保证我们不得永生,那是恶梦,一场永无止尽的恶梦。
If the body view adds the no branching principle, then we can say,look,in the case of this sort of splitting-- This example is known in the to philosophical literature as fission, like nuclear fission when a big atom splits into two.
如果肉体理论加入无分支原则,我们就能说,在这种分裂的情况下-,这种分裂在哲学文献中叫做裂变,就像原子一分为二的核裂变。
But at the end of the day, the point of the slides is not to expect you to now go write programs in C but really to just remind you that, hey, if you ever get distracted from some of the minutia that is the semicolons, parentheses, and what is very new to many of you, it's really no different than the fun and games we implemented with Scratch last week.
但是最终,我们课件上讨论的主题,并不是让你现在就写一个C语言的程序,而是要告诉大家不要你被那些分号括号,还有一些从未见过的符号等一些细节搅得心烦意乱,因为它们本质上,和我们上周用Scratch做出来的游戏,并无区别。
It probably has some risk, but the way we approximate things in finance, we take the government as riskless.
它可能存在一定的风险,但在金融学上,我们忽略其风险,将政府债券看作无风险。
Slavery is natural because we cannot rule ourselves without the restraint of the passions.
奴役是自然的演变,因为我们无法管理我们自己,若无克制激情。
应用推荐