목차
들어서면서 = 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
들어서면서 = 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