亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        弗拉基米爾·沃沃斯基

        2018-04-03 01:48:39編譯江澤珍
        世界科學(xué) 2018年1期
        關(guān)鍵詞:斯基格羅迪克

        編譯 江澤珍

        代數(shù)幾何是對多項式方程幾何方面的研究,如 x2+?y2=?1,在一個范圍內(nèi),x和?y是真實的數(shù)字,當x和?y是更抽象的數(shù)字時具有拓撲性質(zhì)。正因為對代數(shù)幾何領(lǐng)域的革命性推動,沃沃斯基成為了和黎曼、格羅滕迪克一樣偉大的科學(xué)家。2017年9月,他逝世于普林斯頓的家中,享年51歲。

        1966年,沃沃斯基出生于莫斯科,其父親是物理學(xué)家,母親是化學(xué)家。一開始,他學(xué)的是化學(xué),但要想理解化學(xué)就要掌握物理知識,所以他開始學(xué)物理??赏瑯樱獙W(xué)物理就要掌握數(shù)學(xué)知識,所以他又開始學(xué)數(shù)學(xué)。于是他上了莫斯科州立大學(xué),但由于沒去上課所以沒拿到學(xué)位。不過,他在校期間出版的數(shù)學(xué)論文被業(yè)界認為很有前景,所以在他本人沒有申請的情況下,哈佛大學(xué)向他發(fā)出了入學(xué)邀請。1992年,沃沃斯基拿到了該學(xué)校的博士學(xué)位。

        之后10年,沃沃斯基在學(xué)術(shù)上有很大建樹。他的研究來源于格羅滕迪克在60年代提出的“主對象”的理論研究。在沃沃斯基的主上同調(diào)理論中,經(jīng)典常用的幾何被主上同調(diào)理論代替,同調(diào)理論是拓撲學(xué)的一個分支,大致說的是兩個對象間的連續(xù)變化,比如從一根線逐漸縮小直至一個點。格羅滕迪克認為幾何物體之間的映射可以被局部地定義,但沃沃斯基否定了這個觀點。

        1996年,沃沃斯基拿到博士學(xué)位還不到4年,他就宣布自己證明了1970年的“約翰·米爾諾猜想”,成為了能證明該猜想的第一人。沃沃斯基也因此獲得了數(shù)學(xué)領(lǐng)域的最高獎項——菲爾茲獎。除此以外,他還證明了其他3個非常重要的猜想。

        2002年,他被普林斯頓高等研究院數(shù)學(xué)系聘為教授。他開始思考數(shù)學(xué)檢驗的計算機表示法。和之前很多數(shù)學(xué)家一樣,沃沃斯基夢想能有一個數(shù)學(xué)陳述和證明的全球數(shù)據(jù)庫,這樣數(shù)學(xué)家就能取得更多的成就,并且還能分享他們的成果。

        2006年,沃沃斯基選擇“類型理論”作為該全球數(shù)據(jù)庫的正式語言,因為它能將數(shù)學(xué)對象分成“類型”,如三角形或曲線。他認為,比起數(shù)學(xué)家常用的集合理論,類型理論更自然一些。他設(shè)想的概念是該理論可以把類型組成一個無限的等級,等級1為命題,等級2為一系列基本事物(如自然數(shù)字),等級3為結(jié)構(gòu)分類(如三角形),以此類推。數(shù)學(xué)家用不同的方法研究一個潛在相同的概念時,通過一價機制就可以互相運用成果。

        2010年,他在3周之內(nèi)制造了一個代碼圖書館,里面有成千上萬的基本定義和理論,他稱之為“一價基礎(chǔ)庫”。該基礎(chǔ)庫之后被收入進了一個更大的UniMath數(shù)據(jù)庫。UniMath的目的是將數(shù)學(xué)這個龐大的知識系統(tǒng)正式化。沃沃斯基一生留下了8篇從不同角度證明這個新系統(tǒng)合理的論文。一價基礎(chǔ)庫提供了一個全球數(shù)學(xué)資料庫的概念,首次將類型理論作為數(shù)學(xué)庫的基礎(chǔ)。

        盡管沃沃斯基10年前就把研究重點轉(zhuǎn)移到了其他方向,但是主上同調(diào)理論仍在不斷發(fā)展。還有很多研究人員繼續(xù)尋找新的方法,將他的基礎(chǔ)庫運用到代數(shù)、幾何和拓撲學(xué)當中。一價基礎(chǔ)庫注定成為一個研究的熱門。將沃沃斯基的主對象研究收入到基礎(chǔ)庫也是幫助他圓夢的一個好途徑。

        沃沃斯基是一位有遠見、細心的數(shù)學(xué)家,他有一股永不屈服的精神,但和人相處時他又非常親切、友好和真誠。盡管他一生大部分時間被抑郁困擾,但他依然取得了很多了不起的成就。

        猜你喜歡
        斯基格羅迪克
        建筑史話
        傻狗溫迪克(八)
        傻狗溫迪克(七)
        格羅西訪問伊朗
        小學(xué)生迪克比
        小學(xué)生迪克比
        名導(dǎo)波蘭斯基再遇性侵指認
        世界知識(2017年17期)2017-12-28 21:15:36
        穆索爾斯基藝術(shù)歌曲的創(chuàng)作思想淺論
        樂府新聲(2016年4期)2016-06-22 13:03:00
        記賬員格羅寧的奧斯維辛回憶錄
        看世界(2015年16期)2015-09-10 07:22:44
        異人
        国产丝袜一区二区三区在线不卡| 中文字幕一精品亚洲无线一区| 亚洲色欲色欲www| 丰满爆乳在线播放| y111111少妇影院无码| 欧美精品AⅤ在线视频| 国产大学生自拍三级视频| 国产在线观看一区二区三区av| 一本到在线观看视频| 日本不卡一区二区三区在线 | chinese国产在线视频| 亚洲无人区乱码中文字幕| 青青草原综合久久大伊人精品| 毛多水多www偷窥小便| 亚洲国产成人久久综合一区77| 在线观看免费的黄片小视频| 亚洲av无码国产精品色软件| 风韵饥渴少妇在线观看| 亚洲中文字幕巨乳人妻| av在线网站手机播放| 久久精品国产亚洲av不卡国产| 国产午夜片无码区在线播放| 国产又滑又嫩又白| 96免费精品视频在线观看| 日本骚色老妇视频网站| 国产禁区一区二区三区| 国产av无码专区亚洲av极速版| 依依成人影视国产精品| 亚洲毛片av一区二区三区| 国产麻豆久久av入口| 久久久g0g0午夜无码精品| AV无码一区二区三区国产| 亚洲一区二区三区免费av| 欧美激情肉欲高潮视频| 成人免费视频在线观看| 91亚洲精品久久久蜜桃| 日本中文字幕有码网站| 国精品无码一区二区三区在线| 久久青草亚洲AV无码麻豆| 日本一区二区免费高清| 欧美成人片在线观看|