"수학이란 결국 사상(思想)이다"

인간이 추구하는 논리의 한계를 논리적으로 증명, 인간 인식에 한계가 있다

이 책은 20세기에 출현한 천재와 그 혁명적 이론 중에서도 두드러진 광채(光彩)를 내고 있는 괴델과 그 불완전성 정리를 다뤘다. 「불완전성 정리」라는 이름은 수학을 좋아하는 사람은 물론이고 20세기의 사상에 조금이라도 흥미가 있는 사람이면 이공계, 인문계를 불문하고 누구나가 한 번은 언뜻 들었을 것으로 생각한다.

그러나 그 내용이 무엇일지에 대해 생각하면 대부분의 사람이 애매한 대답밖에는 할 수 없을 것이다. '어차피 어려운 이론일 테니까 몰라도 되겠지'라고 처음부터 체념하고 있는 사람도 있을지 모른다. 그러나 이 정리의 증명에 대한 아이디어 자체는 매우 단순하고 명쾌한 것이고 말끔히 설명하면 중학생도 이해할 수 있는 것이다. 이 책에서는 실제로 그러한 설명을 시도해 보았다.

괴델의 불완전성 정리의 참된 의의를 파악하기 위해서는 증명의 이해는 말할 것도 없지만 그것 이상으로 19세기 말부터 20세기 초엽에 이르는 수학사(數學{史)의 흐름을 파악해 두는 것이 중요하다고 생각한다. 이 흐름 속에 위치 부여를 함으로써 비로소 불완전성 정리가 출현한 필연성과 그 전모를 바르게 파악할 수 있는 것이다.

그래서 이 책의 I부에서는 칸토어(Cantor) 이후 현대 수학의 발자취가 어떻게 해서 괴델이라는 '특이점(特異써)'으로 수렴하는지를 문제의식과 시대 상황을 교착(交錯)시키면서 상세히 추적하고 있다. 이 부분은 정리된 책이 적은 만큼 이 책만의 장점이 될 것이다.