約翰·何頓·康威
約翰 ・ 何頓 ・ 康威(英語:John Horton Conway,一九三七年十二月二十六—二空二空年四月十一號), 佇咧英國利物浦,數學家,活跳佇有限群的研究、趣味數學、紐結理論、數論、組合博弈論佮編碼學等等的範圍。
康威少年就對數學真有強烈的興趣:四歲的時,其母發現伊暗唸二的次方;十一歲的時,升讀中學的面試,予人問著伊成長了後想欲創啥,伊回答想欲佇咧劍橋當數學家。後來康威果然於劍橋大學修讀數學,了為普林斯頓大學的教授。佇二空二空四月十一因為 COVID 鋪十九過身。
童年佮少年
一九三七年十二月二十六,康威出世佇利物浦,是西里爾 ・ 何頓 ・ 康威(Cyril Horton Conway)佮艾格尼絲 ・ 博他斯(Agnes Boyce)之子。伊足細漢的時陣就對數學產生矣興趣。十一歲的時伊立志成做一名數學家。
對中學畢業了後,康威進入劍橋大學岡維爾佮凱厄斯學院學習數學。康威佇學校里是一个「非常閉思的少年家」,伊共家己去予劍橋大學錄取解說為一个將家己改造做一个新的人的機會:一个 " 外向的人 "。
一九五九年,伊得著文學學士學位,並開始佇咧哈羅德 ・ 達文波特的指導下對事數論研究。佇解決達文波特提出的關於將數寫做五次方差之佮的開放性問題了,康威開始對無限序大感興趣。伊對遊戲的興趣敢若開始佇伊佇劍橋數學 Tripos 學習的彼幾冬,蹛遐伊成做一个燒燒的雙陸棋耍兜,踮休息室里定定開幾若點鐘耍這遊戲。一九六四年,伊得著博士學的位,閣予人任命為劍橋大學西德尼-蘇塞克斯學院(Sidney Sussex College , Cambridge)的學院研究員佮數學講師。
一九八六年離開劍橋了後,伊佇普林斯頓大學得著約翰 ・ 馮 ・ 嗎他曼數學教席。
佮馬丁加德納
康威的職業生涯佮數學科普作家、《 科學美國人》雜誌專欄作家馬丁 ・ 加德納的職業生涯交織做伙。做加德納佇一九七空年十月的《數學遊戲》專欄中介紹康威性命遊戲的時,該文隨成為著伊所有專欄中閱讀量上大的專欄,嘛予康威一時仔變做出名人。嘉義納佮康威佇二十世紀五空年代尾第一擺通批,遮的年來,加德納不時寫康威的一寡趣味小程序。比如講,伊討論矣康威的《豆芽遊戲》(一九六七年七月)、《哈肯布希望》(一九七二年一月)佮伊的《天使佮魔鬼的問題》(一九七四年二月)。 佇一九七六年九月的專欄內底,伊回顧著康威的《論數字佮遊戲》一冊,甚至設法解說了康威的超現實數。
康威可能是馬丁 ・ 加德納的數學科普中上重要的成員。伊常在拜訪加德納,並經常共寫長信,總結伊的娛樂研究。佇一九七六年的一改訪問中,加德納差不多共伊囚禁一禮拜,共伊探聽拄仔公布的彭羅斯敧爿的批息。康威發現了真濟(若毋是大部份)敧爿體的主要特性。加德納佇一九七七年一月的專欄中向世界介紹彭羅斯敧爿的時,就使用矣遮的成果。彼期《科學美國人》雜誌的封面上刊登了彭羅斯敧爿的特點,並根據康威的草圖製作。
加德納過身了後,人每兩冬所舉行一擺名為 " Gathering 四 Gardner " 的會議,以紀念馬丁-加德納的數學科普工課,康威本人嘛定定佇遮的活動內底擔任主講人,討論趣味數學的各方面問題。
貢獻
組合博弈論
康威因為對組合博弈論(CGT)的貢獻而廣為人知影講。伊佮 Elwyn Berlekamp 和 Richard Guy 做伙發展矣這一理論,伊佮𪜶共同編寫了《數學博弈的贏家》一冊。伊閣編寫矣《論數佮遊戲》(ONAG)一冊,闡述矣 CGT 的數學基礎。
伊嘛是豆芽遊戲(sprouts)的發明者之一,佮哲球棋(philosopher's football)的發明者。伊對誠濟其他的遊戲佮謎猜進行了詳細的分析,如索馬立方塊、象棋接龍、康威的士兵等等。伊提出天使問題(angel problem), 並且共出部份惡魔有一必勝策略的情形證明。另外天使有必勝策略的情形,著愛等到二空空六年才由四位其他數學家獨立證明。
伊發明一種新的數字系統:超現實數,這佮一寡遊戲有密切的關係,嘛是高德納的數學小說作品的主題。伊閣發明一个超大數的號名法--康威鏈式箭頭符號。其中的真濟內容佇咧內底《ONAG》的第空部內底攏有討論。這个方法會當表示連高德納箭號表示法攏真歹表示的數。
康威性命遊戲
康威因為發明了康威性命遊戲(Game of Life)才特別出名,伊是元胞自動機的先聲。伊該領域的上初實驗是用筆和紙做的,早佇咧個人的電腦出來進前,伊就已經完成矣實驗遊戲的設計。
自從一九七空年馬丁 ・ 加德納佇咧《科學美國人》雜誌上介紹這个遊戲了後,伊催生了數以百計的電腦程式、網站佮文章,是趣味數學的常客。毋過有時康威捌講伊討厭性命遊戲,主要是因為伊的存在掩崁伊所做的其他的閣較深層次的、閣較重要的代誌。就算講按呢,這个遊戲確實幫助啟動了一个新的數學分支—— 元胞自動機領域。另外咧,性命遊戲是圖靈完整的。
幾何學
佇一九六空年代的中期,康威佮麥可 ・ 蓋它(Michael Guy)合作,確定矣有六十四个噗的齊勻多角形,其中無包括兩組無限的箸形。𪜶佇這个過程中發現了大反稜鏡,這是唯一一个非韋瑟夫式的齊勻多角形。康威閣提出一个專門用來描述多面體的符號系統,號做康威多面體符號。
佇多面體理論內底,伊設計出著康威標準,來描述決定一个原形敢是會佇平面上鋪設多面體的規則。
伊研究閣較懸維的晶格,並率先確定李奇晶格的對稱群。
幾若種舖師
佇紐結理論內底,康威提出了亞歷山大多項式的新變式,閣提出一个新的不變式,這馬伊嘛是叫康威足濟項的。佇咧沉寂十幾年後,這个概念佇咧二十世紀八空年代成做新式紐結多項式工作的核心。康威進一步發展了膏膏纏理論,發明一種用表示表結的符號系統,也就是這馬咧講的康威符號,𫝛時糾正了十九世紀結表中的一寡錯誤,並且共擴展到除了四个非交點的非交點多項式內底的十一項外,賰的全部攏包括在內。見《拓撲學論文集》七(一千九百八十二)一百十八葩。
群論
伊是《有限群的 ATLAS》的主要作者,予出誠濟有限簡單群的屬性。伊佮伊的同事 Robert Curtis 和 Simon P . Norton 合作,頭一回構起了一寡零星群的具體表示。閣較具體咧講,伊根據李奇晶格的對稱性發現了三个空星群,並共號做康威群,這項工課予伊成做成功劃分有限簡單群的關鍵人物。
康威佮諾頓根據數學家約翰 ・ 麥凱(John McKay)一九七八年的一項觀察結果,提出予人叫做「怪獸月光理論」的複數猜想。這个由康威本人號名的課題,共魔群佮雞卵行的模數函數聯絡做伙,對而將兩个以前無仝款的數學領域—— 有限簡單群和複變函數理論嫁接做伙。這馬乎,怪獸月光理論嘛予人發現佮弦仔理論有誠深的聯絡。
康威介紹了馬修群像,是馬修群像 M 十二的延伸,也就是馬修群像 M 十二的十三點。
數論
讀研究生的時陣,伊證明著愛德華 ・ 瓦林的一个猜想,即每一個整數會當寫做三十七個完全五次方數的和,就算講陳景潤佇咧康威的著作發表進前就獨立解決矣這个問題。
代數
康威編寫了教科書,並佇代數方面做一寡原創性的工課,特別是對四元數佮八箍數的研究,伊和 Neil Sloane 做伙發明矣 icosians。
分析
伊發明一个基十三函數(康威十三進位函數), 做為介值定理逆命題的反例:該函數佇實數線頂每一个區間內取每一个實數值,所以伊有達布特性,毋過煞毋是連紲的。
算法學
為著計算某一工是拜幾,伊發明著末日算法(判決日法則)。 這算法誠簡單,只要有基本的算是能力的人,攏會當佇遮頭殼頂來進行計算。康威通常會當佇兩秒內總共出正確答案。為著提高伊的速度,伊佇電腦練習算,逐改登錄電腦的時陣,電腦攏會怙隨機的日期來共伊測驗。伊早期的一本著作是有限狀態機的。
理論物理學
二空空四年,康威佮普林斯頓的另外一位數學家西蒙 ・ B ・ 科欽(Simon B . Kochen)證明矣自由意志定理,這是量子力學中「無隱藏變量」原理的一个特殊版本。伊指出,佇一定的條件下跤,若是實驗者會當自由決定佇特定的實驗內測量啥物量,遐爾仔基本粒仔嘛著愛自由選擇𪜶的自轉,使測量結果符合物理定律。用康威的略微仔譀古的措辭來講,就是講「若實驗者有自由意志,遐爾仔基本粒仔嘛是按呢」。
其他
- 康威準是
榮譽
康威得著伯里克獎(一九七一年), 當選為英國皇家學會院士(一九八一年), 是波利亞獎(LMS)的第一个得著的人(一九八七年), 得著尼默斯數學獎(一九九八年), 並且得著美國數學會的 Leroy P . Steele 數學博覽會獎(二空空空年)。
伊佇一九八一年的得獎提名詞是:伊是一位多才多藝的數學家,伊共真深的組合學洞察力佮代數技巧敆做伙,尤其是佇咧構建佮處理「非主流」代數結構方面,以完全出乎意料的方式闡明矣各種問題。伊佇有限群理論、結子理論、數理邏輯(包括集合論佮自變量理論)佮博弈論(嘛包括博弈論的實踐)方面做出傑出的貢獻。
二空一七年乎,康威被授予英國數學協會的榮譽會員資格。
冊
- Conway , J . H . ( 一千九百七十 ) : Regular machines and regular languages
- Conway , J . H . ( 一千九百七十六 ) : On numbers and games
- Conway , J . H . ; Berlekamp E . R . ; Guy , R . K . ( 一千九百八十二 ) : Winning ways for your mathematical plays
- Conway , J . H . ; Sloane , N . J . A . ( 一千九百八十八 ) : Sphere packings , lattices and groups
- Conway , J . H . ; Guy , R . K . ( 一千九百八十二 ) : The book of numbers
- Conway , J . H . ; Smith D . A . ( 兩千空三 ) : On Quaternions and Octonions
參考
- O'Connor , Robertson , " John Horton Conway " , MacTutor biography
- Mark Alpert , " Not Just Fun and Games " , _ Scientific American _ April 一千九百九十九 . online version