手机APP下载

您现在的位置: 首页 > 英语听力 > 英语视频听力 > 纪录片 > 《费马大定理》纪录片 > 正文

BBC纪录片地平线《费马最后的定理》第6期:数学证明

来源:可可英语 编辑:max   可可英语APP下载 |  可可官方微信:ikekenet
  


扫描二维码进行跟读打分训练

Well how many numbers are there to beat that with?

要这么做的话得要试多少个数?
You've got to do it for infinitely many numbers.
你得要这么试上无穷无尽的数字
So after you've done it for one, how much closer have you got?
那么你试了一个数后,距离目标还有多远?
Well there's still infinitely many left.
仍有不可计数的那些
After you've done it for 1,000 numbers, how many, how much closer have you got?
在你试了1千个数后,还有多少,距离目标还有多远?
After you've done a few million, there's still infinitely many left.
就算你试了数百万个以后,还是有无穷无尽的。
In fact, you haven't done very many have you?
事实上,你没试多少,对吧?
A computer can never check every number. Instead, what's needed is a mathematical proof.
计算机从来不能把每个数字都试一遍。相反,所需的是数学证明。

BBC纪录片地平线《费马最后的定理》

A mathematician is not happy until the proof is complete and considered complete by the standards of mathematics.

除非证明过程完整,而且就数学标准看来是完整的,不然数学家是不会高兴的。
In mathematics there's the concept of proving something, of knowing it with absolute certainty.
数学世界中的概念是要证明某样东西,要绝对确定地了解它。
Which, well it's called rigorous proof.
而这被称为铁证
Well, that's what mathethematics it's all about
数学就是那么回事
A prove it's a sort of reason, it explains why no numbers fit the equation without having to check every number
证明是一种论据,它解释了为何没有数字符合那个等式,而用不着查验每个数字。
After centuries of faling to have a prove
历经数世纪寻求证明的失败
mathematicians began to abandon Fermat in favor of more serious math
数学家们开始撇开费马而转向更严肃的数学。

重点单词   查看全部解释    
beat [bi:t]

想一想再看

v. 打败,战胜,打,敲打,跳动
n. 敲打,

 
equation [i'kweiʃən]

想一想再看

n. 相等,方程(式), 等式,均衡

联想记忆
rigorous ['rigərəs]

想一想再看

adj. 严厉的,严酷的,严格的,细致的

联想记忆
haven ['heivn]

想一想再看

n. 港口,避难所,安息所 v. 安置 ... 于港中,

联想记忆
abandon [ə'bændən]

想一想再看

v. 放弃,遗弃,沉溺
n. 放纵

联想记忆
check [tʃek]

想一想再看

n. 检查,支票,账单,制止,阻止物,检验标准,方格图案

联想记忆
concept ['kɔnsept]

想一想再看

n. 概念,观念

 
certainty ['sə:tnti]

想一想再看

n. 确定,确实的事情

联想记忆

发布评论我来说2句

    最新文章

    可可英语官方微信(微信号:ikekenet)

    每天向大家推送短小精悍的英语学习资料.

    添加方式1.扫描上方可可官方微信二维码。
    添加方式2.搜索微信号ikekenet添加即可。