[논문 리뷰] Axiomatizing mathematical conceptualism in third order arithmetic

Nik Weaver|ArXiv.org|2009. 05. 11.

Mathematical and Theoretical Analysis참고 문헌 10인용 수 6

한 줄 요약

이 논문은 제3형 산술에서 수학적 개념주의를 공리체계화하며, 집합론의 철학적 과잉을 피하고 구조적이고 반플라톤주의적인 기초를 제공함으로써 주류 수학에 대한 비집합론적 기초를 제시한다. 이는 체계적이고 직관주의 논리와 초한수 구성법을 사용하여 함수해석학의 핵심 결과—예를 들어 쌍대 단위구의 약한* 컴팩트성과 골드스타인의 정리—를 증명할 수 있음을 보여주며, 완성된 무한집합을 가정하지 않고도 표준 수학을 발전시킬 수 있음을 시사한다.

ABSTRACT

We review the philosophical framework of mathematical conceptualism as an alternative to set-theoretic foundations and show how mainstream mathematics can be developed on this basis. The paper includes an explicit axiomatization of the basic principles of conceptualism in a formal system CM set in the language of third order arithmetic.

연구 동기 및 목표

• 집합론이 수학의 기초로 지배하는 데서 비롯하는 철학적 결함과 주류 수학에 대한 실용적 무관성을 드러내어 집합론의 지배를 도전한다.
• 완전히 구성 가능한 수학적 대상—즉, 초한수 길이의 것들조차도 허용하는 수학적 개념주의에 기반한 형식체계 CM을 개발한다.
• 함수해석학의 핵심 결과—예를 들어 약한* 컴팩트성과 골드스타인의 정리—가 완성된 무한집합을 가정하지 않고도 이 체계 안에서 증명될 수 있음을 보여준다.
• 직관주의 논리와 가산 밀집부분집합만으로도 핵심 정리들을 증명할 수 있음을 보이며, 비가산 또는 비가산 구성에 의존하지 않는다.
• 실수선과 기타 비가산 구조는 개념주의에서 부분적으로 실현 가능할 뿐이며, 완성된 것으로 보다는 '완성되지 않은' 것으로 간주됨을 주장한다.

제안 방법

• 제3형 산술의 언어에서, 예측가능성의 보완으로서 수학적 개념주의를 기반으로 한 형식체계 CM을 개발한다.
• 초한수 구성법을 허용하여 실수의 개별적 구성(예: 딜레인드 컷을 통한)은 가능하지만, 전체 실수선을 완성된 대상으로서 구성하지는 않는다.
• 모든 실수에 대해 기댓값을 취할 때 직관주의 논리를 사용하여, 비가산 구조의 불완전하고 완성되지 않은 성격을 반영한다.
• 바나흐 공간의 분리성은 기댓값을 가산 밀집부분집합으로 제한하여 상한과 하한이 체계적으로 존재하도록 보장한다.
• 약한* 컴팩트성의 증명은 함수열에 대해 대각선법을 적용하며, 이는 오직 공간의 가산 밀집부분집합에서의 수렴에만 의존한다.
• 골드스타인의 정리는 원래 공간의 원소들이 이중공간의 개별 원소들을 약한* 수렴으로 근사할 수 있음을 중심으로 재구성하여, 전체 이중공간을 구성하지 않는다.

실험 결과

연구 질문

• RQ1 주류 수학은 집합론의 전반적인 힘, 특히 멱집합 공리에 의존하지 않고도 발전시킬 수 있는가?
• RQ2 함수해석학은 완성된 무한집합을 피하는 구조적이고 반플라톤주의적 프레임워크에서 얼마나 깊이 형식화될 수 있는가?
• RQ3 실수선과 기타 비가산 구조는 완성된 것으로 간주하는 것이 철학적으로 정당하지 않다고 보는 기초 체계에서 어떻게 다루어질 수 있는가?
• RQ4 약한* 컴팩트성과 골드스타인의 정리와 같은 핵심 정리는 오직 가산적이고 구성 가능한 대상들, 그리고 직관주의 논리만으로도 증명될 수 있는가?
• RQ5 분리성과 밀집부분공간은 개념주의 수학에서 체계적 증명을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 모든 분리 가능한 바나흐 공간의 쌍대공간의 닫힌 단위구는 약한* 수열적 컴팩트성을 갖는다. 이는 CM에서 가산 밀집부분집합에 대한 대각선법을 사용하여 증명 가능하다.
• 골드스타인의 정리는 재구성되어 CM에서 증명 가능하며, 이는 원래 공간의 원소들이 이중공간의 개별 원소들을 약한* 수렴으로 근사할 수 있음을 중심으로 한다.
• CM에서 골드스타인의 정리 증명은, 적절한 x가 존재하지 않는다고 가정할 경우, 실수 n차원에서 선형함수를 이용한 분리 논증에 기반한다. 이는 함수 φ의 노름 상한과 모순된다.
• 체계 CM은 비분리 공간의 이중공간을 구성할 수는 없지만, E'가 분리 가능할 경우 E''의 개별 원소에 관해 논의할 수 있다.
• 실수선은 완성되지 않은, 완전히 실현되지 않은 구조로 간주되며, 직관주의 논리와 초한수 구성 원칙과 일관된다.
• 실수에 대해 기댓값을 취할 때 직관주의 논리를 사용하는 것은, 비가산 구조가 조망 가능하거나 완전히 구성되지 않았다는 개념주의적 시각을 반영한다.