들어서면서 ... 15
망명객들 ... 15
제1장 실증주의자들 중의 플라톤주의자
   첫사랑 ... 59
   혼돈의 과거를 벗어나 새 터전을 찾는 도시 ... 75
   빈서클 ... 81
   빈서클의 주역들 ... 88
   재선포: 인간은 만물의 척도 ... 93
   비트겐슈타인과 빈서클 ... 99
   말할 수 없는 것 ... 113
   빈서클의 괴델: 침묵의 반대자 ... 120
   괴델과 비트겐슈타인 ... 124
제2장 힐베르트와 형식주의자들
   수학자의 직관 ... 135
   형식화되는 수학 ... 151
   힐베르트의 둘째 문제: 산술의 무모순성(있을 수 없는 가장 중요한 증명) ... 155
제3장 불완전성의 증명
   쾨니히스베르크의 괴델 ... 163
   간과된 괴델의 위대한 첫 순간: 사소하지 않은 사소함 ... 166
   가장 조용한 폭발: 괴델이 그의 결과를 발표하다 ... 171
   폰 노이만이 암시를 붙잡다 ... 178
   제1불완전성정리: 전반적 전략 ... 182
   제1단계: 형식체계의 수립 ... 186
   제2단계: 괴델기수법 ... 187
   제3단계: 증명불능이라 하기 때문에 참인 명제 만들기 ... 195
   제2불완전성정리 ... 202
   비트겐슈타인과 불완전성 ... 207
   퍼져 가는 불완전성 ... 213
제4장 괴델의 불완전성
   홍학 ... 227
   커피가 맛을 잃다 ... 240
   구제불능의 논리 ... 256
   "나는 부정적 결정밖에 할 수 없다" ... 268
   불완전성(모두 다시 한 번) ... 277
참조 자료 ... 286
참고 문헌 ... 303
감사의 글 ... 308
옮긴이의 글 ... 310
찾아보기 ... 322