- 도서명괴델의 증명 - 호프스태터가 서문을 쓰고 개정한
- 지음/옮김더글러스 호프스태터, 어니스트 네이글, 제임스 뉴먼 (지은이), 고중숙, 곽강제 (옮긴이)
- 주제 분류국내도서>과학>수학>쉽게 배우는 수학
- 책소개괴델의 불완전성 정리를 풀어 쓴 <괴델의 증명> 을 호프스태터가 개정한 책으로, 원본을 현대적으로 새롭게 재편하고 확장하여 괴델의 증명에 내포된 핵심 아이디어를 쉽게 이해하도록 하였다. 호프스태터는 개정판을 검토하면서 초판 이후의 발전을 반영하고 모호한 논점을 명료하게 서술하여 이전보다 훨씬 편하게 읽으면서도 깊이 이해할 수 있도록 가다듬었다.
