紀(jì)錄片《費馬最后的定理》極為優(yōu)秀,引人深思。以下幾點是我的感悟。錯誤不可避免,請大家指正并共同思考。
一、證明的道路
數(shù)學(xué)家的主要工作在于證明。所謂證明,就是從公理或定理出發(fā),通過邏輯規(guī)則一步一步證明某個命題。費馬大定理就是一個困擾人們幾百年的待證命題。但證明真的只有步步推導(dǎo)這一種方式么?
費馬大定理的內(nèi)容很漂亮:x^n + y^n = z^n 在n > 2時無整數(shù)解。為了證明之,我們可以一步一步從一些公理或已證的定理出發(fā),最終導(dǎo)出之。但一個更簡單的方法,其實是用計算機去檢驗各種(x, y, z, n)的可能。比如(0, 0, 0, 3), (0, 0, 1, 3) ... 如果找到一組解,滿足費馬的式子,則說明該他的猜想不成立。反之,如果計算機在檢驗了許多后依然找不到解,則我們可以在一個范圍內(nèi)斷定費馬定理成立,并對費馬定理的成立或多或少增加一些信心。
上述論斷在數(shù)學(xué)家的眼中肯定有些荒謬。畢竟所有可能的解是無窮的,計算機再快,也不可能窮盡,故永遠(yuǎn)不可能完全證明該定理。但我覺得這種思路有其獨特的意義。首先,計算機沒有檢驗的范圍,其實可能已經(jīng)沒有意義了…
二黃昨天說她看了《費馬大定律》紀(jì)錄片,抱著只要點開歷史記錄就能看的心態(tài),果然有,今天我也看了一遍,結(jié)果她找錯了,導(dǎo)致我看了一個93年的特別節(jié)目+96年的紀(jì)錄片
在現(xiàn)有條件范圍內(nèi)能窮舉的數(shù)組都滿足一個猜想,那我們會趨于相信這個猜想是真的,但是當(dāng)我們沒有辦法充分證明所有的情況下這個猜想都成立的時候,邏輯上我們無法肯定這一猜想是真的
證明它在邏輯上存在必要性:如果你相信它,那就需要證明它對所有條件正確;如果你不相信它,至少要給出一組符合的答案,證明它錯誤
350多年里
“我很榮幸成年后能追尋兒時的夢想”
——安德魯.懷爾斯
這部紀(jì)錄片斷斷續(xù)續(xù)想開始很多次,但是都暫停了,主要是因為自己看到數(shù)學(xué)就頭大的本性,2024年的第一周總算看完了它。
想看這部紀(jì)錄片其實不是因為什么特別高大上的理由,只是好奇《營業(yè)悖論》里能讓一個學(xué)哲學(xué)的rapper看完之后嘖嘖稱奇的紀(jì)錄片究竟是什么樣的。只是沒想到四十五分鐘的紀(jì)錄片我能看兩個小時。
很難想象,數(shù)學(xué)家們350多年的前赴后繼,就是為了證明一項定理的正確性
Horizon系列,我蜜汁喜歡的費馬大定理證明始末。
無數(shù)人類歷史上頂尖聰明的人企圖攻克它,從費馬在書縫間寫下“空白處太小了,寫不下它”到真正被證明,期間三百多年的時光一晃而過。安德魯.懷爾斯教授是幸運的,驗證這個定理是他兒時的夢想,在這條路上他不斷借鑒前輩同僚們的經(jīng)驗,經(jīng)歷失敗、陷入死胡同、一個人保守靈感的躑躅前行,在片子中他說I've finally done it的時候,你無法不為他眼中的光芒所折服。費馬大定理被證明的過程是人類智慧光芒大放異彩的過程,即使有了計算機、即使有了人工智能
昨晚大半夜打開這部紀(jì)錄片。
這個定理之前早有聽聞,好歹我還是一個理科生??上Ю锩婧芏鄶?shù)學(xué)知識不懂了,邊看邊百度術(shù)語也是夠了,但是我感受了懷爾斯的兩個很重要的品質(zhì)。
1.熱愛:從十歲就對數(shù)學(xué)感興趣,之后成為了一個數(shù)學(xué)學(xué)家,7年可以完全沉浸在解決一個數(shù)學(xué)問題中。我覺得他對數(shù)學(xué)的熱愛對他的人生產(chǎn)生了重大影響。試想,如果是一個你并不感興趣的話題,你能心無旁騖地研究7,8年嗎?這會很困難。
2.專注。他在找到可能解決問題的部分鑰匙后,就開始全身心投入證明費馬大定理,加上修正里面的錯誤
希爾伯特所言“We must konw,we will know.”
我一個文科生,看著眼眶都熱了,曾經(jīng)特別幼稚詢問數(shù)學(xué)存在的意義,如果是單純訓(xùn)練人的思維邏輯能力,那為什么不直接看小說呢。看完后我才知道自己是多么幼稚與可笑。
數(shù)學(xué)存在于此的意義本身,在于以其獨特的方式向人類展示美的奧秘,撇其數(shù)學(xué)對人類前進的作用,它自身就吸引了無數(shù)的人們?yōu)橹畡尤?,前仆后繼站在前人的肩膀上去證明,去驗證 。
數(shù)學(xué)家不會去考慮他們所證明的東西會產(chǎn)生什么具體的作用,他們只是很純粹享受著這個過程。
【費馬大定理】理論科學(xué)中證明和證據(jù)的給出,是人類探索中看似毫無意義但卻也最有意義的事情了吧
轉(zhuǎn)載請注明網(wǎng)址: http://www.weigoucun.com/archives/id-76682.html