数学是发现的还是发明的? - Jeff Dekofsky:英语精读讲义

TED-Ed

学习难度
665 词 148 词/分

视频简介:视频从古代思想家的观点讲到后来意外获得现实用途的抽象理论,梳理数学究竟是人类发明的逻辑体系,还是独立于人类而存在的真理这一哲学争论,并最终回到仍无定论的核心问题。 主要英语知识点: 1. Would mathematics exist if people didn't? — 语法与句型:理解 Would ... if ... didn't? 如何通过设定一个与现实不同的假想世界来提出反事实问题。学会用这一框架开启哲学讨论,并探究某种事物的存在是否依赖人类。 2. "the unreasonable effectiveness of mathematics," — 文化、媒体与现实背景:理解尤金·维格纳这一著名说法指的是抽象数学竟能出人意料地准确解释物理现实,而不是把 unreasonable 仅按“不理性”或“不可接受”的字面意思理解。 3. If there's a number of trees in a forest, but no one's there to count them, does that number exist? — 习语与比喻表达:识别结尾问题是对“森林里一棵树倒下却无人听见”这一经典思想实验的数学化改写,并理解这层文化指涉如何用于讨论现实是否依赖观察者而存在。

本篇讲解

Would mathematics exist if people didn't? 語法

0:12

如果人类不存在,数学还会存在吗?

語法

Would mathematics exist if people didn't?:反事实提问

这个问题让你想象一个与现实不同的世界:人类并不存在。接着,它询问数学在那个想象的世界里是否仍会存在。Would 表示假设条件下的结果,这里不是“过去将来”。 在 if people didn't 中,didn't 代替 didn't exist。英语常在助动词后省略重复的动词短语。可以迁移使用的结构是 Would + 主语 + 动词原形 ... if + 主语 + 一般过去时 ...?

练习

这句话在问什么?

  1. 数学在一个没有人类的想象世界中是否仍会存在。
  2. 数学在人类学会它之前是否已经存在。
  3. 人类将来是否会停止学习数学。
查看答案

数学在一个没有人类的想象世界中是否仍会存在。

Since ancient times, 表達脈絡

0:15

自古以来,

mankind has hotly debated whether mathematics was discovered or invented. 短語搭配

0:16

人类一直在激烈地争论,数学究竟是被发现的,还是被发明的。

表達脈絡

Since ancient times:建立长久的历史时间框架

Since ancient times 把这场争论放进一个从遥远过去开始并延续到现在的时间跨度中。它位于句首,先为听者建立历史框架,再提出主要观点。 这里的 since 表示“从过去某个起点一直到现在”,不是“因为”。这个时间框架与现在完成时 has debated 相配,表示这场争论仍在持续,或至今仍有现实意义。

练习

Since ancient times 在这句话中组织了什么信息?

  1. 它说明了人们争论数学的原因。
  2. 它把这场争论限定为只发生在古代。
  3. 它把这场争论组织为从遥远过去开始并一直延续到现在。
查看答案

它把这场争论组织为从遥远过去开始并一直延续到现在。

短語搭配

has hotly debated whether:激烈争论某个问题

has hotly debated whether 表示“围绕是否……这一问题进行了激烈争论”。hotly 说明分歧的强烈程度,不是指温度。 whether 引出有争议的问题。本句中的 discovered or invented 给出了两个相互竞争的可能性。

练习

哪句话自然地使用了 hotly debated whether,表示人们对一个尚未解决的问题存在强烈分歧?

  1. Scientists have hotly noticed whether the signal is natural.
  2. Scientists have hotly debated whether the signal is natural.
  3. Scientists have calmly agreed whether the signal is natural.
查看答案

Scientists have hotly debated whether the signal is natural.

Did we create mathematical concepts to help us understand the universe around us,

0:22

是我们创造了数学概念,来帮助我们理解周围的宇宙,

or is math the native language of the universe itself, 習語

0:27

还是说数学本身就是宇宙的母语,

existing whether we find its truths or not? 語法

0:31

无论我们是否发现它的真理,它都一直存在?

習語

the native language of the universe itself:把数学比作宇宙固有的秩序

the native language of the universe itself 是一个隐喻。它把数学描述成宇宙本身固有的结构或模式,而不只是人类创造的工具。 这里的 native language 不是指人类的母语。这个比喻支持一种可能性:无论人类是否发现数学真理,它们都可以独立存在。

练习

在这个句子中,the native language of the universe itself 表达的是什么意思?

  1. 宇宙确实会说某一种人类语言。
  2. 人们为了研究太空发明了一种新的口语。
  3. 数学可能是宇宙固有的结构,人们可以借此理解宇宙。
查看答案

数学可能是宇宙固有的结构,人们可以借此理解宇宙。

語法

whether ... or not:两种情况下结果都不变

在 whether we find its truths or not 中,whether 提出两种可能:我们发现这些真理,或者没有发现。主句所表达的观点在两种情况下都成立,所以这个短语表示“无论我们是否发现它们”。 这里的 whether 不只是提出一个尚无答案的是非问题。它引出让步条件:人类有没有发现这些真理,并不决定它们是否存在。

练习

补全表示让步的 whether ... or not 结构:The deadline remains Friday ____ the team is ready ____.

查看答案

whether · or not

Are numbers, polygons, and equations truly real,

0:34

数字、多边形和方程式是真的存在,

or merely ethereal representations of some theoretical ideal? 用詞

0:37

还是仅仅是某种理论理想的虚幻表象?

用詞

仅仅是某种理论理想的非实体表现

merely 把后一种可能限制为“仅仅”或“不过只是”。这个问题把真正存在与某种理想的表现形式相对照,后者并不是独立存在的实体。 这里的 ethereal 表示缺乏实体、非物质或难以捉摸。representations 是用来呈现更抽象的理论理想的形式。在这个哲学语境中,ethereal 主要不是“美丽”或“优雅”的意思。

练习

在这个句子中,merely ethereal representations of some theoretical ideal 最接近什么意思?

  1. 它们是自然界中特别美丽的形状。
  2. 它们是用来测量物质世界的实用物体。
  3. 它们可能只是某种抽象理想的非实体表现。
查看答案

它们可能只是某种抽象理想的非实体表现。

The independent reality of math has some ancient advocates. 用詞

0:42

数学拥有独立实在性的观点,在古代就有支持者。

用詞

The independent reality of math:数学的独立实在性

在这里,The independent reality of math 指数学可能不依赖人类的思想、观察或共识而存在。independent 描述的是数学的存在方式,并不是说数学像人一样能够独立自主。 整个名词短语表达一种哲学立场。如果这种立场成立,那么即使没有人思考或发现数学对象或数学真理,它们仍然是真实存在的。

练习

在原句中,The independent reality of math 表示什么?

  1. 无论人类是否思考数学,数学都可能存在。
  2. 数学能帮助人们独立做决定。
  3. 只有人们把数学写下来时,数学才是真实的。
查看答案

无论人类是否思考数学,数学都可能存在。

The Pythagoreans of 5th century Greece 文化背景

0:46

公元前5世纪希腊的毕达哥拉斯学派

文化背景

The Pythagoreans of 5th century Greece:公元前5世纪希腊的毕达哥拉斯学派

短语 The Pythagoreans 指与毕达哥拉斯有关的一群古希腊思想家或一个思想学派,并不是只指毕达哥拉斯本人。在这里,5th century Greece 指公元前5世纪的希腊。 理解后文只需知道,这个群体赋予数字哲学和宗教意义。他们把数看作理解宇宙秩序的一项基本原则,而不只是计算工具。

练习

在这里,The Pythagoreans 指谁?

  1. 与毕达哥拉斯有关的一群古希腊思想家
  2. 所有使用勾股定理的人
  3. 一位名叫毕达哥拉斯的现代数学家
查看答案

与毕达哥拉斯有关的一群古希腊思想家

believed numbers were both living entities and universal principles. 語法

0:48

认为数字既是活生生的实体,也是普遍法则。

語法

both living entities and universal principles:both ... and ... 并列结构

both ... and ... 连接两个平行的描述,表示二者对同一对象都成立。这里 living entities 和 universal principles 都描述 numbers,所以不能漏掉任何一项。 常见结构是 both + A + and + B。A 和 B 要保持语法形式平行;这里两者都是放在 were 后面的复数名词短语。

练习

用 both ... and ... 完成句子:The new backpack is ____ lightweight ____ durable.

查看答案

both · and

They called the number one the monad, 文化背景

0:53

他们把数字“一”称为单子(monad),

文化背景

the monad:数字一的哲学名称

在这个古希腊哲学语境中,the monad 是数字 one 的特殊名称,表示统一体和一种起源性原则。它不只是数字 1 的日常叫法。 有了这层背景,就能理解为什么相关论述会把 one 看作其他数字和事物的源头。这里的 monad 是形而上学概念,不是这个词在计算机领域中的含义。

练习

在这句话中,the monad 指什么?

  1. 任何数字的日常同义词
  2. 被视为统一与起源原则的数字一
  3. 此处讨论的一种现代编程概念
查看答案

被视为统一与起源原则的数字一

the generator of all other numbers and source of all creation. 習語

0:55

认为它是所有其他数字的生成者,也是万物创造的源泉。

習語

the generator ... and source ...:表示起源的隐喻

在这句话中,the generator of all other numbers 意为“产生其他所有数字的源头”。这里的 generator 指起源或产生力量,不是发电的机器。 the generator of ... 和 source of ... 这两个并列短语把 monad,也就是“一”,描述成数字和万物创造的共同源头。这是一种哲学隐喻,赋予抽象数字一种创造性的、近乎神圣的角色,并不是对物理过程的字面陈述。

练习

这句话中的 generator 是什么意思?

  1. 一台提供电力的机器。
  2. 其他数字背后的起源或生成力量。
  3. 一个负责记录数字的人。
查看答案

其他数字背后的起源或生成力量。

Numbers were active agents in nature. 用詞

0:59

数字是自然界中活跃的力量。

用詞

active agents in nature:自然界中主动发挥作用的力量

active agent 指帮助引起变化的人、事物或力量。这里的 agents 不是代理人、中介或特工。 把数字称为 active agents in nature,表示在这种观念中,数字被认为会塑造自然的运行方式,而不只是给自然现象贴标签或进行描述。Active 强调的是与被动角色相对的主动作用。

练习

这句话对数字作出了什么描述?

  1. 数字是受雇为自然工作的人。
  2. 数字只是对自然毫无影响的标签。
  3. 数字被视为主动塑造自然的力量。
查看答案

数字被视为主动塑造自然的力量。

Plato argued mathematical concepts were concrete and as real as the universe itself, 語法

1:02

柏拉图认为,数学概念是具体的,和宇宙本身一样真实,

regardless of our knowledge of them. 短語搭配

1:07

无论我们是否认识它们。

語法

as real as the universe itself:同等程度比较

as + 形容词 + as 结构表示两者在某种性质上程度相同。这里 as real as the universe itself 表示,数学概念被认为和宇宙一样真实。 比较的只是“真实程度”,不是大小或外观。itself 强调比较对象就是“宇宙本身”。

练习

用 reliable 完成同等程度比较:This method is ____ the older one.

查看答案

as reliable as

短語搭配

regardless of our knowledge of them:不影响结果的条件

在本句中,regardless of our knowledge of them 表示柏拉图的主张不会因人们知道多少而改变。them 指 mathematical concepts。 regardless of 引出一个不影响主要结果或主张的因素。它表示无论该因素处于哪种情况,陈述仍然成立。

练习

用 regardless of 完成句子:The game will continue ____ the weather.

查看答案

regardless of

Euclid, the father of geometry, 習語

1:10

几何学之父欧几里得

習語

the father of geometry:表示奠基人物的称号

the father of geometry 是给欧几里得的隐喻性称号,意思是人们把他视为几何学的重要奠基人物,而不是说他是生物学意义上的父亲。 the father of + 领域、发明或思想 这一可套用结构,用来描述一位被广泛认为开创或塑造了该事物的男性。这里,这个放在两个逗号之间的短语补充说明 Euclid 的身份。

练习

本句中的 the father of geometry 是什么意思?

  1. 欧几里得是一个名叫 Geometry 的人的亲生父亲。
  2. 欧几里得被视为几何学的奠基人物。
  3. 欧几里得只教自己的孩子几何学。
查看答案

欧几里得被视为几何学的奠基人物。

believed nature itself was the physical manifestation of mathematical laws. 用詞

1:12

认为自然界本身就是数学定律的物理体现。

用詞

the physical manifestation of mathematical laws:抽象法则在现实中的可观察体现

the physical manifestation of mathematical laws 指抽象的数学法则在物质世界中呈现出的具体、可观察形式。这句话把自然本身看作这种形式。 这里的 manifestation 指某物以可见或其他可观察的方式呈现。可套用结构 a physical manifestation of + 抽象概念,把一种思想、状态或力量与身体、物体或事件中可观察到的证据联系起来。

练习

画线短语说明了自然的什么特点?

  1. 自然让抽象的数学法则在物质世界中变得可观察。
  2. 自然是一份列出数学法则的书面文件。
  3. 数学法则只能存在于纸质教科书中。
查看答案

自然让抽象的数学法则在物质世界中变得可观察。

Others argue that while numbers may or may not exist physically, 語法

1:17

其他人则认为,虽然数字在物理上可能存在,也可能不存在,

mathematical statements definitely don't.

1:21

但数学命题绝对是不存在的。

語法

while ... may or may not ..., ... definitely don't:先承认不确定性,再强调结论

这里的 while 引出让步和对比,并不表示两件事同时发生。while 从句用 may or may not 保留一种不确定的可能,主句再用 definitely 给出更确定的结论。 在 definitely don't 中,don't 代替前面已经出现的动词短语 exist physically。完整意思是 mathematical statements definitely don't exist physically。这个结构可以先承认不确定性,再强调自己真正的结论。

练习

例句中的 while ... definitely don't 是怎样组织信息的?

  1. 先保留第一种可能的不确定性,再给出一个确定的对比结论。
  2. 表示两个观点同样不确定。
  3. 表示两个物理事件发生在同一时段。
查看答案

先保留第一种可能的不确定性,再给出一个确定的对比结论。

Their truth values are based on rules that humans created. 用詞

1:24

它们的真值基于人类创造的规则。

用詞

truth values:陈述的逻辑真值

truth values 是 truth value 的复数形式,是逻辑和数学术语,表示陈述可以取得的逻辑状态,例如真或假。这里的 Their 指数学陈述。 在这个复合术语中,values 指形式系统中可以赋予陈述的状态,而不是价格、道德观念或真理有多大价值。

练习

在逻辑学中,一个陈述的 truth values 指什么?

  1. 人们认为诚实具有多大的道德重要性。
  2. 逻辑系统赋予陈述的状态,例如真或假。
  3. 数学规则被标出的价格。
查看答案

逻辑系统赋予陈述的状态,例如真或假。

Mathematics is thus an invented logic exercise

1:29

因此,数学是一种被发明的逻辑练习,

with no existence outside mankind's conscious thought, 短語搭配

1:32

存在于人类有意识的思考之外便毫无意义,

短語搭配

with no existence outside mankind's conscious thought:对存在范围的抽象限制

这个 with 短语简洁地补充说明数学的性质:按照这里的观点,数学在人类有意识的思维之外并不独立存在。从语法上说,with 引出名词短语 no existence outside ...,用来描述前面的名词短语 an invented logic exercise。 outside 在这里表示抽象界限,而不是物理位置。no existence outside X 表示某物只能存在于 X 之中,或必须依赖 X 才能存在。

练习

在这个句子中,高亮短语对数学作出了什么说明?

  1. 它只存在于人类有意识的思维之中。
  2. 它作为物理实体存在于人类思维之外。
  3. 它会阻止人们进行有意识的思考。
查看答案

它只存在于人类有意识的思维之中。

a language of abstract relationships 習語

1:36

它是一种抽象关系的语言,

習語

a language of abstract relationships:把数学比作一种语言

这个短语用隐喻来描述数学:数学被称为一种“语言”,因为符号和规则能够表达抽象关系,包括数量、形状、模式和逻辑关系。 这里的 language 不是英语或中文这样的自然语言。这个隐喻强调数学是一套用来表示和处理各种关系的系统。

练习

这里的 a language of abstract relationships 是什么意思?

  1. 一种把每个数字翻译成英文单词的方法
  2. 一套用来表达抽象关系的符号和规则系统
  3. 每位数学家在家中学会的一种口语
查看答案

一套用来表达抽象关系的符号和规则系统

based on patterns discerned by brains

1:38

建立在大脑识别出的模式之上,

built to use those patterns to invent useful

1:41

大脑的构造使得它利用这些模式,

but artificial order from chaos. 習語

1:43

从混乱中发明出有用却又人为的秩序。

習語

artificial order from chaos:从无序中构建人为秩序

order from chaos 是一个抽象比喻,表示把无组织或难以理解的事物整理成清晰结构。这里的 chaos 指一种无序状态,并非某一次具体的混乱事件。 artificial 修饰 order,说明这种有用的秩序是人脑构建出来的,而不是自然界已经现成存在、只等着被发现的结构。

练习

用本课中表示“从无序中构建出的有用人为结构”的准确表达补全句子:The classification system creates ____.

查看答案

artificial order from chaos

One proponent of this sort of idea was Leopold Kronecker, 表達脈絡

1:46

这种观点的一位支持者是利奥波德·克罗内克,

表達脈絡

One proponent of this sort of idea:把观点连接到一位支持者

One proponent of this sort of idea was ... 把前面讨论的观点连接到支持该观点的人。this sort of idea 回指刚刚谈到的那类观点,was 后面的人名则提供一个具体例子。 One 表示此人只是可能存在的多位支持者之一。proponent 指支持或倡导某个立场的人;这个词本身并不表示此人发明了整套观点。

练习

高亮短语在论述中起什么作用?

  1. 它表示这个人反对前面的观点。
  2. 它引出支持前面所述那类观点的一位人物。
  3. 它声称这个人独自创立了整个观点。
查看答案

它引出支持前面所述那类观点的一位人物。

a professor of mathematics in 19th century Germany.

1:50

19世纪德国的一位数学教授。

His belief is summed up in his famous statement, 短語動詞

1:53

他的名言概括了他的信念:

短語動詞

summed up:简洁地表达信念

这里的 sum up 表示简洁地表达主要意思。被动形式 is summed up 让 his belief 成为被概括的内容。 结构 A is summed up in B 表示“B 简明地概括了 A”。本句中,后面的名言用简洁的形式表达了这个人的信念。

练习

哪句话中的 summed up 表示“得到简洁表达”?

  1. The cashier added up the prices before closing.
  2. Her main idea is summed up in one sentence.
  3. His explanation does not add up.
查看答案

Her main idea is summed up in one sentence.

"God created the natural numbers,

1:56

“上帝创造了自然数,

all else is the work of man." 用詞

1:58

其余的一切都是人的杰作。”

用詞

all else is the work of man:其余一切都是人类的创造物

all else 中的 else 表示“刚才提到的事物之外”,所以 all else 是“其余一切”。这里指自然数以外的所有数学内容。 the work of man 表示人类创造或发展出来的东西。这段引语形成对比:自然数被说成由上帝创造,而数学的其余部分被说成人类的构造。man 泛指全人类,不是某一名男性。

练习

在这段引语中,all else is the work of man 是什么意思?

  1. 自然数是由某一名男性发明的。
  2. 只有男性才可以研究数学的其余部分。
  3. 自然数以外的所有数学内容都被说成人类的创造物。
查看答案

自然数以外的所有数学内容都被说成人类的创造物。

During mathematician David Hilbert's lifetime,

2:00

在数学家大卫·希尔伯特的一生中,

there was a push to establish mathematics as a logical construct. 短語搭配

2:03

曾有一种运动试图将数学建立为一种逻辑构造。

短語搭配

a push to establish:为实现目标而进行的协调推动

在这句话中,a push to establish 表示一股积极的努力或潮流,目标是把数学视为一种逻辑构造。这里的 push 是比喻用法,不是身体上的“推”。 a push to + 动词原形 表示人们、机构或更广泛的运动正在努力实现某个目标。与较为中性的 effort 相比,a push 往往暗示协调行动或不断增强的势头。

练习

哪句话正确使用了表示“为实现目标而进行有组织推动”的结构?

  1. The school launched a push to reducing food waste.
  2. The school launched a push for reduce food waste.
  3. The school launched a push to reduce food waste.
查看答案

The school launched a push to reduce food waste.

Hilbert attempted to axiomatize all of mathematics 用詞

2:07

希尔伯特试图将所有的数学公理化,

as Euclid had done with geometry. 語法

2:10

就像欧几里得对几何学所做的那样。

用詞

to axiomatize all of mathematics:从公理出发建立整个数学体系

to axiomatize all of mathematics 表示把整个领域组织成一个形式系统:从明确写出的公理出发,再用逻辑规则推导更多结果。它不是简单地总结或罗列数学知识。 不定式 to axiomatize 补足 attempted,说明希尔伯特打算做的事。与欧几里得的比较指出了参照模式:把几何学的公理化做法推广到整个数学。

练习

to axiomatize a field 是什么意思?

  1. 把它建立成以明确公理和逻辑推导为基础的系统。
  2. 通过计算解决该领域的每一个问题。
  3. 把它的所有结果缩写成一句话。
查看答案

把它建立成以明确公理和逻辑推导为基础的系统。

語法

as Euclid had done with geometry:与更早的先例作比较

as Euclid had done with geometry 把希尔伯特的计划与一个更早的范例相比较。这里的 as 表示“正如……那样”,不是“因为”。 had done 是过去完成时,因此欧几里得的工作被置于希尔伯特的尝试之前。done 代替前面已经提到的动作 axiomatize,with geometry 则说明该动作涉及的领域。as + 主语 + had done 这一结构把后来的行动与更早的先例联系起来。

练习

句中的 as Euclid had done with geometry 是什么意思?

  1. 它表示欧几里得的工作直接导致了希尔伯特的计划。
  2. 它表示两人同时研究几何学。
  3. 它把希尔伯特的计划与一个更早的相似范例作比较。
查看答案

它把希尔伯特的计划与一个更早的相似范例作比较。

He and others who attempted this

2:12

他以及其他尝试这样做的人

saw mathematics as a deeply philosophical game, 短語搭配

2:14

将数学视为一场极其深刻的哲学游戏,

短語搭配

saw mathematics as a deeply philosophical game:see A as B 结构

see A as B 表示“把 A 看作、理解为或归类为 B”。在 saw mathematics as a deeply philosophical game 中,saw 是 see 的过去式,表达的是一种判断,不是视觉上的看见。 这里的 game 是比喻用法。它把数学描述成一种按照规则运行、具有深刻哲学意义的活动,而不只是娱乐游戏。这个结构可以用来说明一个人的观点或理解事物的方式。

练习

在 see A as B 结构中填入缺少的单词:The coach sees every setback ____ a lesson.

查看答案

as

but a game nonetheless. 表達脈絡

2:17

但终究只是一场游戏。

表達脈絡

but a game nonetheless:让步后仍保留结论

nonetheless 表示“尽管如此”或“即便如此”。这里,but 把话锋从前面的描述转开,nonetheless 则确认核心判断——它是一种游戏——仍然成立。 这句话是依赖上文的省略式补充,在语境中相当于 but it was a game nonetheless。把 nonetheless 放在末尾,会让结论成为最后、最突出的信息。

练习

在句子“The road was icy, but open nonetheless,”中,nonetheless 表明了什么?

  1. 道路因为结冰而开放。
  2. 道路在开放前已经不再结冰。
  3. 道路结冰了,但尽管如此仍然开放。
查看答案

道路结冰了,但尽管如此仍然开放。

Henri Poincaré,

2:19

亨利·庞加莱,

one of the fathers of non-Euclidean geometry, 習語

2:20

非欧几何的创始人之一,

習語

one of the fathers of ...:多位奠基者中的一位

one of the fathers of X 是一种比喻,表示某人是帮助创立或塑造 X 的多位男性奠基者之一。fathers 指重要的奠基人物,不是亲属关系中的父亲。 这个结构是 one of + the + 复数名词 + of,因此 fathers 必须用复数。它不像 the father of X 那样具有排他性,因为它为其他重要贡献者留出了位置。在原句中,逗号之间的短语补充说明了亨利·庞加莱的背景身份。

练习

哪一句能正确表达“艾伦·图灵是计算机科学多位重要奠基者中的一位”?

  1. Alan Turing is often called the one fathers of computer science.
  2. Alan Turing is often called one of the father of computer science.
  3. Alan Turing is often called one of the fathers of computer science.
查看答案

Alan Turing is often called one of the fathers of computer science.

believed that the existence of non-Euclidean geometry,

2:23

认为非欧几何的存在,

dealing with the non-flat surfaces of hyperbolic and elliptical curvatures, 短語搭配

2:26

也就是处理双曲和椭圆曲率等非平坦表面的几何,

短語搭配

dealing with ...:名词后的补充说明

这里,dealing with ... 是放在 non-Euclidean geometry 后面的现在分词短语,用来补充说明这个领域研究什么:具有双曲曲率和椭圆曲率的非平坦表面。在这种用法中,deal with 表示“涉及”或“研究”,不是“处理问题”或“进行交易”。 这个短语压缩了一个较长的关系从句,大致相当于 which deals with ...。它紧跟名词,并用逗号隔开,所以是在补充说明 non-Euclidean geometry,而不是补足 believed 的内容。

练习

用本课表示“涉及”的两个词的 -ing 短语完成句子:The guide, ____ local wildlife, is written for young readers.

查看答案

dealing with

proved that Euclidean geometry,

2:30

证明了欧几里得几何,

the long standing geometry of flat surfaces,

2:32

这种长期存在的平坦表面几何,

was not a universal truth, 語法

2:35

并不是一个普遍真理,

but rather one outcome of using one particular set of game rules.

2:37

而只是使用了一套特定游戏规则的结果。

語法

not a universal truth, but rather ...:用于纠正判断

not A, but rather B 这个结构会否定说法 A,再用更准确的说法 B 替代它。rather 加强了纠正语气:B 不是额外的例子,也不是第二个并列事实。 在本句中,“普遍真理”这一说法被否定,欧几里得几何被重新界定为使用某一套特定规则所产生的一种结果。one outcome 还暗示,不同规则可能产生其他几何体系。

练习

用本课包含 rather 的纠正结构填空:The bright mark is ____ a star, ____ a nearby planet.

查看答案

not · but rather

But in 1960,

2:42

但是在1960年,

Nobel physics laureate Eugene Wigner coined the phrase "the unreasonable effectiveness of mathematics," 講解

2:43

诺贝尔物理学奖得主尤金·维格纳创造了“数学无理的有效性”这个词组,

短語搭配

coined the phrase:创造一个新说法

在这句话中,coined the phrase 表示“创造或首次提出这个说法”。coined 是 coin 的过去式,引号里的文字就是维格纳被认为提出的那个说法。 “人 + coined the phrase + 具体说法”这一结构用来指出某个术语或说法的创造者。这里的 coin 是表示创造语言表达的动词,不是指铸造金属硬币。

练习

用表示“创造了一个新说法”的目标过去式表达完成句子:The coach ____ 'reset minute' for a short break after a mistake.

查看答案

coined the phrase

文化背景

the unreasonable effectiveness of mathematics:出乎意料的巨大成功

the unreasonable effectiveness of mathematics 是维格纳为一个谜题起的著名说法:抽象数学能够极其准确地描述现实物理世界,即使这些数学原本并不是为这个特定目的发展出来的。 在这个固定说法中,unreasonable 并不是指数学不合逻辑或行为“不讲理”。它表示数学的成功大得出乎意料,似乎很难得到充分解释。

练习

在 the unreasonable effectiveness of mathematics 这个说法中,unreasonable 主要表达什么?

  1. 数学不遵循逻辑,因此无法描述自然。
  2. 数学家研究物理时总会提出不公平的要求。
  3. 数学对自然的描述准确得令人惊讶,而这种成功很难解释。
查看答案

数学对自然的描述准确得令人惊讶,而这种成功很难解释。

pushing strongly for the idea 短語搭配

2:50

极力主张这样的观点:

that mathematics is real and discovered by people.

2:51

数学是真实的,并且是由人类发现的。

短語搭配

pushing strongly for the idea:积极倡导某一观点

在这句话中,pushing strongly for the idea 表示积极为这一观点辩护,并努力让他人接受它。这里的 push 不是身体上的“推”;push for 表示倡导某事,或积极争取他人支持某事。 结构是 push for + 名词或名词短语。这里 the idea that mathematics is real and discovered by people 指明正在被倡导的立场,strongly 则加强了力度。

练习

请用 push for 的 -ing 形式完成句子:Parents are ____ safer streets near the school.

查看答案

pushing for

Wigner pointed out that many purely mathematical theories developed in a vacuum, 習語

2:55

维格纳指出,许多纯粹的数学理论在真空中发展,

習語

developed in a vacuum:脱离外部背景而发展

developed in a vacuum 在这里是比喻用法,表示这些理论的发展与实际应用、外部需求,或后来要解释的物理问题的影响相隔离。 更一般地说,in a vacuum 用来描述与相关周围条件几乎没有联系的思考、决策或工作。只有上下文确实在谈物理环境时,它才表示字面上的无空气空间。

练习

请用本讲解中的习语完成句子:A school policy cannot be designed ____; local needs matter.

查看答案

in a vacuum

often with no view towards describing any physical phenomena, 短語搭配

2:59

通常并没有为了描述任何物理现象的目的,

短語搭配

with no view towards describing:并非以描述为目标

with no view towards describing 表示“并非旨在或打算描述”。这里的 view 指目的或意图,不是视力,也不是观看的方向。towards 后接 -ing 形式 describing。 在本句中,这个短语说明,这些数学思想形成时,描述现实中的物理现象往往并不是其目标。这个结构可以较正式地否定某个行动背后的目的。

练习

请使用本课的正式结构完成句子:He wrote the manuscript ____ it.

查看答案

with no view towards publishing

have proven decades or even centuries later 表達脈絡

3:03

却在几十年甚至几个世纪后被证明,

to be the framework necessary 用詞

3:06

是解释宇宙一直以来如何运作

to explain how the universe has been working all along. 語法

3:07

所必需的框架。

表達脈絡

decades or even centuries later:表现延迟显现的结果

decades or even centuries later 表明这些理论是在什么时候被证明为必要的解释框架。later 修饰 have proven,也就是“后来被证明”的时间,而不是这些理论最初形成的时间。 这个短语把时间跨度从几十年推进到更出人意料的几个世纪。它把论述组织成一种延迟显现的结果:抽象思想先出现,其解释宇宙的价值到很久以后才变得清楚。

练习

decades or even centuries later 在句中建立了怎样的时间关系?

  1. 理论先出现,其解释价值在很久以后才显现。
  2. 这些理论是在其物理应用已经为人所知之后才创建的。
  3. 这些理论消失了几个世纪,后来又被重新写出。
查看答案

理论先出现,其解释价值在很久以后才显现。

用詞

to be the framework necessary:成为解释所需的抽象框架

这里的 framework 不是实体框架,而是一套有组织的概念和关系;它让某种解释成为可能。 在 the framework necessary to explain ... 中,necessary 放在 framework 后面修饰它,相当于“the framework that is necessary to explain ...”。整个短语把前面提到的数学理论说成解释宇宙所需的概念结构。

练习

哪个句子中的 framework 表示“有组织的概念结构”?

  1. The builders lifted the steel framework into place.
  2. The picture fell out of its wooden frame.
  3. The researchers use a framework to interpret the results.
查看答案

The researchers use a framework to interpret the results.

語法

has been working all along:从过去一直持续到现在

has been working 是现在完成进行时,结构为 has been + 动词-ing。它表示一个过程从过去开始,并一直持续到现在。这里的 working 表示“运行、运作”,不是“有一份工作”。 all along 表示“从一开始直到现在”。它强调宇宙在人们找到解释之前就已经一直以这种方式运行,并常带有真相后来才被认识到的意味。

练习

用 work 的现在完成进行时完成句子:The backup system ____ smoothly all along.

查看答案

has been working

For instance,

3:11

例如,

the number theory of British mathematician Gottfried Hardy,

3:12

英国数学家戈弗雷·哈代的数论,

who had boasted that none of his work would ever be found useful 語法

3:15

他曾吹嘘自己的工作永远不会

in describing any phenomena in the real world,

3:19

在描述现实世界中的任何现象时发挥用处,

語法

would ever be found useful:过去视角中的将来被动

would be found useful 是过去视角中的将来被动。说话人站在他当时作出断言的时间点,谈论人们以后会不会发现他的研究有用。完整意思改成主动表达就是 no one would ever find any of his work useful。 none 已经使从句带有否定意义,ever 在这里表示“在任何时候”。因此,none of his work would ever be found useful 让断言显得非常绝对:他的任何研究成果在未来任何时候都不会被认为有用。

练习

哪项最准确地解释了句中的 would ever be found useful?

  1. 他当时在询问自己的研究是否有用。
  2. 他说自己的研究已经被成功应用。
  3. 他声称,以后没有人会发现他的研究具有任何实际价值。
查看答案

他声称,以后没有人会发现他的研究具有任何实际价值。

helped establish cryptography. 短語搭配

3:21

却帮助建立了密码学。

短語搭配

helped establish cryptography:帮助一个领域逐步形成

helped establish 表示帮助某事物形成并打下稳固基础。establish 可用于领域、体系、方法或原则,表示它逐步形成、得到认可并稳固发展;它不只表示创办机构。 help 后可以直接接不带 to 的动词原形,所以可以说 helped establish。helped to establish 也合乎语法。这个短语把相关工作说成密码学发展中的一项贡献,而不是把整个领域都归为它单独创造。

练习

用目标表达 helped establish 中的动词补全句子:Her research helped ____ a new field of medicine.

查看答案

establish

Another piece of his purely theoretical work

3:24

他的另一项纯理论工作

became known as the Hardy-Weinberg law in genetics 短語搭配

3:26

成了遗传学中著名的哈代-温伯格定律,

短語搭配

became known as the ...:后来有了这个名称

在本句中,became known as the Hardy-Weinberg law 表示人们后来用“哈代—温伯格定律”来称呼这项理论工作。became 强调名称随时间发生变化:它不一定从一开始就叫这个名字。 使用 become known as + 名称、称号或身份。这里 as 引出名称,the 属于后面的名称短语;known 不是“与某人相识”的意思。

练习

选择能正确引出这个装置后来获得的名称的短语:The device later ___ the safety bicycle.

  1. became familiar with
  2. became known as
  3. became known for
查看答案

became known as

and won a Nobel Prize.

3:29

并获得了一项诺贝尔奖。

And Fibonacci stumbled upon his famous sequence 短語動詞

3:31

还有斐波那契偶然发现了他的著名数列,

短語動詞

Fibonacci stumbled upon ...:偶然发现某物

Fibonacci stumbled upon his famous sequence 表示斐波那契偶然发现了这个著名数列,而不是通过有计划的搜寻找到它。stumble upon 是短语动词,可表示意外发现某个想法、事实、地点或物品。 这里 stumbled 是过去式。它不是说斐波那契真的绊了一跤;upon 属于完整表达 stumble upon。

练习

哪句话中的 stumble upon 表示“偶然发现”?

  1. Maya searched every shelf until she found a specific box.
  2. Maya stumbled over a box and fell in the doorway.
  3. Maya stumbled upon a box of old postcards while cleaning the closet.
查看答案

Maya stumbled upon a box of old postcards while cleaning the closet.

while looking at the growth of an idealized rabbit population. 語法

3:34

当时他正在观察一个理想化兔子种群的增长。

語法

while looking at ...:用同时发生的动作交代背景

while looking at ... 为主句事件提供时间背景:斐波那契是在研究兔群增长的过程中发现这个数列的。这里的 while 表示“在……期间”,不是“尽管”或表示对比的“而”。 这个结构是 while + -ing 形式,相当于简化后的 while + 主语 + be + -ing。省略的主语要从主句中理解,因此当主句主语也是 Fibonacci 时,while Fibonacci was looking at ... 可以简化为 while looking at ...。

练习

哪句话正确使用 while + -ing 来交代同时发生的背景动作?

  1. While checking the map, the battery in Lena's phone died.
  2. While checking the map, Lena found a shorter route.
  3. While Lena checking the map, she found a shorter route.
查看答案

While checking the map, Lena found a shorter route.

Mankind later found the sequence everywhere in nature,

3:38

人类后来在自然界中随处可见这个数列,

from sunflower seeds and flower petal arrangements 表達脈絡

3:41

从向日葵的种子和花瓣的排列,

to the structure of a pineapple,

3:44

到菠萝的结构,

even the branching of bronchi in the lungs.

3:45

甚至肺部支气管的分支。

表達脈絡

from ... to ..., even ...:扩大例证范围并强调意外的一项

from ... to ... 这个框架把多个例子组织成一个宽广的范围。这里依次列出熟悉的自然形态——葵花籽、花瓣排列和菠萝结构——来支持这个数列广泛存在于自然界的说法。 even 接着把肺部支气管的分支作为一个更出人意料的最后例子加入进来。它让这一项获得额外强调,使整个列举不仅扩大范围,还提升了惊讶程度。

练习

在这个句子中,from ... to ..., even ... 这个结构起什么作用?

  1. 它展示很广的范围,并特别强调最后一个更出人意料的例子。
  2. 它纠正前面的例子,并用最后一个例子取代它们。
  3. 它给予所有例子完全相同的强调。
查看答案

它展示很广的范围,并特别强调最后一个更出人意料的例子。

Or there's the non-Euclidean work of Bernhard Riemann in the 1850s,

3:48

或者,还有波恩哈德·黎曼在19世纪50年代的非欧几何工作,

which Einstein used in the model for general relativity 語法

3:52

一个世纪后,

a century later.

3:55

爱因斯坦将其用在了广义相对论的模型中。

語法

which Einstein used ...:添加非限制性定语从句

which Einstein used in the model for general relativity 是非限制性定语从句。which 回指 the non-Euclidean work of Bernhard Riemann,并在从句中作 used 的宾语:爱因斯坦使用的是这项研究。 逗号把从句与主干隔开,表示它是在已经明确的研究后补充一个后来产生的结果。它不是新的主句,也不是用来限定“哪一项研究”。读长句时,先抓住主干 Or there's ... work,再把 which 从句接成补充信息。

练习

哪句话使用非限制性 which 从句,为已经明确的一项发明补充它后来产生的结果?

  1. The solar cooker, which the team later used in the desert, won an award.
  2. The solar cooker that worked best won an award.
  3. The team later used the solar cooker in the desert, and it won an award.
查看答案

The solar cooker, which the team later used in the desert, won an award.

Here's an even bigger jump. 表達脈絡

3:57

这里还有一个更大的跨越。

表達脈絡

Here's an even bigger jump:提示更强的转场

Here's ... 把听众的注意力引向下一个例子。这里的 jump 是比喻,表示话题、时间、规模或概念距离发生很大的变化,不是实际的跳跃。 even bigger 把接下来的转变与前面的转变作比较,让听众预期后面的内容会更加显著或出人意料。这句话通过标明论述强度的提升来组织信息。

练习

一位演讲者说:"The first two examples connect ideas from nearby fields. Here's an even bigger jump." 听众接下来应该期待什么?

  1. 一个概念跨度更大、更令人意外的例子。
  2. 要求听众真的跳一下。
  3. 指出前面的例子都是错误的更正。
查看答案

一个概念跨度更大、更令人意外的例子。

Mathematical knot theory,

3:58

数学纽结理论,

first developed around 1771 語法

4:00

最初在大约1771年发展起来,

to describe the geometry of position,

4:02

用于描述位置几何,

語法

first developed ... to describe:压缩说明时间和目的

first developed around 1771 是修饰 Mathematical knot theory 的过去分词短语,带有被动含义。它可以展开为 which was first developed around 1771:是人们发展了这套理论,而不是理论自己发展。 to describe the geometry of position 说明最初的目的。这个压缩结构“名词, first developed + 时间 + to + 动词”让历史或技术写作不用另起一句,就能补充某物何时被创造以及为何被创造。

练习

哪句话正确使用过去分词短语补充了时间和最初目的?

  1. The device, first developed in 2010 to detect smoke, is now used in many homes.
  2. The device, first developed in 2010 for detect smoke, is now used in many homes.
  3. The device, first developing in 2010 to detect smoke, is now used in many homes.
查看答案

The device, first developed in 2010 to detect smoke, is now used in many homes.

was used in the late 20th century 語法

4:04

却在20世纪末被用来

to explain how DNA unravels itself

4:07

解释DNA在复制过程中

during the replication process.

4:10

是如何自我解开的。

語法

was used ... to explain how:连接理论及其解释用途

Was used in the late 20th century 是被动结构:没有明说的使用者在当时应用了数学纽结理论。理论是动作的承受者,所以关键形式是 was used,而不是 used itself。 To explain 说明这种应用的目的,how DNA unravels itself 则是要解释的具体内容。这里 unravels itself 指DNA相互缠绕的结构在复制过程中解开,不是指DNA“解开谜题”。

练习

哪句话自然地把模型表达为用于解释某个过程的工具?

  1. The model used itself to explain how the disease spreads.
  2. The model was use to explain how the disease spreads.
  3. The model was used to explain how the disease spreads.
查看答案

The model was used to explain how the disease spreads.

It may even provide key explanations for string theory. 短語搭配

4:12

它甚至可能为弦理论提供关键解释。

短語搭配

may even provide...:谨慎提出超出预期的可能性

这里的 it 指数学纽结理论。may 表示可能性,不是许可:纽结理论有可能提供这些解释,但这一说法并不确定。 even 把这种可能结果标为更进一步或更令人意外的一步。may even + 动词原形这一结构能突出某种可能性的重要性,同时不把它说成既定事实。provide explanations for 表示“提供有助于解释某事的信息”。

练习

哪句话既保留了说法的不确定性,又把结果表达为更进一步或更令人意外的可能性?

  1. The new study may even provide an explanation for the pattern.
  2. The new study definitely provides an explanation for the pattern.
  3. The new study may provide an explanation for the pattern.
查看答案

The new study may even provide an explanation for the pattern.

Some of the most influential mathematicians and scientists of all of human history 語法

4:16

人类历史上一些最具影响力的数学家和科学家

have chimed in on the issue as well, 短語動詞

4:20

也纷纷在这个问题上发表意见,

短語動詞

have chimed in on the issue:加入讨论并发表意见

在这句话中,have chimed in on the issue 表示“加入已经在进行的相关讨论并发表意见”。这里的 chime in 是短语动词,不是指钟声;on 引出讨论的话题。 现在完成时 have chimed in 把之前的发言与当前讨论联系起来。可迁移的结构是 someone chimes in on a topic。

练习

用 chime in on 的过去分词形式补全句子:Several teachers have ____ the new homework policy.

查看答案

chimed in on

often in surprising ways.

4:22

而且经常以令人惊讶的方式。

語法

Some of the most influential...:从顶尖群体中选出部分成员

Some of the most influential mathematicians and scientists 表示在影响力居于顶尖的一群人中选出一部分。some of 只选择这个群体中的部分成员,并不暗示这些人的影响力很小。 the most influential 修饰复数名词 mathematicians 和 scientists,而 of all of human history 设定了比较范围。整个名词短语是 have chimed in 的主语。

练习

哪个短语表示“被认为最具影响力的群体中的一部分成员”?

  1. some of the most influential scientists
  2. all of the most influential scientists
  3. some influential scientists
查看答案

some of the most influential scientists

So,

4:24

那么,

is mathematics an invention or a discovery? 表達脈絡

4:24

数学到底是一项发明,还是一种发现?

Artificial construct or universal truth?

4:27

是人为构造,还是普遍真理?

Human product or natural,

4:29

是人类的产物,还是自然的、

possibly divine,

4:31

甚至是神圣的

creation?

4:32

创造?

表達脈絡

is mathematics an invention or a discovery? ...:平行二选一问句

这三个二选一问题并没有引出三个独立话题,而是用不同说法重述同一个核心对立:数学是人类创造的,还是独立存在并由人类发现的? 只有第一句是完整问句。“Artificial construct or universal truth?”和“Human product or natural, possibly divine, creation?”省略了“Is mathematics ...?”,只保留平行的名词短语。这种省略加快了节奏、突出了对立,并让演讲回到中心问题。

练习

这三个问题在信息组织上的主要作用是什么?

  1. 它们通过三组平行对立重述同一个核心争论。
  2. 它们给出了关于数学的三个独立答案。
  3. 它们从数学转向三个互不相关的话题。
查看答案

它们通过三组平行对立重述同一个核心争论。

These questions are so deep, 語法

4:33

这些问题是如此深奥,

the debate often becomes spiritual in nature.

4:35

以至于这场辩论在本质上往往带有了精神色彩。

語法

so deep ... the debate becomes spiritual in nature:程度引出结果

so + 形容词 + (that) + 结果表示程度很高,并引出由此产生的结果。本句中,so deep 表示“如此深奥”,the debate often becomes spiritual in nature 是结果。口语中 that 可以不说;整体可理解为 so deep that the debate...。 在 spiritual in nature 中,in nature 表示“性质上”或“本质上”。这里说的是争论带上了精神或宗教层面的意味,不是说争论发生在户外或自然界中。

练习

用缺少的两个词完成结果结构:The music was ____ loud ____ we couldn't hear the announcement.

查看答案

so · that

The answer might depend on the specific concept being looked at, 短語搭配

4:38

答案可能取决于你所关注的具体概念,

短語搭配

might depend on ... being looked at:谨慎提出条件并使用被动修饰

might depend on 表示一种谨慎、有条件的结论:答案不一定在所有情况下都相同。might 表示可能性,depend on 则引出能够改变答案的决定因素。 being looked at 是放在 the specific concept 后面的被动 -ing 短语。它是 that is being looked at 的简化形式,因此这个概念是被考察的对象。这里的 look at 表示“考虑、考察或讨论”,不只是把目光转向某物。

练习

哪句话最准确地保留了 might depend on ... being looked at 的含义?

  1. The answer is certain no matter which concept is discussed.
  2. It may vary according to which specific concept is being considered.
  3. The specific concept may decide to look at the answer.
查看答案

It may vary according to which specific concept is being considered.

but it can all feel like a distorted Zen koan. 文化背景

4:41

但它整体感觉就像一个荒诞的禅宗公案。

文化背景

感觉像一则变了形的禅宗公案

禅宗公案是禅修传统中用来推动人超越惯常逻辑思路的问题、对话或故事。它不只是一个藏着唯一答案的谜语。 这里,feel like 表示“给人……的感觉”,distorted 则说明这只是一个经过改动、略带戏仿意味的版本,并非真正的传统公案。这个比喻让这场数学争论显得充满悖论、令人困惑,而且很难用通常的推理得到定论。

练习

这句话用“a distorted Zen koan”作比喻,主要想表达什么?

  1. 这场争论是一篇传统禅宗文本,藏着一个正确的数字答案。
  2. 这场争论之所以难懂,只是因为其中的数字数据抄错了。
  3. 这场争论像悖论一样,难以用通常的逻辑得到定论。
查看答案

这场争论像悖论一样,难以用通常的逻辑得到定论。

If there's a number of trees in a forest, 習語

4:45

如果森林里有一定数量的树木,

but no one's there to count them,

4:47

但没有人在那里数它们,

does that number exist?

4:49

那个数字存在吗?

習語

如果森林里有一定数量的树……这个数量存在吗?

这句话幽默地改写了一个著名的哲学问题:“如果一棵树在森林里倒下,而没有人在那里听,它会发出声音吗?”原问题考察的是:当没有观察者体验某种现象时,我们该如何理解它。 这里把“声音”换成了“树的数量”。真正的问题不是怎样清点森林里的树,而是数学上的数量是否在任何人计数之前就客观存在,还是数字依赖于人类观察者。这个典故把抽象争论变成了一个带有笑点的思想实验。

练习

这个改写后的森林问题真正探讨的是什么?

  1. 它在问数学上的数量是否独立于观察或计数它们的人而存在。
  2. 它在问数完森林里的每一棵树需要多少人。
  3. 它声称只要没有人计数,树就会消失。
查看答案

它在问数学上的数量是否独立于观察或计数它们的人而存在。