자료검색

호프스태터가 서문을 쓰고 개정한『괴델의 증명』. 이 책은 괴델의 증명에 담긴 핵심 아이디어와 광범위한 내용에 관해서 학자와 비전문가 모두 이해할 수 있도록 설명해주는 최초의 책이다. 또 수학과 논리학, 철학을 관통하는 주제에 관심이 있지만 너무나 난해하여 접근할 수 없었던 지성인에게 나아갈 길을 알려주는 탁월한 안내서이다. 미국의 인지과학자 더글러스 호프스태터는 서문에서 괴델의 증명에 담긴 핵심적 내용과 이 증명이 왜 오늘날에도 의미가 있는지를 설명했다.

개정판 서문 9
감사의 말 24
옮긴이의 말 25

Ⅰ. 머리말 33
Ⅱ. 정합성 문제 39
Ⅲ. 정합성에 대한 절대적 증명 59
Ⅳ. 형식 논리학의 형식적 연역 체계화 72
Ⅴ. 정합성에 대한 절대적 증명의 성공 사례 81
Ⅵ. 사상 개념과 수학에서의 응용 95
Ⅶ. 괴델의 증명 107
1. 괴델 수 붙이기 107
2. 상위 수학의 산술학화 120
3. 괴델의 논증의 핵심 주장 131
Ⅷ. 마무리 성찰 148

부록 몇 가지 보충 설명 153
참고 문헌 167
찾아 보기 168