추가 적립 안내

수학의 추상 세계로 떠나는 아찔한 〈무한〉 여행

당신 머릿속에 담을 수 있을 정도로 작지만,
한편으론 너무 커서 우주에는 담을 수 없는 것이 있다면 그것을 어떻게 불러야 할까?
음… 이렇게 부르면 어떨까? 〈무한〉이라고.

〈무한〉이라는 신비한 개념을 추적하며, 수학의 추상 세계에서 벌어지는 놀라운 풍경들을 담아낸 매력적인 대중서다. 학창 시절 누구나 무한(∞)이란 개념을 접해 봤을 것이다. 1, 2, 3, … 이렇게 끝없이 이어지는 수를 보며 묘한 호기심을 느꼈을 누군가도 있겠고, 〈임의의 수 n을 ∞으로 보냈을 때 다음 식의 값을 구하라〉와 같은 끔찍한 수학 시험의 악몽으로 기억할 사람도 있겠다. 하지만 〈무한〉은 일반인들이 짐작하는 것보다 훨씬 까다로운 개념이다. 이 매혹적이고 아찔한 개념의 안내자로 나선 이는 영국 셰필드 대학교 순수수학과 명예 선임연구원 유지니아 쳉이다. 〈고차원 범주론〉을 전문적으로 연구하고 있으며, 각종 국제 수학 학회에 참여해 꾸준히 논문을 쓰고 발표하는 수학자다. 그녀는 〈수학을 아주 잘하는 사람도, 수학을 연구하는 사람도 무한에 관해서는 대답할 수 있는 것보다 물어볼 것이 더 많다〉며 〈무한〉이 수학자들에게도 매우 당혹스러운 개념임을 토로한다. 이를테면, 이런 수수께끼는 어떤가? 〈추첨 공이 무한히 많은 로토가 존재하는 경우 당신이 로토에 당첨될 확률은?〉 〈객실이 무한히 많은 호텔이 있는데 이미 객실들은 꽉 찼다. 그런데 또 다른 손님이 찾아온다면 손님을 받을 수 있을까? 받을 수 있다면 어떻게?〉 〈순환 소수 09999……는 1과 완전히 같은 값일까?〉 무언가 영원히 커지고, 영원히 작아지고, 영원히 계속된다는 것은 그 자체로 우리의 직관을 비껴간다. 도대체 〈영원〉이란 개념을 어떻게 수학 안으로 집어넣을 수 있을까? 〈무한〉을 과연 수(數)로 간주할 수 있는가? 〈무한〉이 수라면 과연 어떤 수인가? 많은 수학자들이 〈무한〉의 정체를 밝히기 위해 부단히 고민하고, 속절없이 그 매력에 빠져든 이유다.

그렇다고 이 책이 어려울 거라 지레 겁먹을 필요는 없다. 수학자라는 딱딱한 직함이 무색하게 쳉의 인생 모토는 〈세상에서 수학 공포증을 몰아내는 일〉이다. 「스콘에 들어갈 크림의 완벽한 양을 재는 방정식」과 「완벽한 크기의 피자를 만들기 위한 수학 공식」 등 겉보기에 엉뚱한 논문들은 수학의 대중화를 위한 그녀 나름의 노력인 셈이다. 그녀에게 수학은 어떤 거창한 목적을 위한 수단이 아니라, 그 자체로 즐거움이자 사고의 지평을 넓혀 주는 매력적인 학문이다. 따라서 이 책 곳곳에는 딱딱한 수식과 개념보다 다채로운 비유가 넘쳐 난다. 무한을 네스호의 괴물로 비유한다거나(경외감을 불러일으키는 압도적인 크기를 갖고 있으면서도 그 정체를 분명히 알 수 없기 때문에), 꼬마 당근을 통해 중간값의 정리를 설명하거나(어떻게 꼬마 당근이 성인 당근으로 연속적으로 성장하는지 증명할 수 있을까?), 레고 캐릭터의 헬멧을 가지고 〈덧셈에 대한 역원〉을 설명하는 식이다. 독자들은 이 책의 색인에서 「곰돌이 푸우」와 우사인 볼트, 각종 요리 이름을 보고 놀랄 필요가 없다. 마치 이모나 언니의 손을 잡은 아이처럼 〈무한〉이라는 거대한 산을 한 걸음 한 걸음 밟아 오르기만 하면 된다. 그러면 수학의 낯선 기호와 용어들도 별것 아니라는 생각이 금방 들 것이다.

기묘한 힐베르트 호텔

쳉이 무한의 정체를 탐색하기 위해 길잡이로 삼은 것은 힐베르트 호텔이다(무한에 대해 생각할 때 일어날 수 있는 이상한 일들을 보여 준 수학자 다비트 힐베르트에게서 따온 이름이다). 객실이 무한히 많은 호텔을 상상해 보자. 이 객실의 방 번호는 자연수 1, 2, 3, …… 등등으로 무한히 이어진다. 이제 당신이 이 호텔의 지배인이고, 객실이 다 찼다고 상상해 보자. 하지만 또 다른 손님이 도착해서 방을 달라고 할 때 당신은 어떻게 할 것인가? 답은 의외로 간단하다. 이미 들어와 있는 투숙객들에게 방을 한 칸씩만 옮겨 달라고 하면 그만이다. 현실의 호텔에서는 객실이 다 차면 또 다른 손님이 찾아와도 손쓸 방법이 없지만, 무한 호텔에서는 1번 방 손님을 2번 방으로, 2번 방 손님을 3번 방으로, 이렇게 방을 한 칸씩 옮길 수 있다. 그냥 〈n번 방〉 손님에게 〈n+1번 방〉으로 옮겨 달라고 하면 된다. 객실이 무한하기 때문에 이렇게 하면 1번 방에 새로운 손님을 받을 수 있다.
하지만 추가로 무한한 수의 손님이 찾아온다면? 그냥 무한한 칸만큼 방을 옮겨 달라고 해서는 이 문제를 해결할 수 없다(〈1+∞〉번 방? 이런 식으로는 곤란하다. 이것은 방 번호가 아니기 때문이다. 각각의 방 번호는 유한한 수로 표시되어야 한다). 여기서는 조금 더 똑똑해질 필요가 있다 이 경우에 모든 투숙객들에게 원래의 방 번호에 2를 곱한 방으로 옮기라고 할 수 있다. 그럼 1번 방 투숙객은 2번 방으로, 2번 방 투숙객은 4번 방으로, n번 방 투숙객은 2n번 방으로 옮겨 가게 된다. 기존의 투숙객들은 모두 방 번호가 두 배로 늘어나니까 결국 짝수 번호의 방에 들어가게 된다. 그럼 홀수 번호의 방은 이제 모두 비었다는 말이고, 홀수는 무한히 많다. 자, 드디어 무한한 수의 손님의 방 배정도 끝냈다!
이런 식으로 우리는 〈정수〉 무한 호텔, 〈유리수〉 무한 호텔의 모든 손님들을 〈자연수〉 무한 호텔로 마법처럼 옮겨 놓을 수 있다. 이 성공에 우쭐해진 당신은 마치 천하무적이 된 듯한 기분이 들고, 어떤 호텔의 손님들이라도 힐베르트 호텔에 모두 수용할 수 있을 거라 생각할지도 모르겠다. 그러나 〈무리수〉 무한 호텔이 등장하면 이야기가 달라진다. 과연 무리수 π번, 0.9999……번 방에 있는 손님들을 어떻게 통째로 자연수 방 번호로 이뤄진 힐베르트 무한 호텔로 옮겨 올 수 있을까? 결국 무슨 짓을 해봐도 힐베르트 호텔에 수용할 수 없는 무언가가 존재한다. 이 점이 무한의 비밀의 문을 여는 첫 번째 열쇠가 된다.

무한의 정체를 찾아서

무한을 그저 상상할 수 있는 어떤 수보다도 큰 수라고 정의하려는 순간, 이런 간단한 정의로는 무한을 파악하는 데 어려움이 생긴다는 걸 깨닫는다. 무한이 일반적인 수일 수는 없다. 유한한 수에 적용되는 평범한 연산 규칙이 무한에서는 통하지 않기 때문이다. 무한에 무언가 덧붙인다고 해서 더 커지는 게 아니라는 우리의 상식을 수식에 적용한다고 해보자. 곧 ∞+1=∞일 테고, 양변에서 ∞을 빼면… 맙소사, 1=0이 된다(본문 60~61면). 무한을 제대로 이해하려면, 우리가 보통 아무 의심 없이 사용해 온 수(數) 체계는 물론, 더하기, 빼기, 곱하기, 나누기 등의 연산에 대한 기본적인 개념부터 캐묻기 시작해야 한다. 한마디로 〈무한〉을 알려면 수의 본질을 알아야 한다. 자연수는 무엇인지, 정수, 유리수, 무리수는 무엇인지, 그리고 일, 이, 삼…… 숫자를 센다는 게 정확히 무엇을 의미하는지 처음부터 다시 시작해야 한다.
수학에서 센다는 것은 단순히 〈하나, 둘 셋, 넷…〉 큰 소리로 수를 소리 내어 읽는다는 의미가 아니다. 어떤 집합의 대상들을 수를 정의하는 또 다른 〈공식〉 집합의 대상들과 짝짓는 과정이다. 쳉은 〈주머니〉(집합) 비유를 통해 자연수를 정의해 나간다(본문 92~105면). 예컨대 손가락을 생각해 보자. 만약 우리가 다른 집합 대상들(이를테면 사탕)을 우리 손가락 하나하나(이것을 〈공식〉 집합이라고 가정한다)와 일대일로 짝지을 수 있다면, 그것으로 우리는 사탕이 열 개 있음을 알 수 있다. 이 개념을 발전시켜 우리는 무한 안에 〈자연수〉라는 가장 초보적인 수준의 〈공식 수 주머니〉를 만들 수 있다. 이 수 주머니와 다른 집합을 일대일 대응을 시켰을 때 딱 맞아떨어진다면 그 무한 집합을 수학 용어로 〈가산성〉이 있다고 말한다. 바로 힐베르트 호텔에서 다른 무한 호텔의 손님을 통째로 옮겨 올 수 있었던 것은 일대일 짝짓기가 가능했기 때문이다. 쳉은 정수 집합, 유리수 집합 모두가 자연수의 공식 수 주머니와 일대일로 대응한다고 증명한다(정수와 유리수는 자연수보다 당연히 많을 것 같은데도 그렇지 않다). 반면 그렇게 짝짓는 과정에서 무언가 남는 게 있다면(이를테면, 무리수), 우리는 해당 집합을 더 크다고 말할 수 있다(칸토어의 대각선 논증 참조, 본문 122~125면). 자연수(비유하면 힐베르트 호텔)는 무한이므로, 자연수보다 많은 대상을 담고 있는 이 무한(비유하면 〈무리수〉 무한 호텔)은 당연히 더 큰 무한이라고 생각할 수 있다. 다시 말해 무한에도 등급이 있다! 무한 중 가장 작은 무한은 가산 무한이지만, 그 위에는 그보다 큰 무한인 실수의 집합이 있고, 그 위로도 무한의 계층이 무한히 이어진다. 그리고 마침내 쳉은 기수cardinal number(집합 안에 든 수의 양)와 서수ordinal number(수의 순서를 나타내는 수)의 차이를 구분함으로써 무한의 정체에 한 발짝 접근하게 된다.

무한히 커지거나, 무한히 작아지거나

이 책의 1부가 무한의 정체를 찾기 위해 산을 오르는 과정이라면, 2부는 그 산 정상에서 바라보는 풍경을 다루고 있다. 여기서는 무한이 아닌 듯 무한인 것, 4차원을 뛰어넘는 무한 차원(차원을 독립적인 좌표라는 개념으로 이해하면, 색, 음악 등등 우리 삶에는 무수한 차원이 존재한다), 무한히 큰 것이 아니라 반대로 무한히 작아지는 것(여전히 〈제논의 역설〉이 궁금한 독자들이 있다면, 14장 〈무한히 작은 값〉을 보라), 적분의 개념 등 무한이라는 창문을 통해 엿볼 수 있는 다양한 개념들을 다루고 있다. 그 과정에서 독자들은 소수 전개가 무엇을 뜻하는지, 실수의 정체가 무엇인지 무한을 둘러싼 수의 비밀을 보다 명료하게 이해할 수 있을 것이다.
또한 책 곳곳에는 〈무한〉이 일반적인 사람들의 직관과 얼마나 동떨어져 있는지 보여 주는 흥미로운 사례들이 등장하여 독자들의 호기심을 붙든다. 여기서 정말 중요한 대목은 저자가 직접 그 황당한 문제들을 수학적으로 증명해 보인다는 데 있다.
이를테면 이런 오래된 수수께끼가 있다. 한 남자가 노동의 대가로 체스판 위의 칸 수만큼 쌀 알갱이의 수를 곱절씩 늘려 받기로 요구한다. 첫째 날은 쌀 한 톨, 둘째 날에는 그 두 배, 세 번째 날에는 다시 두 번째 칸의 두 배로 달라고 한다. 체스판을 모두 채우는 64일째 되는 날, 그가 받을 쌀의 양은 얼마나 될까? 답은 18,446,744,073,709,551,615톨이다. 50톨을 1g으로 계산하고, 한 사발을 100g, 한 사람이 하루 4사발을 먹는다고 가정하면, 전 세계 인구가 1,000년 정도 먹을 수 있는 양이 된다!(본문 205~207면)
아이팟 셔플의 예도 있다. 이 회사는 자사의 곡 재생 프로그램을 〈240곡을 백만 가지 다른 방식으로〉라고 광고한다. 거기 담긴 240곡을 서로 다른 배열로 재생하면 100만 가지 다른 방식으로 음악을 즐길 수 있다는 의미다. 정말 그럴까? 혹시 과장 광고는 아닐까? 쳉이 직접 계산해 보니, 100만까지 가는 데는 240곡은커녕 10곡이면 충분했다. 10곡만으로도 300만 가지가 넘는 순서로 곡 재생이 가능하다(계승을 통한 계산, 10!=3,628,800). 240곡으로 가능한 조합의 수는 웬만한 컴퓨터로는 계산조차 불가능하다. 200!조차 375개의 자릿수를 갖는다(본문 209~214면).
반면 거꾸로 훨씬 느리게 커져, 전혀 커지지 않는 것처럼 보이는 경우도 있다. 쳉은 우리가 오늘부터 다이어트를 하기로 결심하고 케이크 반 조각만 먹기로 결심했다고 가정한다. 그런데 케이크가 너무 좋아 못 참겠어서 다시 전체 케이크(남은 케이크가 아니다)의 1/3만큼 먹는다. 그래도 참을 수 없어 이번에는 1/4만큼 먹는다. 이렇게 조금씩 줄여 먹는다면 우리는 무한한 시간이 흐른 뒤엔 얼마나 많은 케이크를 먹게 될까?(사실, 1/10000조각쯤 되면 당신이 먹는 케이크는 손끝으로 집기조차 불가능할 것이다.) 하지만 횟수를 무한히 반복할 경우, 우리는 무한히 많은 양의 케이크를 먹게 된다. 먹는 양은 갈수록 줄지만, 그것은 무한을 향해 거침없이 달려가는 중이다!(본문 219면).

논리의 경계에서 만나는 수학의 아름다움

무한이라는 개념을 일반인에게 전달한다는 것이 결코 쉬운 일이 아님에도 불구하고 유지니아 쳉은 재미있는 비유와 다양한 그림 등을 통해 그 일을 대단히 효과적으로 해내고 있다. 그래도 무한이 결코 만만한 대상이 아니다. 약간의 긴장감은 필요하다. 저자의 열정적이고 친근한 설명을 차근차근 따라가다 보면 자칫 딱딱하기 쉬운 수학 분야를 여행하듯 즐거운 마음으로 탐험할 수 있을 것이다.
무한의 안내자로 나선 쳉은 말한다. 〈나는 모든 것을 설명하려 드는 것이 핵심이 아니라고 믿는다. 우리가 설명할 수 있는 것과 설명할 수 없는 것 사이의 경계가 어디에 있는지 분명히 아는 것이야말로 핵심이다.〉 쳉은 우리가 설명할 수 있는 것들로 이뤄진 구체(球體)가 개념의 우주에 놓여 있고, 그 구체는 새로운 발견을 통해 끊임없이 팽창하고 있다고 말한다. 하지만 그녀에게 정작 중요한 것은 그 표면이다. 쳉은 설명할 수 있는 것과 없는 것 사이의 경계에 모든 아름다움이 자리 잡고 있다고 말한다. 사랑, 자연, 예술…… 그리고 〈무한〉 역시 그 경계에서 춤추고 있는 개념이다. 〈무한은 수학이라는 아름다운 꿈속에 자리 잡은 아름다운 꿈이다.〉
쳉은 〈다섯 살 때의 수준으로만 무한에 대해 이해해도 이 세상을 살아가는 데는 하등의 문제가 없고〉, 〈그럭저럭 살아가는 데〉 굳이 수학이 필요하냐고 묻는 사람들에게 단언한다. 〈나는 이런 쓸모를 위해 수학을 생각하지 않는다.〉 〈수학이란 그저 어떤 목적지에 도착하기 위한 수단이 아니다. 수학은 재미를 느끼고, 머리를 단련하고, 수학의 본질과 교감하고, 수학의 풍경을 구경하기 위한 것이다.〉 입시 수학에 매몰되면서 수학의 즐거움을 놓치고 있는 우리 사회가 고민해 볼 말이기도 하다. 유지니아 쳉의 열정은 전염성이 있다. 부디 이 책을 통해 그녀의 열정이 독자들에게도 가닿아, 수학의 진정한 즐거움을 맛볼 수 있기를 바란다.

알렉스 벨로스(뉴욕 타임스)
명료하고 영리하며, 친절하다.

월 스트리트 저널
유지니아 쳉은 우리 비수학자 문외한들에게 실제 수학적 창의성이 어떻게 작동하는지 보여 주는 대단한 일을 해냈다.

이언 스튜어트(워릭 대학교 수학과 명예 교수)
재치와 매력이 넘치고, 수정처럼 맑고 분명하게 모든 내용을 설명하고 있다. 무한의 수학적 풍경을 별 어려움 없이 구경할 수 있게 도와준다. 정말 멋진 책이다!

조던 엘렌버그(『틀리지 않는 법』의 저자)
무한은 수학에서 가장 당혹스러운 개념이자, 가장 즐거운 개념이다. 『무한을 넘어서』는 저만치 동떨어진 수학을 우리 현실 세계로 이끄는 명랑하고 친근한 안내서다.

프롤로그

1부 무한으로의 여행
1. 무한이 무엇인지
2. 무한을 갖고 놀기
3. 무한이 무엇이 아닌지
4. 다시 멀어지는 무한의 정체
5. 무한까지 세기
6. 무한보다 더 큰 무한
7. 무한 너머까지 세기
8. 무한의 비교
9. 무한의 정체

2부 무한의 풍경
10. 무한은 어디에?
11. 거의 무한한 것들
12. 무한 차원
13. 무한 차원 범주
14. 무한히 작은 값
15. 무한에 수학이 거의 붕괴될 때(당신의 머리도)
16. 무한의 기묘함
17. 무한이 있는 자리

감사의 말씀
찾아보기

내가 추상 수학을 좋아하는 이유도 어떤 면에서는 배 여행을 좋아하는 이유와 비슷하다. 나에게 수학이란 그저 어떤 목적지에 도착하기 위한 수단이 아니다. 수학은 재미를 느끼고, 머리를 단련하고, 수학의 본질과 교감하고, 수학의 풍경을 구경하기 위한 것이다. - 본문 9면

무한Infinity은 네스호의 괴물이다. 경외감을 불러일으키는 압도적인 크기를 갖고 있으면서도 그 정체를 분명히 알 수 없어 사람들의 상상력을 끊임없이 사로잡기 때문이다. 무한은 꿈이며, 시간과 공간이 무한대로 펼쳐져 있는 광활한 판타지의 세계다. 무한은 예상치 못했던 생명체, 뒤엉킨 덤불, 그리고 그 사이로 갑자기 쏟아져 들어오는 햇살이 어우러진 캄캄한 숲이다. 그리고 무한은 닫혀 있다가 활짝 열리면서 끝없이 이어지는 나선을 드러내는 루프loop다. - 본문 15면

무한은 온갖 곳에서 우리가 꿈꿀 수 있는 하나의 개념으로 등장하며, 길이, 크기, 양의 개념 등, 수학으로 통합할 수 있는 다른 개념들과도 비슷해 보인다. 그렇다면 이런 쉬운 수학적 개념을 확장해 무한을 포함시키기가 왜 그리 어렵단 말인가? - 본문 19면

수학이라는 〈장난감〉도 레고와 비슷하다. 무언가를 쌓아 올릴 수 있는 견고함을 갖추고 있으면서도 한편으로는 여러 가지 가능성을 펼칠 수 있는 융통성도 있어야 한다. - 본문 30면

우리는 나머지 수학을 변화시키지 않으면서 〈무한〉을 정상적인 수학 안에 편입하고 싶다. 소설을 쓸 때 영원히 죽지 않는 사람을 하나 등장시키더라도 나머지 세상 사람들은 모두 보통 사람으로 남겨 두는 것처럼 말이다. 이상한 일들이 새로 일어나기는 할 테지만 그렇다고 세상에 대한 기본적인 사실들이 모두 무너져 내리기를 바라지는 않는다. - 본문 36면

무한을 이해하려면 수를 이해해야 한다. 그리고 수를 이해하려면 수학을 이해해야 한다. 그리고 여기에 하나 더. 수학을 이해하려면 논리를 이해해야 한다. - 본문 50면


케이크 하나를 0명의 사람에게 나누어 준다고 해보자. 각각 케이크를 얼마나 가져가게 될까? 이 질문은 말이 되지 않는다. 사람이 아무도 없기 때문이다. 이렇게 답할 수도 있다. 〈모든 사람이 각각 열 개의 케이크
를 가져간다!〉 왜냐면 사람이 아무도 없기 때문에 0명의 사람 모두 케이크를 각각 열 개씩 가져가도 문제가 되지 않기 때문이다. 아예 각각 40개의 케이크와 63마리의 코끼리를 가져간다고 대답해도 상관없다. 어차피 가져갈 사람이 없으니까. 이래서는 1 나누기 0을 무한의 합리적인 정의라 하기 어렵다. - 본문 74면


10이 〈우리가 갖고 있는 손가락의 숫자〉를 나타낸다고 하자. 그다음에는 각각의 손가락에 이름을 붙인다. 그럼 실제로 손가락을 사용하는 대신 손가락 이름을 소리 내어(혹은 머릿속으로) 불러서 뱀을 손가락과 어떻게 짝지었는지 기억할 수 있다. 손가락 이름을 톰, 스티브, 피터, 닉, 리처드, 에밀리, 도미닉, 존, 네일, 앨리사로 부를 수도 있지만, 일, 이, 삼, 사, 오, 육, 칠, 팔, 구, 십으로 불러도 좋겠다. - 본문 90면

숫자 세기는 본질적으로 어떤 집합의 대상들을 수를 정의하는 또 다른 〈공식〉 집합의 대상들과 짝짓는 과정이다. - 본문 92, 93면

무한 집합 속에 들어 있는 대상들이 우리의 무한의 공식 수 주머니의 대상들과 짝이 맞을 때 그 무한 집합을 〈가산성〉이 있다고 한다. ? 본문 108면


무한은 모든 자연수를 포함하는 무한의 공식 수 주머니와 대응한다는 의미다. 수학자들은 이것을 그리스어 알파벳 마지막 글자인 ω(오메가)라 부른다. 하지만 ω는 그보다 점점 더 커지는 일련의 무한에서 시작에 불과하다. ? 본문 108면

결정 피로감 이론은 작은 결정이든(〈아침 식사로 뭘 먹지?〉), 큰 결정이든(〈어느 집을 사야 할까?〉) 결정을 내리는 것이 사람을 피곤하게 만들고, 하루에 내려야 할 결정이 많아질수록 그로 인해 더 피곤해진다는 이론이다. - 본문 129면

손가락을 이진법으로 이용해서 1,023까지 셀 수 있다는 것도 사실이다. 그 방법은 다음과 같다. 각각의 손가락은 두 가지 가능한 위치가 있다. 편 것과 접은 것이다. 편 것은 1을, 접은 것은 0을 나타낸다. 그럼 이제 우리에겐 10자리 수가 생겼고, 10자리 이진수를 이용하면 0부터 1,023까지 모든 수를 표현할 수 있다. - 본문 145면

무한에서는 대상을 왼쪽에서 더하는 것과 오른쪽에서 더하는 것이 다르다. - 본문 190면


지구의 표면은 재미있는 표면이다. 3차원으로 보이지만 사실은 2차원이기 때문이다. 그래서 자신의 위치를 말할 때 경도와 위도, 이렇게 2개의 좌표만 있으면 된다. 구체는 3차원 우주가 있어야만 존재할 수 있지만 그 표면은 2차원이다. - 본문 225면


시간은 네 번째 차원에 대해 생각하는 한 가지 방식일 뿐, 유일한 것은 아니다. 이것을 다른 방식으로 생각해 볼 수도 있다. 네 번째 차원을 색으로 생각하는 것이다. 자신을 다른 색으로 칠하면 색깔 좌표를 바꿀 수 있다. 만약 누군가가 당신을 벽이 하얀 방에 가두어 놓으려면 당신을 하얀색으로 칠해야 한다는 얘기다. 그 방에서 탈출하려면 그냥 다른 색깔의 페인트, 이를테면 보라색 페인트 같은 것으로 자신을 칠한다. 그럼 하얀 벽을 그대로 통과할 수 있다. - 본문 227~229면

로봇 팔 자체는 3차원 공간 안에서 움직이고 있지만 로봇 팔의 운동 범위를 연구하려면 임의의 순간에 각각의 관절이 무엇을 하고 있는지 함께 고려해야 한다. 각각의 관절은 하나의 변수에 해당하기 때문에 결국 관절의 개수만큼, 혹은 복합 관절인 경우에는 그 이상의 많은 차원으로 이루어진 공간을 다루어야 한다. 이것은 7차원이다. - 본문 233, 234면

정치적 성향은 2차원이 아니라 훨씬 고차원의 공간 속에 존재한다. 우리의 정치적 성향을 특징지을 때 고려할 수 있는 변수의 숫자에 제한이 없기 때문이다. 어쩌면 무한 차원의 공간이 만들어질지도 모른다. 하지만 우리는 이 차원을 줄여야만 한다. 그래야 사람들을 대충 뜻이 맞는 사람들끼리 나눌 수 있기 때문이다. 그런데 그렇게 할 때 차원을 무시하기보다는 차원을 합치는 경향이 있다는 것이 문제다. 우리는 어떤 기준은 중요하지 않다고 결정하는 대신, 그 기준들이 서로 연결되어 있는 것처럼 다룰 때가 많다. 수학적으로 보면 이 둘은 아주 다른 차원 줄이기 방법이다. - 본문 241, 242면

범주론은 수학을 연구하기 위한 새로운 수학으로서 등장한다. 어찌 보면 범주론은 궁극의 추상이라 할 수 있다. 세상을 추상적으로 연구할 때는 과학을 이용한다. 그리고 과학을 추상적으로 연구할 때는 수학을 이용한다. 그리고 수학을 추상적으로 연구할 때는 범주론을 이용한다. - 본문 259면

백만 명의 사람이 케이크 하나를 나눠 먹을 경우 엄밀하게 말하면 모든 사람이 케이크를 나누어 받기는 한다. 아마도 분자 몇 백만 개 정도가 되지 않을까 싶다. 하지만 이 양은 거의 0처럼 보일 것이고, 사람이 많아질수록 점점 더 0과 비슷해질 것이다. 어떤 잘난 척하는 사람이 현미경을 들이대며 케이크가 눈에 보인다고 주장할지도 모르지만 언제든 그것을 조금 더 나누어 들어가면 다시 보이지 않게 만들 수 있다. 그렇다고 1 나누기 무한이 0이라는 의미는 아니지만, 이렇게 하면 수학자가 그 직관적 아이디어를 이해할 수 있는 방법이 생긴다. 그리고 이것이 바로 현대 미적분학의 모든 것이 시작하는 출발점이다. - 본문 280면

바다를 보면 황홀해지는 이유를 설명하려 할 때나, 사랑이 왜 그다지도 아름다운지 설명하려 할 때, 무한이 왜 그리 매력적인지 설명하려 할 때도 마찬가지다. 아예 설명조차 할 수 없는 것들도 존재한다. 개념의 우주의 논리적 중심부에서 아주 멀리 떨어진 곳에 있는 존재들이다. 하지만 내게 있어서 모든 아름다움은 경계 바로 위에 자리 잡고 있다. - 본문 368면

무한은 수학이라는 아름다운 꿈속에 자리 잡은 아름다운 꿈이다. - 본문 369면