[논문 리뷰] The Future of Set Theory

Saharon Shelah|ArXiv.org|2002. 11. 26.

Philosophy and Theoretical Science참고 문헌 3인용 수 11

한 줄 요약

사라온 셸라가 개인적 연구 철학의 관점에서 집합론의 미래를 성찰하며, 이데올로기적 정당화보다는 일반성, 기술적 깊이, 내재적 아름다움을 우선시하는 것을 주장한다. 그는 집합론이 수학적 풍부성과 구조적 우아함을 위해 추구되어야 하며, 단지 기초나 적용적 정당화를 위해가 아니라고 주장하고, ZFC에서 정리 증명을 계속할 것을 강조하면서 포지션, 내부 모델, 대규모 기수와 같은 다양한 프레임워크를 상호보완적인 도구로 수용한다.

ABSTRACT

Haim Judah has asked me to speak on the future of set theory, so, as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down to set theory in the next century. Later on I thought I had better cut it down to dealing with the next decade, but I suspect I will speak on what I hope to try to prove next year, or worse - what I have done in the last year (or twenty). It seems I am not particularly suitable for such a lecture, as I have repeatedly preferred to try to prove another theorem rather than to prepare the lecture (or article); so why did I agree at all to such a doubtful endeavor? Well, under the hypothesis that I had some moral obligation to help Haim in the conference (and the proceedings) and you should not let a friend down, had I been given the choice to help with organizing the dormitories, writing a lengthy well written expository paper or risking making a fool of myself in such a lecture, I definitely prefer the last.

연구 동기 및 목표

• 외부적 검증보다는 수학적 깊이와 일반성에 기반한 집합론의 미래 방향에 대한 개인적 철학적 입장을 서술하는 것.
• 집합론이 다른 분야나 기초 철학에 대한 응용을 통해 존재를 정당화해야 한다는 개념을 도전하는 것.
• 즉각적인 응용이 없는 기술적이고 복잡한 증명과 일반 정리의 추구 가치를 방어하는 것.
• 수학적 아름다움은 단순함이 아니라 구조적 조화에서 비롯되며, 이는 연구의 타당한 기준이 될 수 있음을 주장하는 것.
• 연구 문화를 '자신만의 정리 증명'을 추구하는 데에 가치를 두며, '좋은 미적 기준'이나 이데올로기적 동질성에 얽매이지 않는 데로 이끌어내는 것.

제안 방법

• 집합론의 미래를 개인적 연구 동기와 경험을 중심으로 서술하는 반성적 제1인칭 서술 방식을 채택한다.
• 미적 감각, 일반성, 응용 등 여덟 가지 축을 기준으로 연구 동기를 분류하며, 주로 '미적 감각'과 '뼈대 있는 증명'을 주요 동력으로 삼는다.
• 자기 비판과 일상적인 사례를 통해 카디널 불변량과 자기동형군과 같은 다양한 수학 문제들이 어떻게 주요 발전으로 이어졌는지 설명한다.
• ZFC, 포지션, 내부 모델, 결정성 공리 등을 경쟁 체계로 보는 것이 아니라, 정리 증명을 위한 상호보완적 도구로 평가한다.
• 순수한 호기심에 기반한 연구, 즉 '스포츠'가 초기에 핵심이 아니더라도 더 깊은 통찰을 이끌어내는 촉매제 역할을 할 수 있음을 강조한다.
• 가장 좋은 정리는 어떤 정파나 '명성'에 대한 고려 없이도, 오랫동안 문제와의 이데올로기적으로 자유로운 몰입에서 비롯된다는 주장을 펼친다.

실험 결과

연구 질문

• RQ1 응용이나 기초적 정당화를 넘어서 깊이 있고 일반적인 정리를 추구하는 집합론 연구자의 동기는 무엇인가?
• RQ2 특히 논리학과 집합론에서 수학적 작업 평가 시 '미적 감각'과 '구조적 조화'가 얼마나 중요한가?
• RQ3 집합론은 어느 정도까지 기술적 복잡성에 의해 평가되어야 하며, '기술적'이라는 표현이 '새로운 것'이자 '이해하기 어려운 것'을 암시하는 지나친 용도로 전락하는가?
• RQ4 즉각적인 응용이나 철학적 관련성이 없는 연구도 집합론에서 여전히 가치가 있는가?
• RQ5 호기심, 협업, 우연 등에 의해 형성된 개인적 연구 궤적은 집합론의 주요 발전에 어떻게 기여하는가?

주요 결과

• 저자는 몰리의 정리나 갈루아 이론과 같은 복잡하고 일반적인 정리에서 내재된 구조적 조화를 아름다움으로 인식하며, 단순함보다 구조적 조화를 우선시한다.
• 기술적 깊이와 증명의 복잡성은 장애물이 아니라 중요한 수학적 작업의 핵심 요소이며, 특히 새로운 아이디어를 담고 있을 경우 더욱 그렇다.
• 호기심과 '스포츠'에 기반한 연구—예를 들어 카디널 불변량이나 자기동형군 탐구—는 카디널 산술과 같은 핵심 분야에서 돌파구를 마련할 수 있다.
• 저자는 집합론이 다른 분야의 응용을 통해 존재를 정당화해야 한다는 생각을 기각하며, 오히려 수학적 가치에 기반한 자율성을 주장한다.
• ZFC는 정리 증명의 기본 프레임워크이지만, 포지션, 내부 모델, 결정성 공리 등 다른 체계는 일致성과 독립성 결과를 도출하는 데 상호보완적인 도구로 기능한다.
• ‘아름다움은 영원을 향해’라는 믿음은 저자가 오래 지속되는 수학적 가치가 구조적 통찰에 있으며, 유행이나 외부적 검증이 아닌 데에 깊이 있는 확신을 담고 있다.