폴 코언 강제법 연속체 가설 퀴즈

폴 코언이 개발한 강제법(Forcing)과 연속체 가설의 독립성 증명을 중심으로, ZFC 공리계·선택 공리·카디널리티 등 현대 집합론의 핵심 개념을 검증합니다. 수학 기초론이 어떻게 수학의 한계를 드러냈는지 20문제로 탐구합니다.

문제 1

폴 코언이 수학에 남긴 가장 중요한 업적은?

1

페르마의 마지막 정리를 최초로 증명한 것

2

무한 집합 이론과 기수 개념을 처음 창시한 것

3

연속체 가설의 독립성을 ZFC 공리계에서 증명한 것

4

수학의 불완전성 정리를 발견한 것

1 / 20