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