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