[논문 리뷰] Wetzel's Problem, Paul Erdos, and the Continuum Hypothesis: a mathematical mystery

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

Quantum Mechanics and Applications참고 문헌 2인용 수 3

한 줄 요약

이 논문은 해석 함수의 가족이 각 점에서 가산적인 값을 갖는다는 조건을 만족할 경우 그 가족 자체가 가산적이어야 하는지 여부를 묻는 웨츠엘의 문제의 역사를 수학적 기원을 분석한다. 이 문제의 해답이 연속체 가설의 부정과 동치임을 증명한 것은 폴 에르되시였으며, 이는 ZFC에서 독립적임을 의미한다. 연구는 웨츠엘의 문제의 기원을 스탠포드 대학교의 졸업 논문에서 시작하여 일리노이 대학교의 뼈마당 책(Boneyard Book)으로 이르는 경로를 추적한다. 이 책에는 루벨이 문제를 기록했을 가능성이 크며, 최종적으로 에르되시가 깊이 있는 집합론적 방법을 사용하여 문제를 해결하였다.

ABSTRACT

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

연구 동기 및 목표

• 존 E. 웨츠엘의 조화 함수에 관한 박사학위 논문에서 시작된 웨츠엘 문제의 역사를 재구성함으로써, 그 기원과 발전 과정을 밝히는 것.
• 폴 에르되시가 1963년 논문에서 언급한 '앤아버 문제책'이 실제로는 일리노이 대학교의 뼈마당 책에 기록되어 있었음을 규명하여, 에르되시의 인용과 실제 문제의 위치 사이의 괴리를 해결하는 것.
• 에르되시의 해법이 웨츠엘 문제에 대한 긍정적 해답이 연속체 가설의 부정과 동치임을 보여주며, 이는 뼈마당 책에 처음으로 기록된 문제를 바탕으로 한 것임을 입증하는 것.
• 에르되시가 어떻게 이 문제를 접하게 되었는지 밝히며, 어드반-샴프레인에서 앤아버로 문제를 전달한 가장 가능성 높은 기록자인 루델을 특정하는 것.
• 웨츠엘 문제의 ZFC에서 결정 불가능함을 입증함으로써, 이 문제가 연속체 가설의 부정과 논리적으로 동치임을 보여주는 것.

제안 방법

• 미시간 대학교 베ntl리 역사도서관의 대학 기록부, 개인 서신, 디지털 자료를 활용한 역사적 기록 조사.
• 루델의 필적과 뼈마당 책의 기록을 비교 분석하여 원본 웨츠엘 문제 기록의 필적 작성자를 특정하는 필적 분석.
• 출판 일자, 학회 기록, 방문 일지 등을 교차 분석하여 1963년 9월 에르되시의 앤아버 방문 시점을 재구성하는 것.
• 밥 블랙리, 로버트 딕슨의 기여를 포함한 뼈마당 책의 내용과 구조를 분석하여 문제의 표현 방식이 어떻게 진화했는지 추적하는 것.
• 수학적 논리 분석을 통해 에르되시의 증명을 해석하여, 점별로 가산적인 값을 갖는 함수 가족의 가산성과 연속체 가설의 부정이 논리적으로 동치임을 보이는 것.
• 피터 데uren, 존 P. 데앙겔로, 웨츠엘 자신 등의 수학자들의 증언을 확인하여 재구성된 서사를 검증하는 것.

실험 결과

연구 질문

• RQ1 웨츠엘의 원래 질문이 리만 표면에서의 조화 함수에 관한 것이었는데, 어떻게 해석 함수에 관한 문제로 발전했는가?
• RQ2 에르되시가 '앤아버 문제책'에서 문제의 기원을 언급했지만, 실제로 문제의 기원은 어디인가?
• RQ3 웨츠엘 문제를 일리노이 대학교의 뼈마당 책에 기록한 사람은 누구인가?
• RQ4 폴 에르되시는 어떻게 이 문제를 해결하게 되었으며, 뼈마당 책은 그의 발견에 어떤 역할을 했는가?
• RQ5 에르되시는 왜 문제를 '앤아버 문제책'에서 비롯된 것으로 언급했는가? 실제 문제 기록은 일리노이 대학교의 뼈마당 책에 있었기 때문이다.

주요 결과

• 존 E. 웨츠엘의 원래 질문은 해석 함수가 아니라 리만 표면에서의 조화 함수에 관한 것이었으며, 1961년 스탠포드 대학교에서 박사학위 논문 작업 중에 제기된 것이다.
• 필적 분석과 역사적 맥락을 바탕으로, 루델이 일리노이 대학교의 뼈마당 책에 웨츠엘 문제의 첫 기록을 남긴 가장 가능성 높은 인물로 특정된다.
• 에르되시는 1963년 9월 앤아버를 방문하는 동안, 뼈마당 책에서 옮겨진 복사본을 통해 문제를 접했을 가능성이 크며, 소실된 수학 클럽 책에서 받은 것이 아니었다.
• 에르되시는 웨츠엘 문제에 대한 긍정적 해답이 연속체 가설의 부정과 논리적으로 동치임을 증명하였으며, 이는 문제의 ZFC에서 독립적임을 의미한다.
• 로버트 딕슨은 연속체 가설을 가정한 상태에서 부분적인 결과를 얻었으나, 이후 에르되시의 완전한 해법에 의해 대체되었다.
• 에르되시의 논문 최종 초안은 1963년 9월 18일 미시간 수학저널에 제출되었으며, 이는 앤아버 방문 직후였기에 문제를 그가 그 여행 기간 동안 이미 알고 있었음을 시사한다.