출처와 집필 원칙

이 책은 사용자의 요청에 따라 AI의 도움으로 새로 작성한 한국어 교양서다. 더글러스 호프스태터의 『Gödel, Escher, Bach』 번역·축약본이나 공인 해설서가 아니다. 원서 EPUB의 본문·대화·퍼즐·그림을 추출하거나 재현하지 않았다. 점의 도시, 네 장소의 높이, 독서와 지도 등의 설명은 이 글을 위해 구성했다.

수학의 정의와 정리를 설명하는 부분, 증명 구조를 줄여 보여 주는 부분, 예술적 비유와 철학적 논의를 구별했다. 특히 23장의 보통의 괴델 문장 설명에서는 부정의 비증명가능성에 충분한 건전성 가정을 사용한다. 단순 무모순성 아래의 제1 정리는 로서의 강화와 구별한다. 이 책은 완전한 형식 증명이나 의식에 관한 확정 이론을 제시하지 않는다.

수학과 계산

• Herbert B. Enderton, A Mathematical Introduction to Logic, 2판, Academic Press, 2001. 구문·의미, 산술화, 불완전성에 관한 전문적 배경 문헌. 집필 시 저장소의 수리논리 위키에서 정리의 조건과 증명 구조를 대조했다.
• Robert I. Soare, Turing Computability: Theory and Applications, Springer, 2016. 계산가능성·정지문제·환원의 전문적 배경 문헌. 저장소 위키의 정지문제 논증 및 출처 연결을 확인했다.
• Alan M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (1936). 17장의 계산 모델 설명에 관련된 원 논문. 18장은 현대적인 프로그램 정지문제로 다시 서술한 독자적 설명이다.
• Institute for Advanced Study: Kurt Gödel. 괴델과 불완전성 정리에 관한 기관 소개. 정리의 세부 가정은 이 짧은 소개만으로 대신하지 않았다.

에셔와 바흐

• Museum Escher in The Palace: Relativity. 6장의 작품명, 1953년 제작 및 여러 관점의 결합에 관한 사실을 확인했다. 작품 이미지는 본문에 복제하지 않았다.
• Staatstheater Darmstadt: Musikalisches Opfer, BWV 1079. 12장의 작품 명칭과 맥락을 확인하는 연주 기관 자료. 특정 현대 악보·녹음은 포함하지 않았다.
• 바흐 『음악의 헌정』 악보 자료 안내. 추가 감상을 위한 작품 자료 연결. 본문의 카논·푸가 설명은 특정 분석 문헌의 줄거리나 문장을 재현하지 않는다.

마음과 의미

• Stevan Harnad, The Symbol Grounding Problem (1990). 28장의 기호 정초 문제에 관련된 원 논문. 그 논문의 해결 제안을 확정된 의식 이론으로 채택하지 않았다.

자료 확인: 2026년 9월 8일. 웹과 전자책의 페이지 수는 글꼴·화면·읽기 설정에 따라 바뀐다. 제공 PDF의 쪽수는 실제 조판된 파일의 쪽수를 기준으로 한다. 읽기 진행률은 내용 이해도 측정이 아니라 본문 위치 표시다.

독서 화면으로 돌아가기