EP 642020-01-071:02:45
從具體例子長出數學直覺
Grant Sanderson
Grant Sanderson 談數學是發現還是發明、無限為什麼不必嚇人，以及他怎麼做影片、建議別人怎麼學數學。
Grant Sanderson: 3Blue1Brown and the Beauty of Mathematics | Lex Fridman Podcast #64在 YouTube 看 ↗
重點6 條
- 記號會把人帶偏：Grant 認為 e^x 的寫法讓人往「重複相乘」去想，其實它處理的是「變化率跟自己的值成正比」；歐拉公式裡的 e 與 τ（週期），也只是同一個函數在實數方向與虛數方向各自冒出來的常數。
- 發現與發明互相餵養：他的看法是一個循環，對宇宙的發現決定哪些數學值得發明，發明出來的抽象世界再催生新的發現，所以不是二選一。
- 無限只是一種抽象：他把無限的核心說成「永遠可以再加一個」，並主張理解要從最具體的例子往上走，而不是先給定義再補例子。
- 美感來自剩下的神祕：他舉兒時看到的 zeta 函數與質數乘積的等式為例，說讓它美的是那份剩下的神祕，以及它看起來不是人隨意選的。
- 做影片的難處在同理學生：腳本卡住就先放著，因為想得越久越難站在還不懂的人那邊；他拿過去的自己當第一個觀眾，也承認這會讓他有些影片只適合像他的人。
- 學數學要多做題：他建議與其多看課、多讀書，不如逼自己多做題，也說自己的影片幾乎沒有附習題，只是學習生態裡的一小塊。
時間軸18 段
Lex 問外星文明的數學會不會不同。Grant 認為大概很不一樣，記號不同只是最明顯的一層，但只要會數數就會有自然數、加法與乘法；實數的延伸則有選擇空間。
Grant 最不滿意 e^x，因為它暗示重複相乘；他認為該從「變化率取決於自身的值」看，旋轉就是變化率永遠垂直於位置。
Lex 提到最美的公式。Grant 說神祕感來自記號：同一個函數往實數方向走出 e，往虛數方向走是週期的，兩者並不如公式暗示的那麼親。
Grant 描述發現與發明的循環，用畢氏定理與 R2 上的距離為例；Lex 追問高維，他說五維流形可以透過狀態空間對三維世界有用。
Grant 說答案看數學家屬於哪一型：愛解謎的、受物理驅動的、愛抽象的；有位 Arnold 甚至說數學是物理的一支。
Lex 問為何基本定律這麼能被壓縮。Grant 想不出內在複雜的定律會是什麼樣子，也提出可能只有簡單的才被稱為物理；後面談到人擇原理與人腦的限制。
Grant 不買「層層模擬所以我們多半在模擬裡」的機率論證，理由是如果資訊處理有上限，層數就有限；他也提到每單位面積能存的位元數有極限。
Lex 問對無限自不自在。Grant 說無限的核心是「永遠可以再加一個」，並用辨認出 Lex 的臉來類比抽象。
Lex 半唱反調地擔心抽象脫離現實，也說無限很難視覺化；Grant 說自己讀數學常卡住，頻道很大一部分動機來自想把東西變具體。
Grant 認為理解從最低層開始，每張圖都逼你選一個例子；寫腳本也該先給一堆例子，再讓定義去說出那份相似。
Grant 講兒時看到的等式：對所有自然數取 1/n^s 加總，等於一個跑遍所有質數的乘積，也就是 zeta 函數的 Euler 乘積；他說懂得越多越漂亮，但總還留著夠多的神祕，且這些模式不像人隨意選的。
他最愛的影片之一是拓樸那支：從內接正方形問題談到 torus 與 Möbius strip，並在畫出曲面時才第一次看到它的樣子。
最痛苦的是腳本結構卡住，他的做法是先擱置；他以過去的自己當讀者，並舉四元數那支影片說明這樣做的代價。
Lex 說同一個概念能有很多講法。Grant 說歐拉公式他拍了三支，也覺得它的記號很醜，拿掉記號後只是漂亮而不是驚天動地。
Lex 問若能永生要不要、死亡是否賦予意義。Grant 說他大多時候不會想到死亡，卻仍有動力做東西、與人互動。
有了腳本之後影片很好預估，難的是腳本：解題類影片是看沒聽懂的人現在能不能做；講類神經網路那種就比較難，要看有沒有問出並答完一個有意義的問題。
Grant 建議多做題，先翻章末習題再讀章節；入門可用 Khan Academy，也可從程式切入。
他想到的是年輕時在滑雪場演出後搭纜車下山即興合奏；他主要拉小提琴，並說會試著在 2021 年前放一支音樂影片。