수학자들은 자연을 수학화하려는 야심가들이었다. 근대 과학의 아버지라 불리는 갈릴레오는 물체의 자유낙하를 수학 공식으로 바꾸었고, 케플러도 태양계 행성의 운동 법칙을 눈이 멀도록 계산했다. 라이프니츠와 뉴턴은 지구상의 모든 운동을 미적분 공식으로 간단히 계산하려고 했다. 미적분의 발견은 자연을 계산가능성의 세계로 포섭하려는 보편수학의 가능성을 열어젖혔다. 하지만 0은 아니지만 0에 가까운 '무한소'의 역설이 수학자들을 끊임없이 괴롭혔다. 풀리지 않은 역설은 수학의 지반을 아슬아슬하게 흔들었다. 불완전한 무한소 개념 위에서 정립된 해석학, 2천 년간 불변의 진리로 여겨졌던 평행선 공리를 뒤엎은 비유클리드기하학, 모든 집합들의 집합은 존재하지 않는다는 칸토어의 역설 등 모순과 역설 앞에서 수학은 기초가 취약한 지식 체계임이 드러났다.
그럼에도 안정적이고 불변적인 수학의 기초를 확립하려는 수학자들의 고투는 계속되었다. 기하학은 불변성을 확보하고자 노력했고, 칸토어는 수의 기초를 확고히 하고자 집합의 개념을 창안했지만 역설에 부딪혀 좌절하고 만다. 역설은 논리학과 수학 전반의 문제였다. 힐베르트는 수학의 형식 체계를 구축하기 위해 공리계의 모든 명제가 증명 가능하고(완전성), 서로 모순된 결과를 끌어내지 않는다는 것(무모순성)을 증명하려는 야심한 기획을 내놓지만, 어떤 공리계도 자신의 완전성과 무모순성을 증명할 수 없다는 것을 증명한 괴델의 정리로 수학자들의 진리 게임은 무산된다. 괴델의 불완전성의 정리는 수학자들이 좋아하는 진리란 수학에는 존재하지 않는다는 일종의 선언이었다.
이 책은 17세기부터 19세기에 이르기까지 근대 과학혁명의 기초를 세운 수학자들의 위대한 발견과 도전을 다룬다. 운동에서 법칙을 발견하고 수학의 계산가능성을 확장한 미적분으로부터 수학의 개념을 파생·변환하면서 확립된 해석학, 기하학, 집합론에 이르기까지 수학사를 바꾼 발견들이 파노라마처럼 펼쳐진다. 수학자들의 극한의 상상력이 어디까지 나아가는지도 볼 수 있다.
Contents
프롤로그
상상력이 만드는 경이로운 수학의 세계
수학에 왕도는 있다 | 철학으로 수학을 사유하다 | 권위를 내버린 유쾌한 수학 속으로
제1장
수학의 초상화들 _진리 게임을 넘어서
진리 게임 | 수학자와 봉숭아 학당 | 모든 수학 이론이 수학적 진리와 무관하다는 것의 수학적 증명 | 수학의 본질은 자유다 | 수학의 초상화들
제2장
근대 과학혁명과 수학 _자연을 수학화하라!
마술과 과학 | 갈릴레오, 혹은 과학의 탄생 신화 | 자연의 수학화 | 우주의 수학과 수학적 우주 | 과학의 힘, 수학의 힘 | 분석적 이성의 바깥
제3장
계산공간의 탄생 _수학화된 세계를 향한 첫걸음
코끼리-기계와 뭉개진 탑 | 예술의 가치를 계산하다 | 계산할 수 있는 수와 계산할 수 없는 수 | 화폐, 계산하는 세계의 문 | 두 눈 속의 계산공간 | 기하학의 대수화 | -2와 의 근본적 차이 | 기하학적인 수와 대수적인 수 | 기하학의 흔적을 지우자! | 해석기하학의 초대장 | 수학적 계산공간의 탄생
제4장
수학의 마술, 혹은 마술사의 수학 _미적분학의 ‘비밀’
악마의 수학, 수학의 악마 | 캘큘러스 박사의 운동화(運動畵) | 운동화의 물리학 | 캘큘러스 박사의 비밀 | 무한소와 미분비 | 운동의 물리학에서 접선의 수학으로 | 미분법을 뒤집어 원시함수로! | 곡선의 면적, 혹은 □으로 ○ 만들기 | 적분, 무한히 얇게 쪼개 합치는 기술 | 무한소의 융통성 | 적분을 하면 모든 면적이 같아진다고? | 오, 미분법의 영광이여!
제5장
세계를 수학화하려는 꿈 _17~18세기 수학의 풍경
캘큘러스, 해석학의 시대 | 계산 가능한 세계를 향하여 | 보편수학, 혹은 수학의 이념 | 17~18세기 수학의 네 가지 축 | 17~18세기의 수학적 공간
제6장
해석학의 위기, 기하학의 모험 _엄밀성의 강박과 위험한 창안 사이
스페이드 나라의 앨리스 | 마침내 수학의 위기가 도래하리니 | ?2?2?2?2?2?2……=0? | 마녀의 역설 | 온 세상이 다 들어가는 구슬 | 새로운 기하학의 공적을 빼앗기다 | 구슬공간의 기하학 | 구슬공간과 유클리드공간 | 근대 수학, 위기와 모험 | 해석학의 위기 | 비유클리드기하학과 새로운 대수학
제7장
산수와 대수의 힘 _수학의 천국으로 가는 길
‘끄달려선 안 된다’는 생각에 끄달리다 | 칼리가리의 세 예언 | ‘존재한다’는 것만으로도 충분한가? | 수학적 수수께끼의 단서들 | 가우스가 준 뜻밖의 선물 | 기하학의 기초, 기하학의 분열 | 마술사 칼리하리를 만나다 | 메피스토 왈츠 | 해석학의 산수화 | 변환의 불변성과 기하학 | 모든 점에서 연속인데 모든 점에서 미분 불가능한 함수 | 수학과 도(道)
제8장
집합론, 무한을 셈하다 _무한집합의 역설들
19세기의 수학 정신 | 표준해석학과 범기하학 | 칸토어 박사, 판도라의 상자를 열다 | 자연수만이 실재한다? | 수란 무엇이며 무엇이어야 하는가? | 무한을 세는 방법 | 셀 수 있는 무한, 셀 수 없는 무한 | 대각선을 공략하라! | 길고 짧은 건 재보면 똑같다 | 연속체의 농도 | 우주공간의 모든 점들을 바구니 안에 담는 방법 | 초한수, 무로부터 나온 무한들 | 집합론의 역설
제9장
역설 없는 수학을 찾아서 _수학기초론의 세 가지 길
무한소의 역설에서 무한대의 역설로 | 자연수와 실수 사이의 심연 | 역설의 시대 | 이발사의 역설, 거짓말쟁이의 역설 | 자기에 대해 말하지 말라 | 내용 없는 형식으로서의 수학 | 형식 체계의 무모순성은 해석에 의존한다 | 형식주의, 논리주의, 직관주의 | 배중률과 귀류법을 포기하자! | 공리계의 완전성과 무모순성 | 수학적 엄밀성의 진혼곡
제10장
불완전성의 정리 _수학의 심연, 혹은 열린 경계
수학과 원초적 본능 | 서로 그리는 손의 역설 | 내재하는 외부 | CAP(Computer Aided Prison), 완전한 감옥 | 아킬레스와 괴델 | ‘이 명제는 증명할 수 없다’를 증명할 수 있다면 | 문장을 수로 바꾸는 방법 | 괴델수와 괴델의 정리 | 자연수, 너마저도! | 연속체 가설로 아킬레스를…… | 감금의 연속체, 탈출의 연속체 | 결정 불가능한 명제와 열린 경계
제11장
두 개의 수학 삼각형 _19세기 수학의 풍경
‘계산’의 시대에서 ‘기초’의 시대로 | 두 개의 수학 삼각형 | 19세기 수학적 기획의 선들 | 기초 없는 수학을 위하여
에필로그
수학의 외부를 상상하는 즐거움
추상과 횡단 | 수학의 외부
Author
이진경
전환기 한국사회의 토대를 분석한 『사회구성체론과 사회과학방법론』을 써서 24세에 이진경이라는 필명을 얻었다. 본명은 박태호. 서울대 사회학과를 졸업하고 같은 대학 대학원에서 논문 ‘서구의 근대적 주거공간에 대한 공간 사회학적 연구’로 박사학위를 받았다. 현재 지식 공동체 ‘수유너머104’에서 연구 활동을 하며 서울과학기술대학교 기초교육학부에서 강의하고 있다. 사회주의 붕괴 이후 근대성에 천착해 『철학과 굴뚝 청소부』를 썼고, 자본주의와 근대성의 변혁을 모색한 『맑스주의와 근대성』, 『근대적 시?공간의 탄생』, 『이진경의 필로시네마』를 썼다. 푸코, 들뢰즈, 가타리의 철학과 함께 자본주의의 외부에서 삶의 탈주를 꿈꾸며 『노마디즘』, 『철학의 외부』, 『역사의 공간』, 『불온한 것들의 존재론』 등 30여 권의 책을 냈다.
전환기 한국사회의 토대를 분석한 『사회구성체론과 사회과학방법론』을 써서 24세에 이진경이라는 필명을 얻었다. 본명은 박태호. 서울대 사회학과를 졸업하고 같은 대학 대학원에서 논문 ‘서구의 근대적 주거공간에 대한 공간 사회학적 연구’로 박사학위를 받았다. 현재 지식 공동체 ‘수유너머104’에서 연구 활동을 하며 서울과학기술대학교 기초교육학부에서 강의하고 있다. 사회주의 붕괴 이후 근대성에 천착해 『철학과 굴뚝 청소부』를 썼고, 자본주의와 근대성의 변혁을 모색한 『맑스주의와 근대성』, 『근대적 시?공간의 탄생』, 『이진경의 필로시네마』를 썼다. 푸코, 들뢰즈, 가타리의 철학과 함께 자본주의의 외부에서 삶의 탈주를 꿈꾸며 『노마디즘』, 『철학의 외부』, 『역사의 공간』, 『불온한 것들의 존재론』 등 30여 권의 책을 냈다.