이성(理性)의 한계: 괴델이 발견한 논리의 그늘
Academic Navigation 00. 몬이 샘의 서문: 이 문장은 거짓이다 - 논리의 뫼비우스 띠 01. 힐베르트의 꿈: 완벽한 수학적 낙원 건설의 시도 02. 제1·2 정리: 증명할 수 없으나 참인 명제의 존재 03. 결론: 한계를 인정함으로써 얻은 자유 MATHEMATICAL STRUCTURE ARCHIVE 이성(理性)의 한계 : 괴델이 발견한 논리의 그늘 The Architecture of Truth Beyond Proof [10년 차 몬이 샘의 사유: 크레타 사람의 거짓말] "선생님, 모든 진리는 반드시 증명할 수 있어야 하나요?" 날카로운 질문을 던지는 아이에게 저는 고전적인 역설 하나를 들려주었습니다. "얘들아, 만약 내가 '이 문장은 거짓이다'라고 말한다면, 이 말은 참일까 거짓일까? 참이라고 하면 문장 내용대로 거짓이 되고, 거짓이라고 하면 말이 반대가 되어 참이 되어버리지. 논리가 자기 자신을 가리킬 때 생기는 이 꼬임 현상이 수학의 가장 깊은 곳에도 있단다. 20세기 천재 괴델은 아무리 완벽한 수학적 성벽을 쌓아도, 그 성벽 안에는 '맞는 말이지만 증명은 불가능한' 신비로운 명제가 반드시 존재한다는 걸 증명해버렸어. 수학이 완벽하지 않다는 걸 수학적으로 증명한 셈이지." 완벽함에 대한 환상을 깨고 진리의 더 깊은 층위를 마주하는 순간. 괴델의 정리는 우리에게 지적인 겸손과 동시에 무한한 상상력을 선물합니다. I. 힐베르트의 꿈: 우리는 알아야만 하고, 알게 될 것...