괴델, 에셔, 바흐 : 영원한 황금 노끈

(Godel, Escher, Bach ; an Eternal Golden Braid )

괴델, 에셔, 바흐 : Douglas Hofstadter 저서, 박여성 옮김, 까치, 1999 (원서 : Godel, Escher, Bach : an Ethernal Golden Braid, Harper-Collins Pub, 1979)

《괴델, 에셔, 바흐 Gödel, Escher, Bach : Eternal Golden Braid》는 1979 년 미국에서 간행되었고 그 다음 해에 비소설부문의 퓰리처상을 수상하는 호프스태터의 역저다. 이 책에서 저자가 설명하고 설득하려 하는 아이디어는 매우 많다. 무려 750 쪽이나 되는 방대한 책이니 많은 얘기를 담고 있다는 건 당연한 일이겠다. 그러나 이책의 주된 줄거리는 역시 수리논리학의 재귀이론 (recursion theory) 또는 회귀함수론 (recursive function theory) 이다. 이 책에서 우리는 '형식체계 (formal system)' 의 기본개념들로부터 시작해서 20 세기 수리논리학의 꽃이라 할 '괴델 정리 (Gödel Theorem)' 에 이르기까지 회귀이론의 줄거리에 대햐여 정확하고도 친절한, 게다가 흥미만점의 안내자를 만날 수 있다.

term :

괴델, 에셔, 바흐 (Godel, Escher, Bach)    Douglas Hofstadter      Kurt Gödel      M.C. Escher      Johann Sebastian Bach     재귀 (Recursion)      카오스 (Chaos)   나비효과 (Butterfly effect)   두뇌 (Brain)   마음 (Mind)   신경망 (Neural Network)   예측 (Prediciton)   인공지능 (Artificial Intelligence)   컴퓨터 (Computer)   프랙탈 (Fractal)   출현 (Emergence)   복잡계 (Complex System)    물리학 (Physics)    

paper :

괴델, 에셔, 바흐 : 민찬홍  과학사상 :

site :

Wikipedia : Godel, Escher, Bach

video :

양자 역학이 본 복잡한 세계의 단순성 : YTN 사이언스 : 김필립, 2013/08/04

MIT Lecture : Godel, Escher, Bach ; an Eternal Golden Braid : 2010/07/29 ... Playlist 7

제 1 부 : GEB

서론 : 음악 - 논리학의 헌정

제 1 장  MU-수수께끼

제 2 장  수학에서의 의미와 형식

제 3 장  전경과 배경

제 4 장  무모순성, 완전성 그리고 기하학

제 5 장  재귀적인 구조와 재귀순환적인 과정

제 6 장  의미는 어디에 자리잡고 있는가?

제 7 장  명제계산

제 8 장  활자형 수론

제 9 장  무몬과 괴델

제 2 부 : EGB

제 10 장  기술층위와 컴퓨터 체계

제 11 장  두뇌와 사고

제 12 장  정신과 사고

제 13 장  Bloop 과 Floop 과 Gloop

제 14 장  TNT 및 그것과 연관된 체계들의 형식적으로 결정 불가능한 명제

제 15 장  체계로부터 벗어나기

제 16 장  재귀-준거와 재귀-증식

제 17 장  처치, 튜링, 타르스키 등

제 18 장  인공지능 : 회고

제 19 장  인공지능 : 전망

제 20 장  이상한 고리 또는 헝클어진 위계질서