괴델의 불완전성 정리: 수학의 한계를 증명하다

How Gödel's Proof Works (2020)

1931년, 25세의 오스트리아 논리학자 쿠르트 괴델은 수학의 기초를 무너뜨리는 충격적인 정리를 발표했습니다. 그는 어떤 공리계도 완전할 수 없으며, 자신의 무모순성을 증명할 수 없음을 보였습니다. 이 기사는 괴델 수(Gödel numbering)와 자기 언급(self-reference)을 이용한 증명의 핵심을 단계별로 설명하며, 연속체 가설과 정지 문제 같은 결정 불가능한 문제들이 어떻게 그의 정리에서 비롯되었는지 조명합니다.