프롤로그 수학이라는 언어가 이어 준 청춘의 시간
1. 거울의 독백
1. 정직한 사람은 누구?
거울아, 거울아
정직한 사람은 누구?
똑같은 답
침묵이라는 대답
2. 논리 퀴즈
앨리스와 폴리스와 크리스
표로 생각하기
출제자의 의도
3. 모자는 무슨 색인가?
모르겠어요
출제자의 확인
거울의 독백
2. 페아노 산술
1. 테트라
페아노의 공리
무한 반복하는 소원
페아노의 공리 PA1
페아노의 공리 PA2
크게 늘어나다
페아노의 공리 PA3
작다고?
페아노의 공리 PA4
2. 미르카
페아노의 공리 PA5
수학적 귀납법
3. 무수한 걸음 중에
유한인가, 무한인가?
동적인가, 정적인가?
4. 유리
가산이란?
공리란?
3. 갈릴레오의 망설임
1. 집합
미인의 집합
외연적 정의
식탁
공집합
집합 속의 집합
공통부분
합집합
포함 관계
집합이 중요한 이유
2. 논리
내포적 정의
러셀의 패러독스
집합 연산과 논리 연산
3. 무한
전단사의 새장
갈릴레오의 망설임
4. 표현
귀갓길
서점
5. 침묵
미인의 집합
4. 한없이 가까워지는 목표 지점
1. 집
유리
남자애의 증명
유리의 증명
유리의 의혹
나의 설명
2. 슈퍼마켓
목표 지점
3. 음악실
문자로 나타내기
극한
음악은 음(音으로 결정된다
극한의 계산
4. 귀갓길
진로
5. 라이프니츠의 꿈
1. 유리는 테트라가 아니다
‘이라면’의 의미
라이프니츠의 꿈
이성의 한계?
2. 테트라가 유리는 아니다
입시 공부
수업
3. 미르카라면 미르카다
교실
형식적 체계
논리식
‘이라면’의 형태
공리
증명
추론 규칙
증명과 정리
4. 내가 아니다, 혹은 나다
집
형태의 형태
의미의 의미
‘이라면’이라면?
권유
6. 입실론-델타
1. 수열의 극한
도서실에서
계단 교실
복잡한 식을 이해하는 방법
절댓값을 이해하다
‘이라면’을 이해하다
‘모든’과 ‘어떤’을 이해하
나는 거짓말쟁이다’는 참인가, 거짓인가?
세상의 역설에서 수학의 진리를 발견하다!
『미르카, 수학에 빠지다』(전 6권는 일본 웹사이트에 연재되자마자 폭발적인 조회수를 기록한 수학 소설로, 20년이 지난 지금까지 청소년 수학 분야에서 장기 베스트셀러를 지키고 있다. 영어판 제목은 『Math Girls』이다.
수학을 통해 꿈을 이루어 가는 ‘나’, 수식의 원리를 꿰뚫어보는 수학 천재 미르카, 수포자가 될 뻔한 명랑 소녀 테트라. 세 고등학생은 괴짜 수학 선생님이 내 주는 수학 문제를 풀기 위해 방과 후 도서실이나 카페에 모여 머리를 맞대고 토론하며 수식을 풀어 나간다. 이들은 수학이라는 공통 관심사를 통해 실력을 쌓으며 점차 성장해 간다.
『미르카, 수학에 빠지다』3권에서는 네 명의 소년 소녀가 수리논리학의 기본 정리이자 수학사에서 가장 위대한 발견으로 꼽히는 ‘괴델의 불완전성 정리’에 도전한다. 불완전성의 정리는 모순이 없는 수학 체계는 증명할 수 없는 공리를 가지고 있기에 완전할 수 없다는 것을 증명한다. 즉 어떠한 수학 체계도 절대적인 진리가 될 수 없음을 말한다. 0과 1이라는 기호로 연산하는 컴퓨터처럼 괴델은 단어, 문자, 문장을 자연수로 대응하는 괴델수를 창조해 불완전성의 정리를 완성했다. 예를 들면, ‘나는 거짓말쟁이다’라는 말이 참이면, 이 말을 한 내가 거짓말쟁이기 때문에 ‘나는 거짓말쟁이다’는 참이 아니다. 또 ‘나는 거짓말쟁이다’라는 말이 거짓이라면, 나는 거짓말쟁이가 아니기 때문에 ‘나는 거짓말쟁이다’라는 나의 말은 참이 된다. 괴델은 역설적 문장을 괴델수로 대응해 불완전성의 정리를 완성했다. 괴델에 의하면 우리가 당연하게 생각하는 ‘1+1=2’도 수학 공리계 안에서 증명할 수 없다. 반드시 ‘2=1+1’이 아니기 때문이다.
스스로를 불안해하는 ‘나’에게 미르카는 불완전성의 정리가 말하는 교훈을 전해 준다. 3차원 공간에서 보면 나선 계단이 제대로 보이지만 2차원 공간에서 보면 그것은 단지 점이나 선으로
