-
-
괴델의 증명 - 호프스태터가 서문을 쓰고 개정한
어니스트 네이글 외 지음, 곽강제.고중숙 옮김 / 승산 / 2010년 10월
평점 :
품절

괴델의 증명이 알려주는 가장 중요한 현실적 교훈은 과거의 논리학자의 수학자가 논리적 진리들과 수학적 진리들의 골리적 연역 체계에 걸었던 기대가 너무 지나치다는 사실과 종래의 공리적 방법보다 더 훌륭하게 진리들을 체계화하는 새로운 방법을 창조적으로 탐구해야 한다는 사실을 알 수 있습니다. '쿠르트 괴델'은 아리스토텔레스 이후 가장 위대한 논리학자로 꼽히며, 타임지가 선정한 '20세기 가장 영향력 있는 인물 100명'에 든 단 2명의 수학자 중 한 명이기도 합니다. 그의 주 연구 분야는 집한론, 수리논리학 뿐아니라 신학, 철학 등의 인문학과 인지과학, 우주론, 컴퓨터 과학까지 그 범위가 방대해서 다양한 분야의 학자들이 그에게 영향을 받고 연구하였다고 합니다.
p.39 19세기는 수학의 연구가 엄청나게 외적으로 확장되고 내적으로 강화된 시기였다. 예전의 수학자들이 최선의 노력을 했는데도 오랫동안 풀지 못했던 수많은 근본 문제가 해결도었고, 수학 연구의 새로운 영역들이 창시되었으며, 수학의 여러 분야의 토대가 새로이 마련되거나 훨씬 더 정밀한 분석 기법의 도움을 받아 완전히 개조되었다.
고대 그리그 수학자들은 초등기하학의 세 가지 작도 문제를 해결하려고 고심했었다. 그 세 가지 문제는 컴퍼스와 직선 자만을 사용해서 임의의 각을 삼등부하는 문제, 주어진 정육면테의 부피보다 2배의 부피를 갖는 정육면체를 작도하는 문제, 주어진 원의 넓이와 똑같은 넓이를 갖는 정사각형을 작도 하는 문제였다. 그후 2000년이 넘도록 수학자들은 이 세 문제를 해결하려고 노력했지만 성공하지 못하였다. 마침내 19세기에 이르러서야 수학자들은 이 세 가지 작도가 논리적으로 불가능하다는 것을 증명하였다.
p.149 우리가 수학적 증명 과정을 통해서 이해하는 것이 형식화된 공리적 방법을 활용하는 것과 일치하지 않는다는 결론에 도달하게 된다. 형식화된 공리적 절차는 출발에 앞서 미리 결정한 일련의 명확한 공리와 변형 규칙에 기초를 두고 있다. 괴델 자신의 논증이 보여준 바와 같이 이전의 어떤 제약도 수학자드리 증명을 위한 새로운 규칙을 고안하는 작업을 할 때 수학자들의 창의력을 제한할 수 없다. 따라서 타당한 수학적 증명의 정확한 논리적 형식에 대한 최종적인 설명은 있을 수 없다.
그동안 괴델에 관한 일반인을 대상으로 하는 교양서적이 부족한 편이어서 그의 위대한 업적이 보편적으로 알려지지는 않은 실정이었다고 합니다. 저는 서점에서 책을 보다가 우연히 눈에 띄어 구입해 읽게 된 책입니다. 이 책은 20세기 수학 기초이론의 핵심이 되고, 계산 가능성과 알고리즘이라는 개념으로 발전해 현대 컴퓨터 설계의 이론적 배경을 제공하는 괴델의 정리를 이해하기 쉽게 정리하였기 때문에 수학, 과학, 논리학, 철학을 연구하는 학자 뿐 아니라 일반 교양인들이 접근하기에 쉬운 책입니다.