[질문과 토론의 과학 #6] ∞👀무한대를 본 사람
독일의 수학자 게오르크 칸토어는 인류 역사상 최초로 무한의 크기를 체계적으로 연구한 인물입니다. 그는 자연수 집합과 실수 집합이 모두 무한하지만, 그 크기가 서로 다를 수 있다는 사실을 입증하며 수학계에 큰 파장을 일으켰습니다. 상식적으로는 짝수 집합이 자연수 집합의 부분집합이므로 더 작아야 할 것 같지만, 칸토어는 두 집합 사이에 일대일 대응이 가능하다면 그 크기가 같다고 보았습니다. 이러한 발상은 부분이 전체와 같을 수 있다는 무한의 독특한 성질을 보여주며, 우리가 가진 기존의 수 체계에 대한 고정관념을 완전히 뒤바꾸어 놓았습니다. 무한의 세계는 우리의 직관을 초월하는 지점이 많아 과거의 학자들에게도 큰 고민거리였습니다. 갈릴레오 갈릴레이는 부분이 전체와 같아지는 현상을 목격하고 무한의 크기를 서로 비교하는 것 자체가 불가능하다고 결론지었는데, 이를 '갈릴레이의 역설'이라 부릅니다. 그보다 앞선 시대의 알베르트 역시 무한한 길이의 막대를 구성하는 작은 정육면체들을 재조합하여 거대한 공간을 가득 채울 수 있다는 사실을 깨달았습니다. 이는 유한한 세계의 논리로는 설명하기 힘든 무한만의 신비로운 특성을 잘 보여주는 사례로, 공간과 수의 관계를 다시금 생각하게 만듭니다. 칸토어는 셀 수 있는 무한을 '알레프 제로(ℵ₀)'라 명명하고, 유리수 집합 역시 이와 같은 크기를 가짐을 증명했습니다. 반면 실수 집합은 자연수보다 훨씬 거대하며, 이를 '알레프 원(ℵ₁)'이라 불러 무한에도 계층이 존재함을 선언했습니다. 그는 이 두 무한 사이에 다른 크기의 집합이 존재하지 않는다는 '연속체 가설'을 세웠으나, 이는 훗날 다비트 힐베르트가 선정한 수학의 난제 중 하나가 되었습니다. 결국 쿠르트 괴델과 폴 코언에 의해 이 가설은 기존의 수학 체계 안에서 증명도 반증도 할 수 없는 독특한 위치에 놓이게 되었으며, 이는 수학의 한계를 보여주는 중요한 이정표가 되었습니다. 무한이라는 거대한 개념을 탐구하는 과정은 결코 순탄치 않았습니다. 칸토어는 생전에 무한의 계층 구조를 정립하려 애썼으나, 당시 수학계의 거물이었던 크로네커를 비롯한 동료들의 거센 비판과 지탄에 직면해야 했습니다. 특히 연속체 가설을 완벽히 증명해내기 위해 쏟아부은 과도한 정신적 에너지는 그를 정신적인 고통으로 몰아넣기도 했습니다. 수학에 무한을 끌어들여 분란을 일으킨다는 비난 속에서도 그는 자신의 신념을 굽히지 않았으며, 그가 겪은 고뇌는 새로운 진리를 발견하기 위해 선구자가 감내해야 했던 시대적 아픔이자 학문적 열정의 산물이라 할 수 있습니다. 무한의 개념은 원주율(π)과도 깊은 연관이 있습니다. 3월 14일 파이 데이를 맞아 주목받는 수학자 라마누잔은 원주율(π)의 값을 계산하는 놀라운 무한 급수 공식을 발견했습니다. 과거 라이프니츠의 방식은 계산 속도가 매우 느려 실용성이 떨어졌으나, 라마누잔의 공식은 항을 하나씩 더할 때마다 소수점 여덟 자리씩 정확도가 높아질 정도로 압도적인 수렴 속도를 자랑합니다. 이 혁신적인 알고리즘은 현대에 이르러 슈퍼컴퓨터의 성능을 테스트하는 표준으로 활용되고 있으며, 서른세 살에 요절한 천재 수학자가 남긴 무한의 유산은 오늘날 첨단 과학 기술의 토대가 되고 있습니다.
![[질문과 토론의 과학 #6] ∞👀무한대를 본 사람](https://i.ytimg.com/vi/cY5uhkpN1FQ/maxresdefault.jpg)