00. 수학의 문법을 다시 쓰다, 칸토어 이야기 (Intro)
“도대체 무한(Infinity)의 끝에는 무엇이 있을까?”
대부분의 수학자들은 이 질문을 기피했습니다. 무한은 너무나 거대해서 인간의 머리로는 통제할 수 없는 ‘신의 영역’이라고 생각했기 때문입니다. 하지만 한 남자가 이 금기에 도전했습니다. 바로 게오르그 칸토어(Georg Cantor)입니다.
학습 목표
- 현대 수학의 뼈대가 된 집합론(Set Theory)의 창시자, 칸토어의 역사적 배경을 배웁니다.
- 데이터 분류와 그룹핑이 왜 중요한지, 집합적 사고가 컴퓨터 과학과 어떻게 연결되는지 인지합니다.
1. 무한의 크기를 비교하다
19세기 말, 독일의 수학자 칸토어는 놀라운 주장을 발표했습니다.
“무한이라고 해서 다 똑같이 큰 것이 아니다. 자연수 세계의 무한보다, 실수 세계의 무한이 훨씬 더 크다!”
이 발언은 엄청난 논란을 일으켰습니다. 당시 학계의 거두였던 스승 크로네커는 칸토어를 맹렬히 비난했고, 칸토어는 깊은 우울증에 빠져 정신병원에 입원하기도 했습니다.
칸토어는 자신이 발견한 무한의 비밀을 질서 정연하게 설명하기 위해 새로운 수학적 ‘언어’를 하나 발명해 냈습니다. 그것이 바로 비슷한 성질을 가진 녀석들을 하나의 울타리로 묶어버리는 ‘집합(Set)’이라는 혁명적인 개념입니다.
2. 현대 수학과 컴퓨터 공학의 절대 반지
칸토어 당대에는 미치광이의 뇌피셜로 치부받았던 ‘집합론’은, 그가 세상을 떠난 뒤 결국 $20$세기 모든 수학의 근본적인 기초 언어로 자리 잡았습니다.
오늘날 교과서의 모든 단원(함수, 방정식, 기하학 등)은 바로 이 ‘집합’의 언어 위에서 서술됩니다. 그리고 이 철학은 고스란히 컴퓨터 공학(Computer Science)으로 이어졌습니다.
데이터베이스에서 수천만 명의 가입자 데이터를 뽑아내고 필터링하는 SQL 언어나, 인공지능이 데이터를 중복 없이 골라내는 파이썬(Python)의 set 자료구조는 수학의 집합론 그 자체입니다.
학습 정리
- 집합론의 창시자: 19세기 수학자 게오르그 칸토어는 무한의 크기를 비교하는 과정에서 ‘그룹 묶기’라는 집합(Set) 개념을 창안했다.
- 모든 수학의 기초: 집합은 대상들을 명확하게 분류하고 묶는 우주 최고의 논리적 서랍장(분류법)이며, 현대 수학과 함수를 떠받치는 기반이다.
- 컴퓨터 과학의 핵심: 데이터를 카테고리별로 묶어 처리하는 빅데이터, 데이터베이스(DB), 프로그래밍 언어(파이썬)의 배열 구조 모두 집합적 사고방식에서 파생되었다.