現代數學有一件很反直覺的事情,那便是數學里的一切,其實都建立于數學家的精準定更反直覺的是,數學家甚至能修改數學中的一些定
因為現代數學里最基本且至關重要的原則之一就是邏輯自洽即合
用人話表述就是,甭管你給出了一個定義有多離譜,但只要在一個數學體系中,所有定理和推導過程都是基于一組定義精確的公理,且這些推導跟結論沒有相互矛盾,那麼就是正確
就能在數學定義中正式存
比如極為經典的虛數定義︰i2=
如果只有高中數學知識,看到這個式子第一反應就是這特麼不是亂來嗎?一�實數的平方就不可能等于負根據實數系統的基本性質就能得出結論,任何實數的平方都是非負
現在硬要規定一個數的平方等于負1……所以數學家給它取了個名字,虛
顯然這個虛數就是被定義出來
方法也很簡單,只要把這個i丟進實數先假設實數域是一個集合,包含了整數、有理數跟無理數,然後再把i放進去,這個時候在包含了i的集合里做加法跟乘法,就會發現實數跟i不可能進一步化
最多只能寫成a+bi這種形式,這個定義就成了復
當曾經的數學王子高斯同學發現了這種數字形式,就要想想如何進行幾何表達,于是復平面就出現橫坐標軸代表復數的實部,縱坐標軸代表復數的虛部,任何一個復數都能在復平面上找到一個
再根據歐拉公式,eiθ=s(θ)+isin(θ),稍加變換就發現任何復數都可以表示為極坐標形式
于是復數的乘法規則就被定義出來
復數域里兩個數相乘,就等于將兩個復數的模相乘,再把復數的輻角相加,也就是r1•r2•ei(1+2
由此,接下來就簡單了︰ixi也就是i2=1•1•ei(90度+90度),相當于把1在實部數軸上旋轉180度,最後就等于
看吧,曾經的數學大佬就是這麼任性的,直接定義出了虛數、復平面等等一系列亂七八糟的東西,來為難之後的學生通過種種在當時匪夷所思的手法,讓不可能變成了可
顯然現在喬澤也在干跟前人一樣的事
比如這篇論文中喬澤給廣義跟狹義交織性的定
“廣義的交織性是指所有數學對象,包括但不限于數、多項式、函數、矩陣、群、環等,其結構跟理論之間存在著內在連接,這些連接通過共有的數學屬性或操作顯現,並能夠相互影響對方的理論結果跟應
其共有屬性包括但不限于算數性質、代數結構、幾何特征或拓撲性質,且有且至少有一種操作和映射方法能在這些不同數學對象上展現出相似或相互依賴的行”
“狹義的交織性是指交織性統一性猜想,即有一個代數結構和一個幾何結那麼在交織框架下︰ag=g”
為了證明這種交織性,論文中定義了一個特殊函數i(z),並給出了表達
i(z)=ep(z)+eq(z),並用i(z)的零點和極點,探究多項式p(z)和q(z)根的交織並在復雜的證明過程中,給出了一系列的引理跟定
論文很抽象,但事實上更抽象還是發布這篇論文的時間節
除夕啊……
華夏萬家團圓的日子,這多少就有些過分
畢竟對于那些對數學還有追求的數學家來說,喬澤的論文肯定是不容錯過
更別提這篇論文還有愛德華•威騰的署名,更有消息傳出,彼得•舒爾茨就是這篇論文的審稿人之一,而且他來西林很大程度就是因為這篇論
如果再加上這篇論文理解上的難度極高,畢竟是一個新的數學領域,連許多數學符號都是新發明的,解決的還是數學上的大統一問題,這buff真就可以說直接疊滿
不仔細研讀,過年後跟誰討論去?
于是,對于華夏那些頂級的數學家而言,蛇年真的是個很特殊的年
過年?
不存在
還是研究論文
好在對于國外的數學家就沒那麼多困惑了,畢竟春節是什麼東西?
而且這次喬澤的論文還直接在《數學年刊》上發表了英文版,官方譯本讀起來更順
只是兩百多頁讀起來的確需要很多時
至于國內的學者們,雖然漢語的論文更精簡,只有一百多但論文這種東西,論證過程都是一樣的,真正用文字表述的部分,都是掃一眼就能看明白,需要花時間研究的是,依然是那些全是數字跟符號的證明過
起碼要能理解每一個引理跟定理的證明過程是否存在瑕疵,有沒有自相矛盾的錯
很艱難,但對于那些真正熱愛數學的人來說,又樂在其
沒辦法,看人家編出的這些東西,是真會上
尤其是數
說起來給出一些雲里霧里的定義很容易,但真的要邏輯自洽,其實很任何一個精彩的證明過程,都能讓人流連忘而且只要證明的足夠精彩,讓人挑不出瑕疵,各種數學大獎就在向他招
曾經的超螺旋代數跟超越幾何學就是如
雖然抽象,但更方便理
因為喬澤利用這兩樣新的數學工具解出了楊米爾斯方程,並給出了質量間隙假設的證
順著這個思路去看相關論文,總能豁然開
但這次數學交織性的第一性原理,是大統一的前置性論雖然要解決的問題同樣很明確,但卻沒有一個通解的例題能幫助理
如果再加上證明過程更為抽象,為了找到交織模式存在的證據,有時候需要不斷的增加維度,來進行探索,就讓整篇論文諸多定理的證明過程顯得極為晦
絕大多數肯定是看不懂
事實上,整個華夏大概也就只有那麼幾位研究數論的大佬能跟上喬澤的證明思路,然後拍案叫
當然這些對于喬澤來說,本就沒什麼影
再厲害的論文發布之後都會有滯後所以發布了論文之後,他便安心的準備過年
雖然不太在乎節日,不過每年新年喬澤還是會給自己三天假期,在家陪陪路秀
不過其實也不太需要他陪著,今年的喬家更為熱
為了方便照顧甦沐橙,學校分配的別墅又有足夠的房間,甦媽早就住了過
甦媽住過來了,甦立行只要人在西林也會直接住在甦于是過年兩家人住在一起,自然熱鬧了許
喬澤對于家里多了兩個人並不敏感,反正他回家就是睡個
但路秀秀還是很開心
畢竟以前家里就兩個人,逢年過節的總是覺得很冷以前房子小也就罷了,現在住在大別墅里,人太少反而有些害現在親家住過來了,不止是更有人氣,還多了些人能說說
尤其是還有個豆豆在,總能將兩家人生活上一些不同習慣可能造成的小摩擦消弭于無
很自然的,豆豆在這個家里的腰桿子也能越來越硬
以前只有路秀秀跟甦沐橙的寵愛,現在還多了甦媽的寵當然也可以理解為兩邊的大人正在拿豆豆小朋友練手,怎麼去疼還在小甦同學肚子里的雙胞
過年這三天也沒什麼好說
跟去年差不
除夕當晚,兩家人一起開開心心的吃了頓年夜然後在客廳里守著電視機里的春晚,有一搭沒一搭的聊
這個時候豆豆成了當之無愧的主
晚會沒什麼意思,豆豆可以化身演員,用各種節目來逗大人們的開各種段子說得飛起,整晚笑聲就沒斷用甦媽的說法就是,春晚導演沒讓豆豆去現場跟全國觀眾見面,簡直就是華夏春晚的一大損
當然這些話喬澤是沒听到的,到了晚上十點,就帶著小甦同學去休息
一方面是習慣使然,一方面則是小甦同學現在本就需要按時休
接下來的三天,喬家更是訪客不
尤其是甦立行也住在這邊,來訪的也就不止是學校那些教授們,還有跟西林立橙生意上有著來往的各路商界跟政界大佬再加上喬澤現在還有了另一個官面身份——人工智能憲章局首任局長,家里自然更熱鬧
好在來訪者大都清楚喬澤的性子,也知道過年期間,會來拜訪的人很多,基本上就是坐下來隨便聊幾句就告辭走人,不然雖然別墅的客廳很大,也無法同時容納那麼多
喬澤這些天也習慣了當吉祥物,坐在客廳里听著甦立行熱情的跟每一位來訪者打交
又好在有豆豆幫著家里的人忙前忙後,倒茶、洗杯子,插諢打科,總算是維持了過年喜樂的氣
初三中午,愛德華•威騰跟彼得•舒爾茨也來拜訪了喬
學校給愛德華•威騰分配的房子足夠大,四室兩廳的格局一個人住太過空曠,所以熱情的邀請了彼得•舒爾茨住到了一假期不但能一起在西林開地圖,閑下來還能探討一些問
所以這些天兩人也一直是一起行
數學家們的見面沒什麼好說
話題很快便轉到了大家最感興趣的問題
于是幾個人便到了喬澤書房聊了一下
差不多能算是提前半天開始進入工作狀
晚上熱情的兩家人留著兩位大數學家吃了頓家宴,喬澤回到書房的電腦前,正想繼續一些工作,豆豆直接的數據庫直接彈出了一個消息,關于深海勘探計劃的消
承載者跟探索者的第一份正式測試報告已經出來
用于測試的兩艘承載者已經返回了港口完成了各項檢修,拿到了無數珍貴的測試數絕大部分探索者則已經被消耗掉
這事得從除夕那天說
前面幾個月,深海勘探測試項目已經完成了絕大部分數據收集工作,包括了海底地形勘探,各種深度壓力測試,海上極端天氣測試,以及各類通訊測試等
在原本的測試計劃完成之後,除夕當晚,萬家燈火的時候,用于測試的系統開始了名為“深海刺客”的一次特別演
沒辦法,過年放假也只是針對絕大多數人而這種特別的節日,總有些人需要負重前
演習具體任務就是對一艘即將退役的教學艦進行定向海上報廢作只不過進行報廢作業的時候,旁邊的各類艦艇跟海底的潛水艇,都將各種探測雷達功能拉滿,天上還布置了各類反潛的飛
給承載者下達的目標則是在規定的時間段內,在不驚擾其他艦艇的情況下,對這艘即將退役的教學艦進行定點爆破作簡單來說就是在大家眼皮子底下,把這艘船給直接弄沉到海底
完成這項任務之後,承載者則帶著探索者直接離開劃定的目標海
雖然深海勘探最初真是個正兒八經的科研勘探項目,用于做這種測試有些奇不過最終事實證明最終測試做的還不錯,在付出了兩百艘探索者後,順利完成了任
期間沒有驚動任何周邊布置的艦艇,唯一的瑕疵大概就是在承載者收攏了最後剩余的探索者,在下潛過程中,因為下潛速度異常,遠超正常生物,被一艘在周圍游弋的潛艇正好觀測到
當然這真就只是小瑕
畢竟是脫網運行,出現一些小瑕疵,也是正常
從效果上來說還是很不錯
尤其是電池用了新元素,在某種材料的限制下,能讓其保持穩定,但通過特別方法激活後,爆炸的威力也很可尤其是還能持續在海底保持化學反應,以及海水下高溫情況下的高腐蝕性效果也很
讓一艘排水量達到八千噸教學艦完全沉沒,總計只花費了不到兩個小如果出動的探索者更多,這個時間說不定還能更
對于時間長短喬澤倒並不關心,甚至對于這次演習過程的各項參數他都不關心,作為科學家,喬澤關注的重點還是在科學這比如在海底進行地質挖掘時,定向爆破的威力如
還是任重而道遠
好在已經結束了第一階段的測試,第二階段的測試就要開始了,而且喬澤覺得還需要增加生產畢竟地球上海洋的面積太大了,更是有著太多的未知,有天上的通訊衛星輔助,深海勘探可以承擔更多的任務才 <.bisa.,數據和書簽與電腦站同步,無廣告清新閱讀!