인문
『괴델, 에셔, 바흐』, 연결의 논리를 따라가다
백시온
지평문고
0 (0명)
2명이 읽었어요
유료 작품은 원스토리 앱에서 이용 할 수 있어요.
- 소장
- 11,500 ⓒ
| 듣기기능 | TTS지원 | 파일정보 | EPUB |
|---|---|---|---|
| 총 용량 | 46.7MB | 이용기기 | |
| ISBN | 9791124976371 | ||
책 소개
수학, 음악, 그림, 언어가 뒤섞인 『괴델, 에셔, 바흐』를 난해한 천재성의 상징이 아니라 연결 규칙의 책으로 읽는다. 형식 체계, 재귀, 자기지시, 비유, 층위의 이동이 어떻게 의식이라는 질문으로 이어지는지 단계별로 추적한다.
구성은 「세 갈래가 한 책에서 만나는 방식」에서 출발해 「형식 체계는 규칙으로 움직인다」, 「기호 조작과 의미는 어디서 만나는가」를 거치고, 후반부의 「증명과 비유를 같은 무게로 읽지 않기」와 「연결의 논리를 독립 실험으로 옮기기」까지 이어진다. 각 장은 실제 원고의 절 구조를 따라 개념, 사례, 반례와 적용 조건을 분리해 살피며 한 장면의 인상을 전체 결론으로 확대하지 않도록 질문의 순서를 세운다.
우리는 이 기호열을 보자마자 둘 더하기 둘은 넷이라는 산술의 의미를 읽는다. 그러나 규칙 자체에는 ‘둘’, ‘더하기’, ‘넷’이라는 말이 없다. 규칙은 어느 위치에 세로선을 붙일지, 문장의 모양을 어떻게 바꿀지만 정한다. 기호의 뜻을 모르는 사람도 규칙표만 정확히 따르면 새로운 문장을 만들 수 있다. 그 사람이 산술을 이해한다고 말할 수 있는지는 별개의 문제다.
여기서 첫 번째 갈림길이 생긴다. 형식 체계의 내부에서는 어떤 문자열이 출발 문장과 규칙으로부터 만들어질 수 있는지가 중요하다. 외부의 독자는 그 문자열을 자연수의 덧셈으로 해석한다. 내부의 생성 가능성과 외부의 의미 해석은 긴밀하게 연결될 수 있지만 같은 것은 아니다. 이 구분을 놓치면 ‘기호를 다룬다’는 사실만으로 ‘뜻을 안다’고 결론 내리거나, 반대로 의미를 해석하는 존재가 있다는 이유만으로 규칙의 엄밀성을 가볍게 보게 된다.
잠시 해석을 바꾸어 보자. 세로선을 한 걸음, 더하기 표시를 두 경로의 합류, 등호를 도착점의 일치라고 읽을 수도 있다. 그러면 || + | = |||은 두 걸음을 간 뒤 한 걸음을 더 가면 세 걸음의 위치에 도착한다는 말처럼 보인다. 규칙은 그대로인데 의미가 달라졌다. 이 해석도 구조를 어느 정도 보존한다. 그러나 모든 해석이 똑같이 좋은 것은 아니다. 규칙으로 생성되는 문장 전체와 안정적으로 맞물리는지, 예외가 생기지 않는지, 무엇을 설명하고 무엇을 숨기는지 확인해야 한다.
책의 압도적인 분량보다 개념 사이의 다리를 먼저 보고 싶은 독자에게 좋은 길잡이가 된다. 읽은 뒤에는 핵심 개념이나 신호를 외우는 데서 멈추지 않고, 실제 자료와 상황을 만났을 때 무엇을 먼저 확인하고 어떤 조건에서 판단을 보류하거나 수정해야 하는지 스스로 점검할 수 있다.
구성은 「세 갈래가 한 책에서 만나는 방식」에서 출발해 「형식 체계는 규칙으로 움직인다」, 「기호 조작과 의미는 어디서 만나는가」를 거치고, 후반부의 「증명과 비유를 같은 무게로 읽지 않기」와 「연결의 논리를 독립 실험으로 옮기기」까지 이어진다. 각 장은 실제 원고의 절 구조를 따라 개념, 사례, 반례와 적용 조건을 분리해 살피며 한 장면의 인상을 전체 결론으로 확대하지 않도록 질문의 순서를 세운다.
우리는 이 기호열을 보자마자 둘 더하기 둘은 넷이라는 산술의 의미를 읽는다. 그러나 규칙 자체에는 ‘둘’, ‘더하기’, ‘넷’이라는 말이 없다. 규칙은 어느 위치에 세로선을 붙일지, 문장의 모양을 어떻게 바꿀지만 정한다. 기호의 뜻을 모르는 사람도 규칙표만 정확히 따르면 새로운 문장을 만들 수 있다. 그 사람이 산술을 이해한다고 말할 수 있는지는 별개의 문제다.
여기서 첫 번째 갈림길이 생긴다. 형식 체계의 내부에서는 어떤 문자열이 출발 문장과 규칙으로부터 만들어질 수 있는지가 중요하다. 외부의 독자는 그 문자열을 자연수의 덧셈으로 해석한다. 내부의 생성 가능성과 외부의 의미 해석은 긴밀하게 연결될 수 있지만 같은 것은 아니다. 이 구분을 놓치면 ‘기호를 다룬다’는 사실만으로 ‘뜻을 안다’고 결론 내리거나, 반대로 의미를 해석하는 존재가 있다는 이유만으로 규칙의 엄밀성을 가볍게 보게 된다.
잠시 해석을 바꾸어 보자. 세로선을 한 걸음, 더하기 표시를 두 경로의 합류, 등호를 도착점의 일치라고 읽을 수도 있다. 그러면 || + | = |||은 두 걸음을 간 뒤 한 걸음을 더 가면 세 걸음의 위치에 도착한다는 말처럼 보인다. 규칙은 그대로인데 의미가 달라졌다. 이 해석도 구조를 어느 정도 보존한다. 그러나 모든 해석이 똑같이 좋은 것은 아니다. 규칙으로 생성되는 문장 전체와 안정적으로 맞물리는지, 예외가 생기지 않는지, 무엇을 설명하고 무엇을 숨기는지 확인해야 한다.
책의 압도적인 분량보다 개념 사이의 다리를 먼저 보고 싶은 독자에게 좋은 길잡이가 된다. 읽은 뒤에는 핵심 개념이나 신호를 외우는 데서 멈추지 않고, 실제 자료와 상황을 만났을 때 무엇을 먼저 확인하고 어떤 조건에서 판단을 보류하거나 수정해야 하는지 스스로 점검할 수 있다.
목차
프롤로그. 기호가 아직 아무 뜻도 갖지 않을 때
제1장. 세 갈래가 한 책에서 만나는 방식
제1절. 괴델·에셔·바흐의 서로 다른 매체
제2절. 장과 대화의 구조
제3절. 연결을 논증으로 착각하지 않기
제2장. 형식 체계는 규칙으로 움직인다
제1절. 기호와 문법
제2절. 공리와 추론
제3절. 의미를 잠시 보류하기
제3장. 기호 조작과 의미는 어디서 만나는가
제1절. 구문과 의미
제2절. 해석의 층위
제3절. 외부 독자의 역할
제4장. 괴델 정리의 문턱
제1절. 완전성·일관성의 구분
제2절. 산술화의 아이디어
제3절. 대중적 과장 경계
제5장. 자기지시는 어떻게 만들어지는가
제1절. 이름 붙이기와 부호화
제2절. 문장이 자신을 가리키는 구조
제3절. 역설과 정리의 차이
제6장. 재귀는 같은 것을 반복하지 않는다
제1절. 기본 단계
제2절. 자기호출과 층위
제3절. 무한 반복과의 구분
제7장. 메타 수준이 바뀌는 순간
제1절. 대상언어와 메타언어
제2절. 규칙을 말하는 규칙
제3절. 층위 혼동
제8장. 에셔의 그림이 논증을 돕는 방식
제1절. 시각적 불가능성
제2절. 관찰자의 위치
제3절. 도판 복제 없이 구조 설명
제9장. 바흐의 음악이 돌아오는 방식
제1절. 캐논과 푸가의 원리
제2절. 변주와 회귀
제3절. 악보 복제 없이 듣기 구조
제10장. 대화 형식은 왜 필요한가
제1절. 등장인물과 논쟁
제2절. 형식이 내용에 주는 압력
제3절. 원전 대화 모사 금지
제11장. 동형은 닮음보다 엄격하다
제1절. 구조 보존
제2절. 대응 관계
제3절. 비유와 동형의 경계
제12장. 이상한 고리는 위계를 접는다
제1절. 위아래 층위
제2절. 되먹임과 자아
제3절. 은유의 설명력
제13장. 마음을 기호 체계로 볼 수 있는가
제1절. 표상과 처리
제2절. 창발과 환원
제3절. 인간 이해의 남는 부분
제14장. 인공지능 논의의 역사적 자리
제1절. 당시의 AI 문제
제2절. 오늘의 기술과 거리
제3절. 현재 성능을 원전 주장으로 덮지 않기
제15장. 증명과 비유를 같은 무게로 읽지 않기
제1절. 수학적 명제
제2절. 철학적 추론
제3절. 예술적 연결
제16장. 연결의 논리를 독립 실험으로 옮기기
제1절. 작은 형식 체계
제2절. 자기지시 가능 범위
제3절. 논증·비유 구분표
에필로그. 질문을 결과물로 남기는 마지막 판단
참고문헌
제1장. 세 갈래가 한 책에서 만나는 방식
제1절. 괴델·에셔·바흐의 서로 다른 매체
제2절. 장과 대화의 구조
제3절. 연결을 논증으로 착각하지 않기
제2장. 형식 체계는 규칙으로 움직인다
제1절. 기호와 문법
제2절. 공리와 추론
제3절. 의미를 잠시 보류하기
제3장. 기호 조작과 의미는 어디서 만나는가
제1절. 구문과 의미
제2절. 해석의 층위
제3절. 외부 독자의 역할
제4장. 괴델 정리의 문턱
제1절. 완전성·일관성의 구분
제2절. 산술화의 아이디어
제3절. 대중적 과장 경계
제5장. 자기지시는 어떻게 만들어지는가
제1절. 이름 붙이기와 부호화
제2절. 문장이 자신을 가리키는 구조
제3절. 역설과 정리의 차이
제6장. 재귀는 같은 것을 반복하지 않는다
제1절. 기본 단계
제2절. 자기호출과 층위
제3절. 무한 반복과의 구분
제7장. 메타 수준이 바뀌는 순간
제1절. 대상언어와 메타언어
제2절. 규칙을 말하는 규칙
제3절. 층위 혼동
제8장. 에셔의 그림이 논증을 돕는 방식
제1절. 시각적 불가능성
제2절. 관찰자의 위치
제3절. 도판 복제 없이 구조 설명
제9장. 바흐의 음악이 돌아오는 방식
제1절. 캐논과 푸가의 원리
제2절. 변주와 회귀
제3절. 악보 복제 없이 듣기 구조
제10장. 대화 형식은 왜 필요한가
제1절. 등장인물과 논쟁
제2절. 형식이 내용에 주는 압력
제3절. 원전 대화 모사 금지
제11장. 동형은 닮음보다 엄격하다
제1절. 구조 보존
제2절. 대응 관계
제3절. 비유와 동형의 경계
제12장. 이상한 고리는 위계를 접는다
제1절. 위아래 층위
제2절. 되먹임과 자아
제3절. 은유의 설명력
제13장. 마음을 기호 체계로 볼 수 있는가
제1절. 표상과 처리
제2절. 창발과 환원
제3절. 인간 이해의 남는 부분
제14장. 인공지능 논의의 역사적 자리
제1절. 당시의 AI 문제
제2절. 오늘의 기술과 거리
제3절. 현재 성능을 원전 주장으로 덮지 않기
제15장. 증명과 비유를 같은 무게로 읽지 않기
제1절. 수학적 명제
제2절. 철학적 추론
제3절. 예술적 연결
제16장. 연결의 논리를 독립 실험으로 옮기기
제1절. 작은 형식 체계
제2절. 자기지시 가능 범위
제3절. 논증·비유 구분표
에필로그. 질문을 결과물로 남기는 마지막 판단
참고문헌