위대한 수학문제들 - 골드바흐 추측에서 질량간극 가설까지 한 권으로 읽는 최강의 수학난제
- 저자
- 이언 스튜어트
- 출판사
- 반니
- 출판일
- 2013-12-19
- 등록일
- 2014-02-06
- 파일포맷
- EPUB
- 파일크기
- 51KB
- 공급사
- 우리전자책
- 지원기기
- PC 프로그램 수동설치 뷰어프로그램 설치 안내
책소개
수학사를 뒤흔든 14가지 난제에 대한 친절한 안내서！
위대한 문제란 탐험에 필요한 에너지를 효율적으로 생성하는 도구입니다. 그 에너지는 결국 광대한 수학적 지형에 대한 우리의 이해를 넓히고 강화하는 강력한 이론으로 모습을 드러냅니다.
-김민형（옥스퍼드대학교 수학과 교수）
지난 4월, 흥미로운 뉴스가 지면을 장식했다. 물리학자인 건국대 조용민 교수가 20세기 세계 수학계 7대 난제 중 하나인 ‘양-밀스 이론과 질량간극 가설’의 해법을 찾았다는 보도였다. 이 가설은 무려 100만 달러의 상금이 걸려 있을 정도로 대표적인 수학계의 난제로 꼽히고 있었는데, 우리나라 학자가 그 해법을 찾았다는 것이다. 수학적인 견해와 물리학적인 견해의 차이, 그리고 ‘풀었다.’라는 말을 쓸 수 있는지에 대한 논쟁이 이어지긴 했지만 이로 인해 현대 수학으로도 해법을 찾지 못한 여러 난제가 있다는 것이 대중들의 이목을 끄는 계기가 되었다.
도대체 얼마나 어려운 문제이기에 ‘난제’라는 표현을 쓰는 것일까？ 사실 현대 수학이 아직 해결하지 못한 난제는 제법 많은데, 그중 유명한 것이 바로 ‘세계 7대 난제’로 꼽히는 7가지이다. 이 7대 난제는 지난 2000년 미국의 ‘클레이 수학 연구소（Clay Mathematics Institute, CMI）’에서 선정해 발표한 것으로, P／NP 문제, 호지 추측, 푸앵카레 추측, 리만 가설, 양-밀스 이론과 질량간극 가설, 나비에-스토크스 방정식, 버츠-스위너튼-다이어 추측 등을 말한다. 클레이 수학 연구소에서는 ‘새천년 문제（밀레니엄 난제）’라고도 불리는 이 7대 난제에 각기 100만 달러씩의 상금을 내걸고 학자들의 도전을 기다렸는데, 아직까지 해법이 공식화된 것은 푸앵카레 추측 하나뿐이다.
천재 수학자들조차 풀지 못해 끙끙대는 수학난제들. 하지만 그 풀이 과정을 찾아내는 것이 어려울 뿐이지, 문제 자체는 그다지 어렵지 않은 경우가 많다. 그 대표적인 예로 누구나 한 번쯤은 들어봤을 법한 ‘페르마의 마지막 정리’가 있다. 어떤 의미인지, 어떻게 푸는 것인지는 잘 몰라도 중학생 정도면 이해할 만한 수식이다.
이 책, 《위대한 수학문제들》은 바로 이런 수학난제 중 ‘세계 7대 난제’를 포함한 14가지 난제에 대해 풀어낸 책이다. 일반 독자들도 이해할 수 있을 만큼 충실하게 설명하면서도 난제가 가진 의미, 난제의 해결이 가져올 우리의 미래, 또 난제를 풀기 위해 고군분투하는 수학자들의 에피소드까지 놓치지 않고 다루었다.
이는 영국 워릭대학교 수학과 교수인 저자 이언 스튜어트（Ian Stewart）의 필력에 힘입은 바 크다. 그는 ‘최고의 수학 대중화 필자’라는 평가에 걸맞게, 도무지 우리의 삶과는 무관해 보이는 이런 수학난제들이 실제로 우리 삶과 어떻게 연관되어 있는지 흥미롭게 설명하기 때문이다. 서문에서도 ‘공식을 많이 배제하면서도 개념을 설명하는 것을 지침으로 삼았다.’고 밝히고 있다.
또한 세계적인 수학자로 손꼽히는 김민형 교수가 추천사에서 밝힌, ‘위대한 문제란 수학이라는 긴 탐험에 필요한 에너지를 생성해주는 도구’라는 멘트 역시 어렵기만 한 난제에 성큼 다가서게 하는 마중물이 되어준다.
고통스럽지만 매혹적인, 난해하지만 흥미로운 수학난제로의 초대
수학난제는 천재 수학자의 질문이다. 앞서 언급한 ‘푸앵카레 추측’은 약 100년 전 천재 수학자라고 불리는 푸앵카레가 3차원 공간에 대한 연구 끝에 내놓은 이론이다. 하지만 이를 증명하지 못해 ‘추측’이라고 불려왔는데, 2003년 러시아의 수학자 그리고리 페렐만이 마침내 이를 증명해내었다. ‘은둔의 수학자’라고도 불리는 그는 클레이 수학 연구소의 상금 100만 달러는 물론이고 수학계의 노벨상 격인 필즈상 수상도 거부했고, 학자로서의 최고 영예인 러시아 과학아카데미 정회원 자격도 거부한 독특한 괴짜이다.
괴짜 같은 질문도 있다. 이름만큼은 많은 사람들에게 친숙한 ‘페르마의 마지막 정리’는 수학자 페르마가 디오판토스의 《산학》에 남긴 메모에서 시작한다.
“1개의 세제곱수를 2개의 세제곱수로 나누는 것이나 1개의 네제곱수를 2개의 네제곱수로 나누는 것 혹은 일반적으로 지수가 2를 초과하는 임의의 거듭제곱수를 같은 지수의 2개의 거듭제곱수로 나누는 것은 불가능하다. 이에 대한 참으로 기가 막힌 증명을 발견했지만 여백이 좁아 담을 수가 없다.”
수식으로 나타내면 로 아주 간단하다. 이 간단한 수식과 천재 수학자 페르마의 메모 ‘증명을 발견했지만 여백이 좁아 담을 수가 없다.’는 내용이 수학자들의 자존심을 건드렸다. 그뿐만이 아니었다. 간단한 정리를 증명하지 못한다는 것은 기존의 수학 이론에 무언가 필수적인 것이 빠져 있다는 것을 의미했기 때문에 수학계가 술렁였다. 수많은 수학자들이 증명에 나섰고 마침내 1997년 앤드루 와일스라는 영국 수학자가 증명했다. 그는 열 살 때 이 정리를 처음 접한 후 해결해내고야 말겠다는 결심을 했고 ‘7년간의 비밀 연구’ 끝에 마흔두 살이 되어서야 증명해냈다. 결국 해답을 찾는 데 무려 350년이나 걸린 것이다.
자신이 알고 있는 것을 불태워버린 괴짜 천재 수학자도 있다. 소수의 규칙성에 대한 ‘리만 가설’은 현재 널리 쓰이는 암호 알고리즘과 관련이 있다. 일각에서는 만약 리만 가설이 증명된다면 인터넷 암호 체계가 무력화되어 전 세계의 전자상거래가 마비될 것이라는 점에서 우려하고 있기도 하다. 리만은 자신의 가설이 정확하다는 건 증명할 수 있었지만 그것과 관련된 필수 명제（제타함수）를 증명할 수 없었다. 고독벽까지 가지고 있었던 그는 가설의 증거를 공개하지 않고 불태워버렸다. 그 후 150년 동안 내로라하는 수학자들이 리만 가설을 증명하거나 반증하려는 시도를 해왔지만 아직까지 수학의 성배로 남아있다.
