Joel David Hamkins

Hamkins于1988年5月获California Institute of TechnologyCalifornia Institute of TechnologyCalifornia Institute of Technology（简称 Caltech）是位于美国加利福尼亚州帕萨迪纳的私立研究型大学，以科学与工程的研究和教育为主。学校前身是 Amos G. Throop 于1891年创办的 Throop University，1920年改用现名。Caltech 为 NASA 管理喷气推进实验室（JPL），拥有 Palomar、W. M. Keck 等天文台，并共同创立和管理激光干涉引力波天文台（LIGO）。截至2026年9月，在校本科生971人、研究生1,398人。2026年7月1日起，天体物理学家 Ray Jayawardhana 任第十任校长。点击查看完整词条数学理学学士学位。⁠[1]

他回忆，在Caltech读一年级时上了第一门真正的逻辑课，得知逻辑是一个完整的研究领域后便认定这是自己的未来，不完备性定理和独立性现象很早就吸引了他。⁠[2]

他于1991年12月在University of California, BerkeleyUniversity of California, BerkeleyUniversity of California, Berkeley（加州大学伯克利分校，UC Berkeley）是University of California系统的成员校，其前身University of California于1868年由两校合并创立，1873年迁至加利福尼亚州伯克利。点击查看完整词条获数学C.Phil.，1994年5月获数学博士学位。⁠[3]

获博士学位后，他在1994—1995学年任Berkeley博士后性质的客座助理教授；他此前已获City University of New York的教职，并把入职时间从1994年推迟到1995年。⁠[4]

1995年他受聘为CUNY College of Staten Island数学系教员，1995—1998年任助理教授，1999—2002年任副教授，2000年获终身教职，2003年起任正教授。⁠[5]

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]

他于2000—2001年任Carnegie Mellon UniversityCarnegie Mellon UniversityCarnegie Mellon University（CMU）是位于美国宾夕法尼亚州匹兹堡的私立研究型大学。学校前身是 Andrew Carnegie 于1900年出资创办的 Carnegie Technical Schools，1912年改名 Carnegie Institute of Technology，1967年与 Mellon Institute 合并后定名为今名。学校以计算机科学、机器人、工程与艺术等领域著称，在卡塔尔、硅谷和卢旺达设有校区。截至2025年9月，全校注册学生16,582人。现任校长为 Farnam Jahanian。2026年9月30日，学校宣布获得 Ken Griffin 30亿美元捐赠，并将在迈阿密兴建新校区。点击查看完整词条数学客座副教授，2002—2003年任Georgia State University数学与统计学副教授，2004年5月至8月以Mercator客座教授身份在Universität Münster数理逻辑研究所访问。⁠[8]

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]

2018年9月，他转任University of OxfordUniversity of OxfordUniversity of Oxford（牛津大学）是位于英国牛津的大学，1096年时当地已有某种形式的教学活动，自称英语世界中历史最悠久的大学，由大学与数十所自治学院组成联邦制结构。点击查看完整词条哲学系逻辑学教授，并任University College, Oxford的Sir Peter Strawson哲学研究员。⁠[12]

在Oxford期间，他表示自己的许多工作涉及数学哲学中的潜无限论（potentialism），并称其研究常在哲学探问与数学分析之间循环推进。⁠[13]

2020年他获CUNY College of Staten Island杰出教授（Distinguished Professor）头衔；此前他自1997年、2002年和2013年起分别担任CUNY Graduate Center数学、计算机科学和哲学博士项目的导师。⁠[14]

他是每周举行的CUNY Logic Workshop的创始联合组织者之一，并创办了CUNY Set Theory Seminar。⁠[14]

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

书评人Danny Yee指出，后者基于Oxford荣誉课程的讲座，主要面向数学读者，评价Hamkins写得“exceptionally clearly”（极为清晰）。⁠[15]

2022年1月，他到University of Notre Dame任职，受聘于哲学系并与数学系有合作关系；他表示将同时与哲学和数学两方面的学生合作。⁠[16]

截至2023年11月，他正在撰写The Book of Infinity，并在Notre Dame与学生和教员研究集合论、潜无限论和模态模型论。⁠[17]

他的Proof and the Art of Mathematics获Mathematical Association of America颁发的2024年Daniel Solow Author’s Award；他在获奖回应中表示，书中定理都可用初等方法证明，适合用来教授证明写作。⁠[18]

他做客Lex FridmanLex FridmanLex Fridman 是生于苏联、在美国长大的计算机科学家和播客主持人，任 MIT 研究科学家，研究人机交互与自动驾驶。他主持的 Lex Fridman Podcast 以数小时长篇对话著称，嘉宾包括多国领导人和科技企业领袖。点击查看完整词条 Podcast第488期，节目简介称他是专攻集合论、数学基础与无限本质的数学家和哲学家；话题包括无限与悖论、Russell悖论、Gödel不完备性定理、停机问题、连续统假设、数学多宇宙、超现实数、P vs NP和无限国际象棋。⁠[19]

2026年8月，他宣布获颁Alternative Fields Medal，以表彰其“Excellence in exposition of mathematics to a popular audience”（面向大众阐释数学的卓越成就）；他称授奖理由提到了他的著作，以及他自2010年以来在MathOverflow上发表的近2000篇帖子、触达580万浏览者。⁠[20]

2026年8月25日，MIT Press出版他的400页著作The Book of Infinity；出版方介绍，全书25章，从Zeno悖论、Hilbert旅馆等经典悖论讲到Cantor超限算术、连续统假设、超现实数以及潜无限与实无限之争。⁠[21]

截至2026年10月，他在MathOverflow的声望值为251,569，发布了1,982个回答，内容触达约600万人次。⁠[22]

他在个人网站上称，自己在MathOverflow上的贡献获得了该站最高的声望分。⁠[8]

他在Substack通讯Infinitely More上连载The Book of Infinity、A Panorama of Logic和一部关于无限博弈的新书，并撰写关于超现实数的系列文章。⁠[23]

个人网站：公开链接：https://jdh.hamkins.org/（在新窗口打开）⁠[19]

X：公开账号：https://x.com/JDHamkins（在新窗口打开）⁠[19]

YouTubeYouTubeYouTube是Google旗下的视频分享与创作者平台，2005年由Steve Chen、Chad Hurley和Jawed Karim创办，2006年被Google收购。平台围绕视频上传、观看与创作者收益，发展出Shorts、YouTube Music、Premium、YouTube TV及儿童产品，总部位于美国加利福尼亚州San Bruno。点击查看完整词条：公开频道：https://www.youtube.com/@joeldavidhamkins5484（在新窗口打开）⁠[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]