[論文レビュー] Unified Foundations for Mathematics

Mark Burgin|ArXiv.org|Mar 10, 2004

Rough Sets and Fuzzy Logic参考文献 30被引用数 6

ひとこと要約

この論文は、集合論、論理学、圏論、その他の構造を統合する統一的基盤として、名前付き集合（named sets）を提案する。要素にラベルや名前を付けることで集合を一般化することにより、理論は基礎的多様性（pluralism）を解決し、数学のすべての分野における単一で整合的な基盤を提供する。

ABSTRACT

There are different meanings of foundation of mathematics: philosophical, logical, and mathematical. Here foundations are considered as a theory that provides means (concepts, structures, methods etc.) for the development of whole mathematics. Set theory has been for a long time the most popular foundation. However, it was not been able to win completely over its rivals: logic, the theory of algorithms, and theory of categories. Moreover, practical applications of mathematics and its inner problems caused creation of different generalization of sets: multisets, fuzzy sets, rough sets etc. Thus, we encounter a problem: Is it possible to find the most fundamental structure in mathematics? The situation is similar to the quest of physics for the most fundamental "brick" of nature and for a grand unified theory of nature. It is demonstrated that in contrast to physics, which is still in search for a unified theory, in mathematics such a theory exists. It is the theory of named sets.

研究の動機と目的

• 複数の理論（集合論、論理学、圏論など）が基礎として競合する数学における、長年の基礎的多様性の問題に取り組む。
• 多重集合、ファジィ集合、粗い集合などの実用的・理論的拡張を扱う際の、伝統的集合論の限界を克服する。
• 多様な数学的構造を1つの統一理論に統合する、単一で包括的な枠組みを提供する。
• 哲学的にも強く、数学のすべての分野に実用的・応用可能である理論を確立する。
• 物理学とは異なり、数学には、名前付き集合を基本構造として導入することで、数学の包括的統一基盤が存在することを示す。

提案手法

• 各要素に名前やラベルが関連付けられるように集合を一般化した名前付き集合を導入し、標準的な集合よりも豊かな構造を可能にする。
• 対象、名前、および名前関係の3つのソートを用いた形式的構造として名前付き集合を定式化し、数学的対象の柔軟な表現を可能にする。
• 適切な構成を通じて、名前付き集合が集合論、論理学、圏論、その他の基礎的体系を埋め込み・一般化できることを示す。
• 圏論的手法を用いて、名前付き集合が極限や余極限などの望ましい性質を持つ圏をなすことを示す。
• 異なる名前関係を用いることで、多重集合、ファジィ集合、粗い集合、その他の一般化された集合型が、名前付き集合の特別なケースとして表現できることを証明する。
• すべての標準的数学的構造が定義的拡張によって名前付き集合から導出可能であることから、名前付き集合の普遍性を確立する。

実験結果

リサーチクエスチョン

• RQ1 1つの数学的構造が、既存の基礎的理論をすべて統合する統一的基盤として機能できるか？
• RQ2 名前付き集合は、多重集合、ファジィ集合、粗い集合などの多様な数学的概念をどのように一般化・統一できるか？
• RQ3 すべての数学的分野にわたって包括的かつ整合的であると見なされるためには、基礎的理論がどのような性質を備えている必要があるか？
• RQ4 数学の基礎的アプローチの多様性を解消する数学的枠組みが存在するか？
• RQ5 現代の数学的実践において、伝統的集合論よりも自然で柔軟な基盤を名前付き集合が提供できるか？

主な発見

• 名前付き集合は、集合論、論理学、圏論、および多重集合やファジィ集合などの一般化された集合論を含む、すべての基礎的理論を統合する普遍的な枠組みを提供する。
• 名前付き集合の理論は、適切な名前関係を用いることで、すべての標準的数学的構造を表現可能であることが示された。
• 名前付き集合は、単一で整合的な言語を提供することで、基礎的不整合や不適合性を解消し、多様な数学的概念を表現する。
• この枠組みは、極限、余極限、およびその他の圏論的構造の構成を可能にし、現代の数学形式的表現と整合性を保つ。
• 本論文は、数学に包括的統一基盤が存在することを確立した。これは、物理学におけるグランド統一理論の探求とは対照的である。
• 特に現実世界や計算応用において、古典的集合論よりも表現力が高く柔軟な基盤を、名前付き集合が提供する。