1931년, 당시 24세였던 '쿠르트 궤델(독일어: Kurt Gödel, 1906~1978)'은 '불완전성 정리(Incompleteness Theorems)'를 내밀어 수학계를 충격에 빠뜨렸다. 수학의 불완전함을 나타내는 '불완전성 정리'는 '수학적 증명이 불가능한 것은 없다'는 당대 분위기를 반전시켰다. 원자 폭탄을 개발한 주도한 이론 물리학자 '로버트 오펜하이머(Robert Oppenheimer, 1904~1967)'는 '불완전성 정리'에 대해 "인간의 이성 일반에서의 한계를 밝혀냈다."라고 평했다. '불완전성 정리'는 수학뿐만 아니라, 인간이 구축하는 어떤 시스템도 불완전하다고 제시한 것이다. '불완전성 정리'가 제시하는 '불완전(Incompleteness)'이란 무엇을 의미하는 것일까? 그리고 '..