[论文解读] Wetzel's Problem, Paul Erdos, and the Continuum Hypothesis: a mathematical mystery

Stephan Ramon Garcia, Amy L. Shoemaker|arXiv (Cornell University)|Jun 19, 2014

Quantum Mechanics and Applications参考文献 2被引用 3

一句话总结

本文研究了Wetzel问题的历史与数学起源——即一族在每一点上取值可数的解析函数族是否本身也必然是可数的——揭示了保罗·埃尔德什（Paul Erdős）证明了该问题的答案等价于连续统假设的否定。研究追溯了该问题从斯坦福大学约翰·E·韦茨尔（John E. Wetzel）的学位论文，经由伊利诺伊大学厄本纳-香槟分校的‘墓地书’（Boneyard Book）传至保罗·埃尔德什的过程，其中李·A·鲁贝尔（Lee A. Rubel）极有可能记录了该问题，最终埃尔德什运用深刻的集合论方法解决了该问题，使其成为ZFC系统中不可判定的问题。

ABSTRACT

This is a short historical note concerning the evolution of Wetzel's problem and Erdos' solution.

研究动机与目标

• 重建Wetzel问题的历史渊源，从其在约翰·E·韦茨尔关于调和函数的学位论文中的起源，到其在学术网络中的传播。
• 澄清保罗·埃尔德什在其1963年论文中所引用的问题来源，解决其引用‘安娜堡问题书’（Ann Arbor Problem Book）与问题实际记录于伊利诺伊大学厄本纳-香槟分校‘墓地书’之间的矛盾。
• 确立埃尔德什的解答——即Wetzel问题的肯定回答等价于连续统假设的否定——是基于李·A·鲁贝尔首次在‘墓地书’中记录的问题。
• 解开埃尔德什如何接触到该问题之谜，确认李·A·鲁贝尔是将问题从厄本纳-香槟传至安娜堡的最可能的记录者与传播者。
• 证明Wetzel问题在ZFC中不可判定，因其在逻辑上等价于连续统假设的否定。

提出的方法

• 利用密歇根大学本特利历史图书馆的大学档案、私人通信及数字化记录进行历史档案研究。
• 通过对比李·A·鲁贝尔的笔迹样本与‘墓地书’中的条目，进行笔迹分析，以识别原始Wetzel问题条目的记录者。
• 交叉核对出版日期、会议记录与访问日志，重建埃尔德什1963年9月访问安娜堡的时间线。
• 分析‘墓地书’条目的内容与结构，包括罗伯特·布雷克利（Bob Blakley）与罗伯特·迪克森（Bob Dixon）的贡献，以追踪问题表述的演变过程。
• 运用数学逻辑解读埃尔德什的证明，表明在点态可数性条件下函数族的可数性，等价于连续统假设的否定。
• 通过彼得·杜伦（Peter Duren）、约翰·P·达涅洛（John P. D’Angelo）以及韦茨尔本人等数学家的证言，佐证所重构叙事的可靠性。

实验结果

研究问题

• RQ1 约翰·E·韦茨尔最初关于黎曼曲面上调和函数的问题，是如何演变为一个关于解析函数的问题的？
• RQ2 埃尔德什所引用的‘安娜堡问题书’中问题的实际来源是什么？
• RQ3 谁负责在伊利诺伊大学厄本纳-香槟分校的‘墓地书’中记录了Wetzel的问题？
• RQ4 保罗·埃尔德什是如何接触到该问题的，‘墓地书’在其发现过程中起到了什么作用？
• RQ5 为何埃尔德什引用‘安娜堡问题书’，而该问题实际上记录于UIUC的‘墓地书’中？

主要发现

• 约翰·E·韦茨尔最初提出的问题涉及黎曼曲面上的调和函数，而非解析函数，该问题形成于其1961年在斯坦福大学的学位论文工作期间。
• 基于笔迹分析与历史背景，李·A·鲁贝尔被确认为最可能在伊利诺伊大学厄本纳-香槟分校‘墓地书’中首次记录Wetzel问题的人。
• 保罗·埃尔德什于1963年9月访问安娜堡期间，在可能从‘墓地书’流传出的副本中接触到了该问题，而非来自已遗失的数学俱乐部书籍。
• 埃尔德什证明了Wetzel问题的肯定回答在逻辑上等价于连续统假设的否定，从而使该问题在ZFC中不可判定。
• 罗伯特·迪克森独立地在假设连续统假设成立的前提下获得了部分结果，但后来被埃尔德什的完整解答所取代。
• 埃尔德什论文的最终版本于1963年9月18日提交至《密歇根数学杂志》，紧随其访问安娜堡之后，表明他在此次行程期间已知晓该问题。