ABAB Pedia

Joel David Hamkins

Joel David Hamkins是數學家和哲學家,University of Notre Dame的John Cardinal O’Hara邏輯學教授,研究集合論、數學哲學與無限,提出集合論多宇宙觀並與合作者創立無限時間圖靈機理論。

本頁目錄22 節
詞條資料

獲Caltech數學學士學位

他回憶,在Caltech讀一年級時上了第一門真正的邏輯課,得知邏輯是一個完整的研究領域後便認定這是自己的未來,不完備性定理和獨立性現象很早就吸引了他。⁠[2]

獲UC Berkeley數學博士學位

任UC Berkeley客座助理教授

獲博士學位後,他在1994—1995學年任Berkeley博士後性質的客座助理教授;他此前已獲City University of New York的教職,並把入職時間從1994年推遲到1995年。⁠[4]

加入CUNY College of Staten Island

1995年他受聘為CUNY College of Staten Island數學系教員,1995—1998年任助理教授,1999—2002年任副教授,2000年獲終身教職,2003年起任正教授。⁠[5]

在神戶大學任JSPS研究員

1998年1月至12月,他獲日本學術振興會(Japan Society for the Promotion of Science)資助,在神戶大學(Kobe University)研究生院任研究員,屬該校邏輯研究組,由Philip Welch擔任正式導師。⁠[6]

提交無限時間圖靈機論文

1998年8月21日,他與Andy Lewis在arXiv提交論文“Infinite Time Turing Machines”,把Turing機的運行推廣到無限序數時間,研究由此產生的實數上的超任務可計算性與可判定性理論;論文註明將發表於Journal of Symbolic Logic。⁠[7]

在Carnegie Mellon、Georgia State與Münster任職

與Benedikt Löwe提交力迫模態邏輯論文

2005年9月27日,他與Benedikt Löwe在arXiv提交論文“The modal logic of forcing”,用模態邏輯刻畫集合論中可力迫性與真之間的一般原理,並證明若ZFC一致,則ZFC可證的力迫原理恰為模態理論S4.2。⁠[9]

該文後發表於Transactions of the American Mathematical Society第360卷第4期(2008年)。⁠[1]

提出集合論多宇宙觀

2011年8月22日,他在arXiv提交“The set-theoretic multiverse”,提出並論證集合論的多宇宙觀,即存在許多不同的集合概念,各自對應一個集合論宇宙;他認為,在這一觀點下,連續統假設已因人們對它在多宇宙中表現的瞭解而得到解決,不可能再以以往期望的方式解決。⁠[10]

該文發表於Review of Symbolic Logic第5卷(2012年)。⁠[3]

研究無限國際象棋

2013年2月18日,他與C. D. A. Evans在arXiv提交“Transfinite game values in infinite chess”,研究無限棋盤國際象棋中的超限博弈值,並證明在無限三維國際象棋中,每個可數序數都可作為某個局面的博弈值。⁠[11]

他自述,此前在New York University哲學系訪問時,曾把自己設計的一個無限國際象棋局面謎題做成海報貼在辦公室門上,研究生和博士後陸續在上面寫下解答。⁠[2]

出任Oxford邏輯學教授

在Oxford期間,他表示自己的許多工作涉及數學哲學中的潛無限論(potentialism),並稱其研究常在哲學探問與數學分析之間循環推進。⁠[13]

獲CUNY傑出教授頭銜

2020年他獲CUNY College of Staten Island傑出教授(Distinguished Professor)頭銜;此前他自1997年、2002年和2013年起分別擔任CUNY Graduate Center數學、計算機科學和哲學博士項目的導師。⁠[14]

他是每週舉行的CUNY Logic Workshop的創始聯合組織者之一,並創辦了CUNY Set Theory Seminar。⁠[14]

出版Lectures on the Philosophy of Mathematics

MIT Press於2020年出版他的Proof and the Art of Mathematics,2021年出版Lectures on the Philosophy of Mathematics。⁠[3]

書評人Danny Yee指出,後者基於Oxford榮譽課程的講座,主要面向數學讀者,評價Hamkins寫得“exceptionally clearly”(極為清晰)。⁠[15]

轉任Notre Dame

2022年1月,他到University of Notre Dame任職,受聘於哲學系並與數學系有合作關係;他表示將同時與哲學和數學兩方面的學生合作。⁠[16]

撰寫The Book of Infinity

截至2023年11月,他正在撰寫The Book of Infinity,並在Notre Dame與學生和教員研究集合論、潛無限論和模態模型論。⁠[17]

獲Daniel Solow Author’s Award

他的Proof and the Art of Mathematics獲Mathematical Association of America頒發的2024年Daniel Solow Author’s Award;他在獲獎回應中表示,書中定理都可用初等方法證明,適合用來教授證明寫作。⁠[18]

做客Lex Fridman Podcast

他做客Lex FridmanLex FridmanLex Fridman 是生於蘇聯、在美國長大的計算機科學家和播客主持人,任 MIT 研究科學家,研究人機交互與自動駕駛。他主持的 Lex Fridman Podcast 以數小時長篇對話著稱,嘉賓包括多國領導人和科技企業領袖。點擊查看完整詞條 Podcast第488期,節目簡介稱他是專攻集合論、數學基礎與無限本質的數學家和哲學家;話題包括無限與悖論、Russell悖論、Gödel不完備性定理、停機問題、連續統假設、數學多宇宙、超現實數、P vs NP和無限國際象棋。⁠[19]

獲Alternative Fields Medal

2026年8月,他宣佈獲頒Alternative Fields Medal,以表彰其“Excellence in exposition of mathematics to a popular audience”(面向大眾闡釋數學的卓越成就);他稱授獎理由提到了他的著作,以及他自2010年以來在MathOverflow上發表的近2000篇帖子、觸達580萬瀏覽者。⁠[20]

The Book of Infinity出版

2026年8月25日,MIT Press出版他的400頁著作The Book of Infinity;出版方介紹,全書25章,從Zeno悖論、Hilbert旅館等經典悖論講到Cantor超限算術、連續統假設、超現實數以及潛無限與實無限之爭。⁠[21]

截至2026年10月:在MathOverflow與Infinitely More寫作

截至2026年10月,他在MathOverflow的聲望值為251,569,發佈了1,982個回答,內容觸達約600萬人次。⁠[22]

他在個人網站上稱,自己在MathOverflow上的貢獻獲得了該站最高的聲望分。⁠[8]

他在Substack通訊Infinitely More上連載The Book of Infinity、A Panorama of Logic和一部關於無限博弈的新書,並撰寫關於超現實數的系列文章。⁠[23]

關聯機構、網站與公開賬號

University of California, Berkeley:官網:https://www.berkeley.edu/(在新窗口打開)⁠[4]

City University of New York:官網:https://www.cuny.edu/(在新窗口打開)⁠[5]

University of Oxford:官網:https://www.ox.ac.uk/(在新窗口打開)⁠[12]

University of Notre Dame:官網:https://www.nd.edu/(在新窗口打開)⁠[16]

來源

  1. Joel David Hamkins | People | Department of Mathematics | University of Notre Dame(在新窗口打開)
  2. Playing infinite chess - 3:16(在新窗口打開)
  3. Joel David Hamkins(在新窗口打開)
  4. University of California at Berkeley, Visiting Assistant Professor, 1994 – 1995(在新窗口打開)
  5. City University of New York, since 1995(在新窗口打開)
  6. Kobe University, JSPS Fellowship, 1998(在新窗口打開)
  7. Infinite Time Turing Machines(在新窗口打開)
  8. About | Joel David Hamkins(在新窗口打開)
  9. The modal logic of forcing(在新窗口打開)
  10. The set-theoretic multiverse(在新窗口打開)
  11. Transfinite game values in infinite chess(在新窗口打開)
  12. Oxford University, Professor of Logic & Sir Peter Strawson Fellow, University College Oxford(在新窗口打開)
  13. Profile: Professor Joel David Hamkins - University College Oxford (Univ) - Univ(在新窗口打開)
  14. Joel David Hamkins(在新窗口打開)
  15. Lectures on the Philosophy of Mathematics(在新窗口打開)
  16. O’Hara Professor of Philosophy and Mathematics, University of Notre Dame(在新窗口打開)
  17. Philosophy professor finds questions about mathematics and infinity to be endlessly fascinating(在新窗口打開)
  18. Daniel Solow Author’s Award 2024(在新窗口打開)
  19. #488 – Infinity, Paradoxes that Broke Mathematics, Gödel Incompleteness & the Multiverse - Joel David Hamkins | Lex Fridman Podcast(在新窗口打開)
  20. Alternative Fields Medal, awarded August 2026(在新窗口打開)
  21. The Book of Infinity by Joel David Hamkins: 9780262054010 | PenguinRandomHouse.com: Books(在新窗口打開)
  22. User Joel David Hamkins - MathOverflow(在新窗口打開)
  23. About - Infinitely More(在新窗口打開)