A Foundation for the Core Mathematician

기술적 요약: 핵심 수학자를 위한 기초

문제 제기
저자 데이비드 먼드와 시-데이비드 프리드먼은 표준적인 선택 공리를 포함한 체르멜로-프렝켈 집합론 (ZFC) 이 수학 연구의 '핵심 (core)'을 위한 부적절한 기초라고 주장한다. ZFC 는 널리 받아들여지고 있지만, 저자들은 그것이 모델의 급증 (다중우주 관점) 을 허용하고 비구축적이며 '현실과 동떨어진' 집합 (예: 반나흐-타르스키 역설이나 비가측 집합을 통한 생성) 을 만들어내는 방식으로 선택 공리 (AC) 에 의존하기 때문에 '단단하고 고정된' 기초를 제공하지 못한다고 본다. 또한, 연속체 가설의 독립성과 대규범 기수 공리의 존재는 집합의 유일한 우주에 대한 플라톤주의적 신념을 훼손한다.

이 논문은 수학 경험의 '중앙 핵심'이 자연수 ($\mathbb{N}$), 실수 ($\mathbb{R}$), 그리고 이들로부터 유도된 구조에 관한 것이라고 가정한다. 저자들은 다음과 같은 기초를 모색한다:

1. $\mathbb{R}$을 임의의 집합이 아닌, '현실 세계'의 객체로 주어진 것으로 취급한다 ($\mathbb{R}$에 특화된 플라톤주의적 관점).
2. 이 핵심에 속하는 모든 추측이 명확한 진리값을 갖도록 보장한다 (유일한 모델).
3. 표준 해석학에 필요한 충분한 강도를 유지하면서 비가산 선택으로 인해 발생하는 병리 현상을 피한다.

방법론과 공리 체계
이 논문은 이를 실현하기 위한 특정 공리 체계 $T$와 두 가지 구별된 모델을 제시한다.

1. 공리들 ($T$):
제안된 체계 $T$는 $(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$로 정의된다.

• $ZF^-$: 멱집합 공리와 비가산 선택 공리가 없는 체르멜로-프렝켈 집합론이다. 여기에는 외연성, 기초성, 쌍짓기, 합집합, 무한성, 분해, 수집, 치환이 포함된다.
• 주어진 $\mathbb{R}$: 실수 집합은 물리적 연속체를 모델링하는 원시적이고 주어진 실체로 간주된다.
• 프라이링의 공리 ($A^{\text{null}}_N$): 이것이 핵심적인 혁신이다. 독립적인 확률 변수와 정보 유출을 배제하기 위한 상대성 이론을 포함하는 'dart-throwing (dart 던지기)' 사고 실험에 기반하여, 임의의 함수 $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$ (시퀀스를 영집합으로 매핑) 에 대해, 모든 $i$에 대해 $x_i \notin f(\sigma(i))$가 되는 독립적인 무작위 실수들의 시퀀스 $\{x_i\}$가 존재한다고 주장한다.
  • 결과: 이 공리는 비가산 선택 공리와 모순된다. 이는 $\mathbb{R}$이 잘 정렬될 수 없으며 연속체 가설이 거짓임을 의미한다.
• 종속 선택 (DC): 시스템은 베른하이스가 도입한 종속 선택 공리를 유지한다. 이는 대부분의 표준 해석학 (예: 베르 범주 정리, 극한의 존재) 에 충분하지만 완전한 AC 보다는 약하다.

2. 제안된 모델 ($M$):
저자들은 집합이 특정 순서수 $\alpha^*$까지 초한 귀납법을 통해 $\mathbb{N}$과 $\mathbb{R}$로부터 구성되는 모델 $M = L_{\alpha^*}(\mathbb{R})$을 구성한다.

• 구성: $L_0(\mathbb{R}) = \mathbb{R}$에서 시작하여, 정의 가능한 집합들을 반복적으로 구성한다.
• 한계 $\alpha^*$: 귀납은 $\mathbb{R}$의 새로운 부분집합이 생성되지 않는 첫 번째 '완전한 $\mathbb{R}$-허용 순서수' ($\alpha_{ZF^-}$) 에서 멈춘다. 이는 $L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$로 정의된다.
• 속성: 이 모델에서 모든 명제는 '근거 있는 진리 (ground truth)'를 갖는다. 이 모델은 $ZF^-$, DC, 그리고 프라이링의 공리를 만족한다. 그러한 모델의 존재는 ZFC 와 불가침 기수의 존재의 일관성으로부터 따라옴이 증명되었다.

3. 최소주의적 대안 (솔로베이 모델):
이 논문은 ZF 와 불가침 기수의 일관성을 가정하는 로버트 솔로베이의 모델에 기반한 '최소주의적' 기초도 논의한다.

• 구성: $\mathbb{R}$의 모든 부분집합이 르베그 가측이며 베르 성질을 갖는 가산 전이 모델이 구성된다.
• 완전성: 저자들은 '최소성 속성'과 일반적 집합 $G$를 포함하는 이론 $T^*$ (T 의 확장) 를 정의한다. 그들은 $T^*$의 두 잘 정립된 모델이 동일한 1 차 문장을 만족한다고 주장한다. 이는 대규범 기수와 비잘정립된 집합을 거부하는 핵심 수학자에게 괴델의 불완전성에 대한 해독제가 되는, 잘 정립된 모델에 대한 일종의 '완전성'을 제공한다.

주요 기여 및 결과

• 비가산 선택의 거부: 이 논문은 비가산 선택 공리를 프라이링의 확률적 공리 $A^{\text{null}}_N$으로 공식적으로 대체한다. 후자가 '현실 세계'에 더 직관적이며 비가측 집합의 구성을 피한다고 주장한다.
• 2 차 산술의 정제: 2 차 산술 ($Z_2$) 이 많은 해석학에 충분함을 인정하면서도, 저자들은 모든 보렐 집합의 집합이나 위상 공간을 직접 정의하는 데는 부족하다고 주장한다. 제안된 모델은 $\mathbb{R}$을 명시적으로 포함하고 $\alpha^*$까지의 구성을 허용함으로써 $Z_2$를 확장한다.
• 기수적 유보 상태: 이 논문은 모델의 독특한 특징을 강조한다: $\mathbb{R}$에서 첫 번째 비가산 순서수 $\omega_1$로의 전사가 존재하지만, 프라이링의 공리로 인해 전단사 함수는 존재하지 않는다. 따라서 $\omega_1$은 존재하지만 $\mathbb{R}$과의 명확한 기수 관계를 갖지 않으며, 표준 ZFC 와는 다른 '유보 상태 (limbo)'에 존재한다.
• 일관성 증명: 저자들은 그들의 공리가 불가침 기수의 존재에 상대적으로 일관됨을 증명한다. 그들은 솔로베이의 강제법 기법을 사용하여, ZFC + 불가침 기수가 일관되면 그들의 체계 $T$ (그리고 더 강력한 $T^*$) 도 일관됨을 보인다.

의의 및 주장
이 논문은 실수, 정수, 그리고 유도된 구조 (예: 해석학, 편미분 방정식, 반나흐 공간) 로 작업하는 '핵심 수학자'에게 특히 '더 나은 기초'를 제공한다고 주장한다.

• 명확성: 주장된 주요 의의는 모든 추측이 유일한 답을 갖는 '단단하고 고정된' 기초를 복원하여 집합론의 '다중우주'에 대응하는 것이다.
• 실재성: 무작위 변수의 물리적 직관 (프라이링의 공리) 과 $\mathbb{R}$의 주어진 성질에 기초를 두음으로써, 저자들은 그들의 기초가 완전한 ZFC 의 추상적이고 비구축적인 성격보다 수학 실습과 더 부합한다고 주장한다.
• 불완전성에 대한 해독제: '최소주의적' 기초 ($T^*$) 는 대규범 기수의 독립 현상을 피하면서도 실수에 대한 견고한 이론을 유지하려는 수학자들을 위한 해결책으로 제시된다.

저자들은 겸손하게도, 그들의 접근 방식은 불가침 기수의 일관성에 의존하며, 확률적 방법은 특정 대규범 기수 맥락에서 사영 집합의 가측성을 반증할 수도 있음을 지적한다. 그러나 그들은 그들의 체계가 방대한 수학 연구의 대부분을 위한 일관되고 논란의 여지가 없는 기초를 제공한다고 단언한다.