又一位菲爾茲獎得主去世

在傑出的數學家Maryam Mirzakhani離開人世兩個月之後，又一名革命性的數學家、菲爾茲獎得主Vladimir Voevodsky 9月30日被發現卒於其普林斯頓的家中。時年51歲。

普林斯頓高等研究院確認了數學家的死訊。Voevodsky身為研究院的教授，在此地度過了大部分的學術生涯。如今死因尚未知曉。

Voevodsky出生在俄羅斯，2002因其對代數幾何革命性的創見榮獲了菲爾茲獎(Fields)。該獎項每4年頒發一次，用以表彰40歲以下的做出卓越貢獻青年數學家。如同數學界的諾貝爾獎。

VladimirVoevodsky, 2011年
credit: Wikimedia Commons

西安大略大學的數學家Chris Kapulkin在接受採訪時表示：「他在代數幾何方向上驚人的洞察力，使他能夠覺察到不同表象下同一的本質，能夠將已知領域的結果拓展到未知的領域。」

作為一名純粹的數學家，Voevodsky擁有超凡的想像力，可視化和推理能力，可以以一種高度抽象化的、和大多數人迥然不同的方式思考和生活。

最初意識到這一點，他也曾為此困惑不已。「我無法向大眾解釋—— 即使是經過高等教育的優秀大學生——我的工作細節！」他曾在接受採訪時說。 「今天初學者會發現現在的科學進展越來越難以掌握。我認為這是一個不好的跡象。」

他不情願離開現實世界的實際應用太遠，幾年以後，他改變工作方向來幫助人們理解數學證明的過程。

部分工作是開發「輔助證明」領域，這涉及到利用計算機幫助數學家通過驚人的錯綜複雜的步驟來完成深刻抽象的證明。

這裡有一段小插曲，通過他自己開發的「輔助證明」工具，他意識到以前的論文里有一項重要的結果其實是錯誤的。在2013年，經過多年的檢查後，他總結說他確實錯了。其他數學家紛紛讚揚了他的誠實，此事也成為了一個標誌，數學家知道計算機確實可以用來審查數學證明過程。

Voevodsky寫道：「既然沒有工具來探索那些被好奇心引領進的、有價值的、有意義的和美麗的領域。 那我就開始自己做出那樣的工具好了。」

不久，他就意識到唯一的途徑是「以某種方式讓我可以用電腦來驗證我的抽象思考，邏輯推理和數學結構」。

關於計算機在數學證明中應該起什麼樣的作用， Voevodsky的立場是輔助證明，但不是製造證明。

事實上，他說，計算機證明的意義在於可以提醒他，什麼才是真正的數學證明，那也是數學存在的基礎。

由於思緒常常徘徊於那些只有少數人能理解的艱深思想，數學家經常在他們的個人生活中顯示獨特的氣質，Voevodsky也不例外。

Vladi-mir Alexandrovich Voevodsky出生於1966年6月4日，莫斯科。他的父母都是科學家。他在莫斯科國立大學就讀，但他對自己的課堂感到無聊，以至於被學校出名；他稱此為「學術失敗」。

等他再次回到學校，蘇聯的社會狀況已經極度惡化。「一切都奔潰了，拿到一份文憑看起來毫無用處。」

他與另一位數學家Misha Kapranov合作數學論文，後者來到美國讀研究生，並向人推薦了他的朋友。

很快，在沒有本科學位，也沒有申請的情況下，他被哈佛大學錄取為研究生。不過因在波士頓被搶劫，和其他一些麻煩，Voevodsky還是先回到了俄羅斯。

幸虧哈佛大學慧眼識人，不離不棄，仍然為其保留了學籍。直到Voevodsky 1992年拿到了博士學位，他一直住在自己的辦公室里。

普林斯頓大學高級研究所將他列為1992—1993學年的研究員。在1998年至2001年，他再次接到研究所聘書。2001年1月，他成為該研究所數學系的終身教授之一，該研究所是世界上最知名的研究機構之一(該研究所的第一位教授是愛因斯坦，他在那裡從1933年直到1955年去世)。

Voevodsky還在其他學術機構任職。1997年至1998年任西北大學副教授，1996年至1997年在德國馬克斯普朗克研究所訪問學者，1993年至1997年隸屬於哈佛大學;首先作為哈佛協會會員的初級研究員，然後作為訪問學者。

2002年，國際數學聯盟授予Voevodsky菲爾茲獎章。此後他獲得了許多獎學金和國家科學基金會的資助。

他在同倫理論，代數K理論，以及代數幾何與代數拓撲之間的相互關係等領域做出重要貢獻。

他被認為是提供了解決業內知名的Milnor和Bloch-Kato猜想的方案。

他的「一階公理」也被認為對數學和計算機科學產生了強大的影響。

他與前妻Nadia Shalaby的婚姻以離婚告終，並育有兩個女兒。

本文譯自 washingtonpost，由譯者 majer 基於創作共用協議(BY-NC)發布。

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！