[논문 리뷰] The origins and legacy of Kolmogorov's Grundbegriffe

Glenn Shafer, Vladimir Vovk|arXiv (Cornell University)|2018. 02. 05.

Probability and Statistical Research참고 문헌 180인용 수 20

한 줄 요약

이 논문은 콜모고로프의 1933년 *Grundbegriffe*의 지적 기원과 지속적인 영향을 추적하며, 보렐, 프레셰, 레비 등이 이룩한 측도 이론과 확률론의 기초에 대한 이전 연구를 엄밀한 공리적 프레임워크로 통합한 방식을 보여준다. 주요 기여는 콜모고로프의 형식주의가 갑작스러운 혁신이 아니라 수십 년에 걸친 기초적 발전의 정점이었음을 입증하는 데 있다. 그의 빈도주의 철학은 추상적 수학과 경험적 현실 사이의 핵심 연결고리로 작용한다.

ABSTRACT

April 25, 2003, marked the 100th anniversary of the birth of Andrei Nikolaevich Kolmogorov, the twentieth century's foremost contributor to the mathematical and philosophical foundations of probability. The year 2003 was also the 70th anniversary of the publication of Kolmogorov's Grundbegriffe der Wahrscheinlichkeitsrechnung. Kolmogorov's Grundbegriffe put probability's modern mathematical formalism in place. It also provided a philosophy of probability - an explanation of how the formalism can be connected to the world of experience. In this article, we examine the sources of these two aspects of the Grundbegriffe - the work of the earlier scholars whose ideas Kolmogorov synthesized.

연구 동기 및 목표

• 1900년에서 1930년 사이에 확률론의 역사적 발전을 재구성하여, 콜모고로프의 공리적 체계로 이르는 데 기여한 아이디어의 통합을 중점적으로 다룬다.
• 콜모고로프의 *Grundbegriffe*에서의 형식주의가 보렐, 프레셰, 레비, 폰 밀레스 등 이전 학자들의 기여를 어떻게 바탕으로 삼고 체계화했는지 명확히 한다.
• 콜모고로프의 철학적 입장을, 특히 그의 빈도주의 해석을 중심으로 하여 추상적 공리와 실제 응용 사이의 연결고리로 강조한다.
• 콜모고로프의 공리화가 새로운 방식으로 등장한 것이 아니라, 측도 이론과 확률론 분야의 지적 유산과 이전 발전을 문서화하여, 이를 통해 잘못된 인식을 바로잡는다.
• 현대 수학적 성공으로 인해 이론의 경험적 기반을 가려보기 쉬운 상황 속에서, 확률론의 철학적 기초를 재확인할 필요성을 재확인한다.

제안 방법

• 보렐, 프레셰, 레비, 콜모고로프 등의 핵심 인물들로부터의 원천 자료, 특히 그들의 저술과 기록 보존 자료를 분석한다.
• 측도 이론이 분석 분야에 처음 응용된 이후로 확률론과의 통합 과정, 특히 가чёт한 가환성의 도입을 통해 어떻게 발전해 왔는지 추적한다.
• 코르누의 원칙이 수학적 확률과 경험적 빈도 사이를 연결하는 데서 차지하는 역할을 분석하며, 이는 콜모고로프의 철학적 프레임워크의 중심 주제이다.
• 예를 들어, 1을 기준으로 한 회전에 대한 궤도에 의해 생성된 불변 σ-대칭을 통해, 비가чёт한 생성이 되는 σ-대칭에서 조건부 확률의 한계를 설명한다.
• 루진의 정리를 적용하여 유계 보렐 함수를 연속 함수로 근사함으로써, 가чёт한 생성이 없는 상황에서 조건부 기대값의 성질을 증명할 수 있도록 한다.
• 콜모고로프가 1939년 프레셰에게 보낸 편지를 근거로, 형식적 공리가 수학적 일관성 이상으로 실제 세계의 의미를 기반으로 해야 한다는 그의 확고한 신념을 강조한다.

실험 결과

연구 질문

• RQ1 콜모고로프의 1933년 *Grundbegriffe*의 주요 지적 선구자들은 누구였으며, 그들이 공리적 구조에 어떻게 영향을 주었는가?
• RQ2 보렐이 1909년에 도입한 가чёт한 가환성의 통합이 어떻게 현대 확률론의 체계화를 가능하게 했는가?
• RQ3 콜모고로프의 빈도주의 철학, 즉 그의 편지와 *Grundbegriffe*에서 표현된 바는 추상적 측도 이론과 경험적 현상 사이의 간극을 어떻게 메웠는가?
• RQ4 무리수 모듈로 1에 대한 점의 궤도에 의해 생성된 σ-대칭이 조건부 확률의 한계를 이해하는 데 핵심적인 이유는 무엇인가?
• RQ5 프레셰, 칸텔리, 스텐하우스 등 다른 학자들의 기여가 *Grundbegriffe*의 가능성을 마련했지만, 현대적 서술에서는 거의 무시당한 바가 있는데, 이러한 기여는 어떻게 통합되었는가?

주요 결과

• 콜모고로프의 *Grundbegriffe*는 보렐, 프레셰, 레비 등이 이룩한 수십 년에 걸친 기초적 연구의 정점이었으며, 특히 가чёт한 가환성의 확률론에의 통합이 핵심이었다.
• 보렐이 1909년에 도입한 가чёт한 가환성은 강력한 대수의 법칙의 엄밀한 증명과 현대 확률론의 체계화를 가능하게 한 결정적 순간이었다.
• 콜모고로프의 *Grundbegriffe*에서 두 페이지에 걸친 철학적 논의는 형식적 공리가 경험적 현실과 연결되어야 한다는 필요성을 강조하였으며, 이는 그의 빈도주의적 입장을 반영하고 실제 적용 가능성에 대한 우려를 드러낸다.
• 무리수 모듈로 1에 대한 점의 궤도에 의해 생성된 σ-대칭은 가чёт하게 생성되지 않으며, 이는 조건부 확률에서 병리적인 행동을 유도한다. 예를 들어, 확률이 0인 집합을 조건으로 삼더라도 조건부 분포가 균일해지는 경우가 발생한다.
• 이러한 병리적 행동은, 가чёт한 생성 조건이 충족될 경우에만 잘 동작하는 조건부 확률의 성질을 보장하는 로저스와 윌리엄스의 정리 II.(89.1)이 일반적으로 적용되지 않음을 보여주며, 이는 이론에 잠재된 미묘하지만 중요한 한계를 드러낸다.
• 콜모고로프의 공리가 수학적으로 성공한 데도 불구하고, 많은 현대 수학자들은 그의 철학적 기초와 경험적 기반에 관심을 잃어가고 있다. 1963년 콜모고로프 자신이 이를 애도한 바 있듯이, 이는 확률론과 현실 사이의 연결고리를 다시 주목해야 한다는 필요성을 강조한다.