Is math discovered or invented? - Jeff Dekofsky

發現了數學還是發明了數學?- Jeff Dekofsky

3,166,355 views

2014-10-27 ・ TED-Ed


New videos

Is math discovered or invented? - Jeff Dekofsky

發現了數學還是發明了數學?- Jeff Dekofsky

3,166,355 views ・ 2014-10-27

TED-Ed


請雙擊下方英文字幕播放視頻。

譯者: Qiwen Lu 審譯者: Yeh Andy
如果沒有人類,那麼數學還會存在嗎?
00:12
Would mathematics exist if people didn't?
0
12486
3244
自從遠古時代,人類就開始激烈的辯論
00:15
Since ancient times, mankind has hotly debated
1
15730
3327
00:19
whether mathematics was discovered or invented.
2
19057
3655
是我們發現了數學還是我們發明了數學。
00:22
Did we create mathematical concepts to help us understand the universe around us,
3
22712
4662
是我們創造了數學的概念 來幫助我們理解周圍的世界,
00:27
or is math the native language of the universe itself,
4
27374
4147
還是數學本來就是宇宙的一種語言,
00:31
existing whether we find its truths or not?
5
31521
3213
我們是否發現了它的真理?
00:34
Are numbers, polygons and equations truly real,
6
34734
3368
數字,形狀和等式真實存在,
00:38
or merely ethereal representations of some theoretical ideal?
7
38102
4574
還是它們僅僅是 理論上想法的縹緲的代表?
00:42
The independent reality of math has some ancient advocates.
8
42676
3559
‘數學獨立於現實’在古代有不少擁護者。
00:46
The Pythagoreans of 5th Century Greece believed numbers were both
9
46235
3561
5世紀希臘的畢達哥拉斯相信
00:49
living entities and universal principles.
10
49796
3465
數字既是存在的實體,也是宇宙的原理。
00:53
They called the number one, "the monad," the generator of all other numbers
11
53261
4307
他們把數字“一”叫做單個體。 它是其他所有數字的創造者,
00:57
and source of all creation.
12
57568
2261
也是所有創造的源泉。
00:59
Numbers were active agents in nature.
13
59829
2815
數字是自然界活躍的特工。
01:02
Plato argued mathematical concepts were concrete
14
62644
2855
比拉圖認為數學的概念應是具體的,
01:05
and as real as the universe itself, regardless of our knowledge of them.
15
65499
4945
就像宇宙本身那樣真實, 無論我們是否意識到。
01:10
Euclid, the father of geometry, believed nature itself
16
70444
3453
幾何之父-歐幾里得相信自然本身
01:13
was the physical manifestation of mathematical laws.
17
73897
3805
是數學定律的物理表現。
01:17
Others argue that while numbers may or may not exist physically,
18
77702
4224
其他人則認為不管數字是否存在實體,
01:21
mathematical statements definitely don't.
19
81926
3121
數學的命題完全不是真實存在的。
01:25
Their truth values are based on rules that humans created.
20
85047
4539
它們的真實價值急於人類所創立的原則。
01:29
Mathematics is thus an invented logic exercise,
21
89586
3027
因此數學是一種被發明的邏輯練習,
01:32
with no existence outside mankind's conscious thought,
22
92613
3743
在人類理性的想法之外並不存在,
01:36
a language of abstract relationships based on patterns discerned by brains,
23
96356
4641
它只是一種被大腦識別、 用特殊格式所書寫的抽象語言,
01:40
built to use those patterns to invent useful but artificial order from chaos.
24
100997
5697
用來避免發生混亂的。
01:46
One proponent of this sort of idea was Leopold Kronecker,
25
106694
3679
這種理論的支持者之一 是利奧波德·克羅內克,
01:50
a professor of mathematics in 19th century Germany.
26
110373
3624
他是十九世紀德國數學教授。
01:53
His belief is summed up in his famous statement:
27
113997
2454
他的信仰可以總結如下:
01:56
"God created the natural numbers, all else is the work of man."
28
116451
4509
“上帝創造了自然界的數字, 除此之外都是人類的工作。“
02:00
During mathematician David Hilbert's lifetime,
29
120960
2573
在數學家大衛·希爾伯特的一生中,
02:03
there was a push to establish mathematics as a logical construct.
30
123533
3598
他曾急著把數學作為邏輯來構建。
02:07
Hilbert attempted to axiomatize all of mathematics,
31
127131
3370
希爾伯特曾嘗試 把所有數學的概念都變成公理,
02:10
as Euclid had done with geometry.
32
130501
2468
就像歐幾里德在幾何上的成就一樣。
02:12
He and others who attempted this saw mathematics as a deeply philosophical game
33
132969
4556
他和其他嘗試這樣做的人 將數學視作一種深層次的哲學遊戲,
02:17
but a game nonetheless.
34
137525
2175
但仍然是一個遊戲。
02:19
Henri Poincaré, one of the father's of non-Euclidean geometry,
35
139700
3531
非歐幾里得幾何之父 亨利·龐加萊
02:23
believed that the existence of non-Euclidean geometry,
36
143231
3007
認為非歐幾里得幾何地存在
02:26
dealing with the non-flat surfaces of hyperbolic and elliptical curvatures,
37
146238
4297
處理非水平的雙曲線表面, 以及橢圓曲度,
02:30
proved that Euclidean geometry, the long standing geometry of flat surfaces,
38
150535
4466
證明歐幾里德幾何學,非水平表面的幾何學
02:35
was not a universal truth,
39
155001
2362
並不是一個普遍的事實,
02:37
but rather one outcome of using one particular set of game rules.
40
157363
4688
還不如用以一套特定遊戲規則所得出的結果。
02:42
But in 1960, Nobel Physics laureate Eugene Wigner
41
162051
3814
但在1960年,後來的諾貝爾物理獎 獲得者尤金·維格納
02:45
coined the phrase, "the unreasonable effectiveness of mathematics,"
42
165865
4308
套用了一句老話,“數學離譜得有效率,“
02:50
pushing strongly for the idea that mathematics is real
43
170173
3110
把“數學證實存在”的想法硬推出來,
02:53
and discovered by people.
44
173283
2199
並被人們所發現。
02:55
Wigner pointed out that many purely mathematical theories
45
175482
2906
維格納指出,許多僅僅是憑空想出的數學理論,
02:58
developed in a vacuum, often with no view towards describing any physical phenomena,
46
178388
4991
大多沒有任何觀點描述任何物理現象,
03:03
have proven decades or even centuries later,
47
183379
2494
並在幾十年,甚至幾世紀後被證明,
03:05
to be the framework necessary to explain
48
185873
2464
成為有必要解釋宇宙是如何
03:08
how the universe has been working all along.
49
188337
3103
獨立運作的結構。
03:11
For instance, the number theory of British mathematician Gottfried Hardy,
50
191440
4248
比如,英國數學家戈弗雷·哈代的數論。
03:15
who had boasted that none of his work would ever be found useful
51
195688
3689
戈弗雷自誇稱自己描述任何在真實世界的現象
03:19
in describing any phenomena in the real world,
52
199377
2541
都不會對建立
03:21
helped establish cryptography.
53
201918
2742
密碼學有幫助。
03:24
Another piece of his purely theoretical work
54
204660
2278
他的另一個理論性的成果,
03:26
became known as the Hardy-Weinberg law in genetics,
55
206938
3157
戈弗雷·哈代遺傳定律, 為大家所知,
03:30
and won a Nobel prize.
56
210095
1739
並獲得了諾貝爾獎。
03:31
And Fibonacci stumbled upon his famous sequence
57
211834
2592
斐波那契在看一組被理想化的兔子總數時,
03:34
while looking at the growth of an idealized rabbit population.
58
214426
3614
磕磕絆絆得出了他的著名的數列。
03:38
Mankind later found the sequence everywhere in nature,
59
218040
3508
人類後來發現那個數列砸大自然中到處都是,
03:41
from sunflower seeds and flower petal arrangements,
60
221548
2488
從向日葵的種子和花瓣排列規律,
03:44
to the structure of a pineapple,
61
224036
1821
到菠蘿的結構,
03:45
even the branching of bronchi in the lungs.
62
225857
2640
甚至是肺上的支氣管分支, 無處不在。
03:48
Or there's the non-Euclidean work of Bernhard Riemann in the 1850s,
63
228497
4207
還有十九世紀50年代的 波恩哈德·黎曼的非歐裡機得研究成果,
03:52
which Einstein used in the model for general relativity a century later.
64
232704
4587
愛因斯坦一世紀後才在研究遺傳關聯性的時候 才在模型中使用到它。
03:57
Here's an even bigger jump:
65
237291
1416
這兒甚至有一個更大的跳躍:
03:58
mathematical knot theory, first developed around 1771
66
238707
4226
紐結理論。 它在1771年左右形成,
04:02
to describe the geometry of position,
67
242933
2252
用來描述位置的幾何學,
04:05
was used in the late 20th century to explain how DNA unravels itself
68
245185
4848
在20世紀晚期被用來解釋 DNA在自我複製過程中
04:10
during the replication process.
69
250033
2179
是如何解開自己的。
04:12
It may even provide key explanations for string theory.
70
252212
3949
它甚至會為弦理論提供關鍵性的證明。
04:16
Some of the most influential mathematicians and scientists
71
256161
2630
人類歷史上 最有影響力的機位數學家和科學家
04:18
of all of human history have chimed in on the issue as well,
72
258791
3681
也已經就這個問題發表了自己的看法,
04:22
often in surprising ways.
73
262472
1621
而且經常還是以令人驚訝的方式。
04:24
So, is mathematics an invention or a discovery?
74
264093
2811
那麼,數學是一個發明還是一個發現呢?
04:26
Artificial construct or universal truth?
75
266904
2947
是人工構建物還是普遍的真理?
04:29
Human product or natural, possibly divine, creation?
76
269851
4166
是人類產物,還是自然 (或者是上帝)的創造物?
04:34
These questions are so deep the debate often becomes spiritual in nature.
77
274017
4441
這些問題十分深奧, 辯論常常會變成自然的靈歌。
04:38
The answer might depend on the specific concept being looked at,
78
278458
3092
答案也許隨著研究的特定概念的變化而變化,
04:41
but it can all feel like a distorted zen koan.
79
281550
3627
但它可以像是一個扭曲的禪宗公案。
04:45
If there's a number of trees in a forest, but no one's there to count them,
80
285177
3629
如果森林里有很多樹,但沒人去數,
04:48
does that number exist?
81
288806
1920
那麼數字到底存在嗎?
關於本網站

本網站將向您介紹對學習英語有用的 YouTube 視頻。 您將看到來自世界各地的一流教師教授的英語課程。 雙擊每個視頻頁面上顯示的英文字幕,從那裡播放視頻。 字幕與視頻播放同步滾動。 如果您有任何意見或要求,請使用此聯繫表與我們聯繫。

https://forms.gle/WvT1wiN1qDtmnspy7