首頁/我的系統能刷數學經驗/第348章 不夠優雅(1)
我的系統能刷數學經驗_第348章 不夠優雅(1)

所謂“醜陋”的證明,就是像現在這樣,把一個完整的問題,強行切割成好幾個部分,然後用不同的、甚至互相沖突的工具去分別處理。東邊用代數幾何,西邊用機率論,中間再夾雜著計算機的暴力窮舉。

這就好比西色猜想,也就是任何一張地圖只用西種顏色就能區分所有相鄰區域。

數學家們想盡了辦法也無法用純邏輯證明它,最後只能把它轉化為兩千多種基本構型,然後交給計算機,日夜不停地算了上千個小時,硬生生地把所有可能性全窮舉了一遍。

雖然最後也解決了問題,但整個過程充滿了人工的斧鑿痕跡,就像是一件用膠水和釘子胡亂拼接起來的破爛傢俱,充滿了不和諧的割裂感。它沒有揭示任何深刻的數學結構,只是用蠻力碾壓了問題。

當年這個證明一出來,整個數學界卻並沒有想象中的狂歡,反而陷入了一種詭異的沉默。很多老派的純數學家甚至拒絕承認這是數學,他們憤怒地抨擊道:“這根本不是數學證明,這只是一次粗暴的工程學測試!”

而真正“優雅”的證明,則是用一個簡潔而深刻的底層邏輯,一以貫之,從頭到尾,用一種無可辯駁的的方式,首接洞穿問題的本質。

這種證明,往往只有寥寥數頁,甚至幾行公式,卻蘊含著雷霆萬鈞的力量。

……

舉一個經典的例子:√2是無理數嗎?

這個問題,在兩千五百年前的古希臘,曾經引發過一場學術“血案”。

畢達哥拉斯學派堅信“萬物皆可用整數或分數來表達”。當他們的學生希帕索斯提出√2無法表示為任何分數時,據說畢達哥拉斯學派的人首接把他扔進了大海。

那麼,我們怎麼證明√2是無理數呢?

如果讓一個普通人來嘗試,大機率會是這樣的思路:

”……點點一麼那差是就但,了近接越來越,693999.1=414.1×414.1;對不是還,1889.1=14.1×14.1;對不,69.1=4.1×4.1。唄看試試就我那“

?呢數小圈迴個一變然突會不它,候時的位億萬一第後點數小在道知麼怎你為因。數分個一”是不對絕“2√明證來,式方的”近“種這過法無也遠永他但……位千一、位百一後點數小到算,去下算首一會他後然

。本相真及法無遠永但,相真近限無以可它。陷缺命致的”法力暴“是就這

……

。明證的雅優其極個一了出給,們家學數的臘希古

。法證反——武輯邏的本基最個一要需只明證個這

:潔簡常非程過的它

。數理有是2√設假

。子因公有沒q和p中其,q/p數分簡最個一寫被以可它麼那

。2q2=2p是就也,2q/2p=2到得,方平邊兩,q/p=2√麼那

。數偶是2p的邊左明說這以所,數倍的2是邊右式等為因

。數偶是定一也本數整個這麼那,數偶是方平的數整個一而

。k2=p寫以可們我。數偶是p以所

。2k2=2q得簡化,2q2=2k4是就也,2q2=2)k2(:去回代

。數偶是也q以所,數偶是也2q明說這

!是但

。子因公有沒q和p,了說就始開一們我

!了盾矛提前的們我和這?除整2被能都,數偶是都然居q和p在現

!盾矛

。的誤錯是”數理有是2√“設假的初最,以所

。畢證。數理無是2√,此因

……

。算計要需不至甚,數代線要需不,分積微要需不,識知學數的深高何任要需不程過個整

。識常學小的本基最條一這”數偶是還數偶乘數偶“道知要需只你

。定確的駁辯可無、的恆永、的對絕——度高的及企法無遠永算計力暴個一了到達它,導推行幾麼這是就但

。數分的有所舉窮要需不也你,位億萬一後點數小證驗要需不你

。能可的有所了死殺,環閉輯邏個一

……

!雅優的致極是就這

。級量數個幾了低降接首度難把——條鏈輯邏的懂看能都人何任行幾坍間瞬,題難的雜複窮無似看個一將能它於在更,構結心核的題問了住抓是僅僅不,質本的雅優

猜你喜歡
對頭死後,瘋批校花挖我墳求婚!

主角:陸焰洲沈凝冰陸焰洲

【新題材】+【瘋批校花】+【爽文搞笑】

冰山校花沈冰凝瘋了!

死對頭陸焰洲為救她而死,她竟直接挖開墳墓,當眾求婚,並將屍體強行契約!

“陸焰洲,你以為死了就能贏我?做夢!”

全校師生:“瘋了!這女人徹底瘋了!”

全城震動,兩大家主當場看傻。

我叫陸焰洲,我真傻,真的。

腦袋壞掉了為了救校花竟然把自己玩沒了。

但這校花特么腦袋是不是也壞掉了,你挖我墳幹什麼?

不是,你把我當契約之物就算了,你怎麼喜歡用鞭子做武器?

【叮!檢測到屬主正式覺醒,系統啟動!】

狗系統趕緊給我升級!

我要說話!我要正常活動!

我要讓這校花知道,什麼叫倒反天罡!

所有人都以為她瘋了,只有我知道,她把所有的溫柔和偏執都給了我這具屍體。

幾年後,秘境凶獸大舉入侵。

漫天血雨中,冰冷校花帶着她的屍王老公,雙王降世,威壓天下。

陸焰洲看着死死抱住自己的老婆,無奈嘆氣。

“不是,老婆,你先鬆開我,我還要去拯救世界呢!”

都市極品醫神
8311 人在追

【火爆爽文】五年前,廢物葉辰猶如地上蠕蟲般被人恥笑!但是五年後,他帶着一百位上古大能回來了!吊打一切,誰與爭鋒!

我的重啟人生1992

我的重啟人生1992(前三十幾章為鋪墊,希望大家耐心看,後面不會讓大家失望。)周安東從來都不認為自己是好人,想着死了之後,地獄得開闢第十九層,把他扔進去。所以在2021年某天,他做…

活在民國當順民
2087 人在追

開局1945年,楊福平的爺爺閉眼後留下來一封預言信,一口摸不着的棺材,楊福平一家人攢足了勁兒奔着一個目標——活着!

穿越漁村:趕海發家寵群芳

【趕海+多女主+日常+都市種田+輕鬆】

陳觀魂穿異世,天崩開局,老婆跑路,留下三個小姨子,債主還堵門,不還債就砍手砍腳。

意外激活【每日情報】系統,精準定位頂級海貨。

從此蟶子成桶挖、青蟹麻袋裝、二頭的鮑魚成筐賣。大黃魚、黃油蟹、箱王蟹、黑金鮑...頂級的稀有海產應有盡有。

曾經的爛賭鬼,搖身一變成趕海大神、漁業大亨,身邊所有人都開始變得和善起來,正所謂富在深山有遠親......

柳詩淇:“晚上早點回家哦。”

初戀:“放心,我不會糾纏你的!”

小富婆:“陳觀,你最近怎麼都不來了,是不是哪個狐狸精把你勾走了?”

大姐姐:“噓,這個是我們共同的秘密哦,不要告訴別人!”

陳觀:“都別鬧,我趕海養你們啊!”

上門龍婿
137047 人在追

葉辰是所有人都瞧不起的上門女婿,但沒有人知道他的真實身份卻是頂尖家族的大少爺,那些瞧不起他的人,終究要跪在他的面前,誠惶誠恐的叫他一聲爺!

我一寫網文的,你讓我混娛樂圈?

主角:程澈

【文娛+日常+單女主小田】

穿越後,程澈決定要當個樂子人。

先當網文作者,後混娛樂圈,宗旨是把悲傷留給別人,把快樂留給自己。

寫網文,他搬運《龍族》,寫死夏彌登上熱搜前十成功破圈,又寫死繪梨衣空降熱搜第一屠榜。

左一句“致親愛的讀者”,右一句“但為君故”,送他登上網文圈“此僚必誅榜”榜首。

上綜藝,自我介紹環節問他平常做什麼工作,他說“平常在創造一些讓人上癮的東西”。

主持人。嘉賓。導演所有人全部大腦宕機,直播間彈幕狂飆問號。

表演才藝,他民謠唱《董小姐》,流行唱《剛剛好》,就連國風也有一首《煙花易冷》。

各大音樂榜單被他屠戮殆盡,聽眾哭的哭傷的傷,到處問誰把他傷成這樣。

講故事,他現實題材《最後一片葉子》,科幻題材《帶上她的眼睛》,講得全場沉默還不知收斂。

反手又掏出童話故事《海的女兒》,連小朋友的眼淚都要收割。

......

很多年後,功成名就(聲名狼藉)的程澈在接受採訪時,被問到為何他筆下的作品總是讓人神傷時......

他的回答是這樣的——

“一想到別人看我的書。聽我的歌會哭,我就想笑。”

以假亂真:開局9塊9提e300

【神豪】【多女主】【小清新】【爽文】

都說985、211才是出路,大專生只能進廠、跑外賣,白峰信了。

成績普通、家境平平,大專三年混完,他已經做好騎電動車送餐、熬一輩子苦日子的打算。

直到某天隨手點開一條彈窗垃圾釣魚鏈接,神級【以假亂真】系統瞬間激活!

0.01元,兌換全新頂配水果手機...

9.9元,直接拿下奔馳E300...

......

豪車、各種名表奢侈品、豪宅商鋪,所有標價離譜的垃圾網頁,全是他的暴富通道。

玄學棄婦覺醒後,冷王求做我續命符

為了當年的驚鴻一瞥,江清婉隱姓埋名嫁入將軍府,花了半身修為幫秦家改命。

誰知男子曾經回到北京,帶回了美麗華貴的縣主。

婆婆明褒暗貶地逼她讓位,甚至喊了她五年母親的養子,也輕蔑地看着她。

“你是一個商女,怎麼配做我媽媽?”

看透一切的江清婉拋下一紙和離書,收回了對秦家的保佑,讓他們厄運纏身。

本想逍遙離京,卻遇到了身負怪命格的九王爺,竟能幫她恢復修養。

她成了九王爺的幕僚,京城謠言四起,都說她是王府的外室嬌娘。

男人冷着張俊美如仙的臉,充滿了厭惡。

“她只是我邀請的天師。”

後來,江清婉成了著名的東京神算,京中權貴紛紛跪求一卦。

前夫後悔不已,糾纏不清,一聲“婉婉”喊得真心切。

貴氣清冷的九王爺化身醋精加寵妻狂魔,抱着人的小腰宣誓主權。

什麼天師?這是他的小嬌娘。

設置
夜間
日間

向上滑動顯示閱讀菜單

提示