[論文レビュー] The Future of Set Theory

Saharon Shelah|ArXiv.org|Nov 26, 2002

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.

研究の動機と目的

• 外部的承認ではなく、数学的深さと一般性に基づいた、集合論の将来の方向性に関する個人的哲学的立場を表明すること。
• 集合論が他の分野や基礎的哲学への応用によって存在意義を正当化しなければならないという考えを疑問視すること。
• 即効性のない技術的で複雑な証明や一般定理の追求の価値を擁護すること。
• 数学的美しさは単純さではなく構造的調和から生じるのだと主張し、これが研究の基準として妥当であることを示すこと。
• 「良い趣味」やアイデオロギー的同一性への適合性といった制約から解放された、定理証明そのもののために研究することを奨励する研究文化の構築を提唱すること。

提案手法

• 第一人称の内省的語り口を採用し、集合論の将来を個人の研究動機と経験に基づいて描く。
• 美しさ、一般性、応用性など8つの軸に沿って研究動機を分類し、特に「美しさ」と「骨のある証明」を主な駆動要因として強調する。
• 自己批判とエピソードを用いて、基数不変量や自己同型群といった多様な数学的問題が、どのように主要な進展をもたらしたかを説明する。
• ZFC、フォースィング、内部モデル、決定性公理といった枠組みを、競合するシステムではなく、定理証明の補完的ツールとして評価する。
• 「スポーツ」——好奇心に基づく研究——が、当初は自分の研究計画の中心的でなくても、より深い洞察をもたらす原動力となることの役割を強調する。
• 最高の定理は、アイデオロギー的自由な姿勢で問題に長期間向き合い、その結果生まれるものであり、その「名声」やトレンドへの適合性とは無関係であると主張する。

実験結果

リサーチクエスチョン

• RQ1 集合論研究者が、応用的・基礎的正当化を超えて、深く一般性を持つ定理を追求する動機は何であるか？
• RQ2 とくに論理学や集合論において、美しさや構造的調和の評価基準は、数学的仕事においてどの程度重視されるべきか？
• RQ3 集合論はどの程度、技術的複雑性によって評価されるべきであり、いつ「技術的」という言葉が「新奇で理解しにくい」という婉曲表現になるのか？
• RQ4 即効性のない応用や哲学的関連性のない研究も、集合論において価値を有し得るか？
• RQ5 好奇心、共同作業、偶然によって形作られる個人の研究経路は、集合論における主要な進展にどのように寄与するのか？

主な発見

• 著者は、モーリーの定理やガロア理論のような複雑で一般性を持つ定理に内的美しさを見出し、単純さよりも構造的調和を重視する。
• 技術的深さと証明の複雑さは障害ではなく、特に新規なアイデアを含む重要な数学的業績の不可欠な要素である。
• 好奇心や「スポーツ」——例えば基数不変量や自己同型群の探求——に基づく研究は、基数算術のような中心的分野におけるブレークスルーをもたらす可能性がある。
• 著者は、集合論が他の分野への応用によって正当化されなければならないという考えを否定し、数学的価値に基づく自律性を主張する。
• ZFCは定理証明の標準的枠組みであるが、フォースィング、内部モデル、決定性公理といった他の体系は、一貫性や独立性に関する結果を得るための補完的ツールとして機能する。
• 「美しさは永遠のものである」という信念は、著者の確信——即ち、持続的な数学的価値は流行や外部的承認ではなく、構造的洞察に根ざしている——を裏打ちする。