首页
/
每日頭條
/
遊戲
/
最近很火的數字遊戲數學故事
最近很火的數字遊戲數學故事
更新时间:2025-04-04 10:22:17

最近很火的數字遊戲數學故事(數學證明的遊戲)1

如果你看到了一篇關于數學的新聞報道,它大概率是這樣的内容:一位數學家“證明”了一些偉大而傑出的猜想。1995 年,報紙上盈千累萬的頭條都是關于安德魯·懷爾斯對費馬大定理的徹底證明。2006 年,特立獨行的俄羅斯數學家格裡戈裡·佩雷爾曼(Grigori Perelman)證明了數學中一個重要的未解決的問題—龐加萊猜想(Poincaré conjecture),這使他獲得了赢得百萬美元獎勵的權利。還有 6 個“千禧年大獎難題”,它們向數學家發起了挑戰:要想證明自己學科的猜想,即使有直覺也依然棘手。

「數學家工作的核心是證明。」 公理是關于數字和幾何的不言自明的真理,證明就是從公理開始的邏輯論證。通過分析公理,我們可以重新組合出關于數字和幾何确切的新的表達形式。然後,這些新發現可以構成新證明的基礎,而新證明反過來又将引導我們發現公理的更多邏輯結果。數學的發展就像一個有生命的生物體,從先前存在的形式向外不斷延伸開來。

人們常把數學證明比作下國際象棋或圍棋。公理是棋盤上棋子的起始位置,邏輯推理規則是決定棋子如何運動的參數,證明是棋子一步一步的運動軌迹。在下國際象棋時,每一步棋都可能有成千上萬種可能。例如,開局四步棋之後(黑白各兩步),在棋盤上,棋子的分布就已經有 71852 種可能了。通常,你不需要走幾步棋就能達到這樣的效果。對于圍棋來說,棋子分布可能性的數量更甚。

最近很火的數字遊戲數學故事(數學證明的遊戲)2

如果我把棋子随機放在棋盤上,你可能會問,有沒有可能從初始狀态把棋一步一步走成這樣?換句話說,随機擺在棋盤上的棋子位置,按照圍棋或是國際象棋的規則是可能的嗎?這類似于數學中的猜想,例如費馬大定理。費馬斷言當整數 n >2 時,關于 x、y、z 的方程 x^n y^n = z^n 沒有正整數解。這本身就是一個猜想。數學家所面臨的挑戰是需要證明得到這樣的結果是否符合數學本身的邏輯。費馬就是這樣把棋子擺在棋盤上,然後說:“我相信你一定能按照棋的規則,把棋一步步走成這樣。哈哈哈哈!”安德魯·懷爾斯和其他為證明費馬大定理而努力工作的數學家,就這樣确定了“棋子”一系列的移動,最後完成了費馬大定理指定的排列方式。

數學界的藝術之一就是找出這些猜想目标。許多數學家認為,提出正确的猜想比埋頭苦算更重要。要發現暗藏在數字裡的真相,需要對數學有異常靈敏的嗅覺。這往往就是數學家最具創造性和可以發揮高深莫測技能的地方。數學家隻有一輩子都沉浸在數學的世界裡,才可能獲得關于數學猜想的靈敏嗅覺。這通常是一種不需要解釋的直覺和預感,是所有人夢寐以求的東西。

這就是計算機很難對猜想計算成功的原因之一。自上而下的算法像是一個醉漢在黑暗中跌跌撞撞:它有可能會随機地溜達到一個“有趣的地方”(奇異點),但大多數時候,它的行動沒有重點、沒有方向,毫無價值。但是,如果算法基于人類數學家的經驗進行學習,這種自下而上的結構能否使算法發展出一種對奇異點的直覺呢?

數學家們是如何建立起這樣一種對奇異點的直覺的?這種直覺通常不是巧合—在你腦海裡往往有衆多案例支撐,或者說應該是存在某種模式的。但是,這種直覺往往稍縱即逝,所以證明出一個猜想是如此的難得和重要。有時,需要數年才能發現一種模式是錯誤的。我在自己的工作中對一個模式做了一個猜想,一個研究生花了十年的時間才證明了它是錯誤的。

最近很火的數字遊戲數學故事(數學證明的遊戲)3

圖右下角為利特爾伍德(1885.6.9-1977.9.6),英國數學家,最為出名的是他和哈代長期的合作

關于錯誤猜想,我最喜歡的一個例子是 19 世紀偉大的數學家卡爾·弗裡德裡希·高斯(Carl Friedrich Gauss)對質數的猜想。高斯認為 Li(x)–π(x)的值總是正的,而且是遞增的。所有的證據都表明高斯是對的。如果讓一台計算機來解決這個問題,它将産生支持高斯猜想的數據。然而,1914 年李特爾伍德從理論上證明了事實正好相反(即存在 Li(x)小于(x))。高斯的猜想是錯誤的,但證明他錯誤的這個數字大得驚人,比宇宙中原子的數量還多(即便這樣,我們也無法接近這個猜想的崩潰點)。

這就是所有猜想所面臨的問題:我們無法證明它們是真的,還是我們的直覺和現有的數據将我們引入了歧途。為了将那些未經證明的猜想與現已證明的定理聯系起來,我們癡迷于嘗試建立起一系列數學運算。

究竟是什麼驅使人類去證明?人類創造數學的動機是什麼?編寫算法來給數學家制造更多的挑戰,這會成為我們探索數學領域的新動力嗎?數學的起源可以追溯到人類試圖理解自己所生活的環境,預測接下來會發生什麼,從而使我們更加适應環境,并選擇對我們有利的事物。可以說,數學是人類的一種生存行為(我在故我思)。

上文[遇見]經機械工業出版社授權節選自《天才與算法》, 作者馬庫斯·杜·索托伊。

最近很火的數字遊戲數學故事(數學證明的遊戲)4

,
Comments
Welcome to tft每日頭條 comments! Please keep conversations courteous and on-topic. To fosterproductive and respectful conversations, you may see comments from our Community Managers.
Sign up to post
Sort by
Show More Comments
推荐阅读
鬥牛怎麼玩
鬥牛怎麼玩
鬥牛怎麼玩?鬥牛玩法如下每人發五張牌,五張牌中如果有其中三張加起來為10的倍數則為有牛,有牛比沒牛大,其中Q這三張牌以10來計算,我來為大家講解一下關于鬥牛怎麼玩?跟着小編一起來看一看吧!鬥牛怎麼玩鬥牛玩法如下。每人發五張牌,五張牌中如果有...
2025-04-04
王者榮耀有什麼福利
王者榮耀有什麼福利
王者榮耀有什麼福利?第一個隐藏的功能也就是可以找客服投訴玩家,這對于玩家們來說,也可以說是一個福利,王者榮耀中相信大家也都遇到過這樣的情況,那就是明明自己的隊友存在罵人或者挂機行為,然而自己舉報他卻不成功,在這種情況下很多玩家都非常的煩惱,...
2025-04-04
永恒傳說攻略
永恒傳說攻略
永恒傳說攻略?永恒傳說遊戲中,初始地圖為一個小村莊,我們在村莊中可以接到探索任務,根據NPC的提示,在村莊的西面找到女主進行同行,接下來我們就來聊聊關于永恒傳說攻略?以下内容大家不妨參考一二希望能幫到您!永恒傳說攻略永恒傳說遊戲中,初始地圖...
2025-04-04
超拽的獵人遊戲名字
超拽的獵人遊戲名字
超拽的獵人遊戲名字?撩人的胸毛媽,他摸我,我來為大家講解一下關于超拽的獵人遊戲名字?跟着小編一起來看一看吧!超拽的獵人遊戲名字撩人的胸毛媽,他摸我螞蟻牙嘿top味的小仙女騎烏龜逗風煙草小毛驢進擊的肥肉别逼我變身我渣我自豪夜寒不宜裸奔騎龜遊天...
2025-04-04
天谕手遊箱子獎勵
天谕手遊箱子獎勵
自從《天谕》手遊“春心萌動”資料片上線後,很多小夥伴們都開啟了新的旅程,全新結婚系統、三麗歐大明星聯動外觀等内容都讓玩家驚喜不已,不知道大家最近的遊戲體驗如何呢?《天谕》手遊“春心萌動”資料片新推出的結婚系統備受玩家追捧,最近很多小夥伴都在...
2025-04-04
Copyright 2023-2025 - www.tftnews.com All Rights Reserved