Lex Fridman #488 — Joel David Hamkins

요약 한 줄

“무한”은 하나의 덩어리가 아니라 서로 다른 크기와 세계들로 구성될 수 있으며, 그 사실이 역설·불완전성·계산불가능성과 만나 수학의 한계와 확장 가능성을 동시에 드러낸다.

🌀 무한의 직관을 깨는 도구 — 1:1 대응과 힐베르트 호텔 15:40 ~ 1:02:50

해킨스는 “무한의 크기”를 비교하는 핵심 규칙으로 1:1 대응(일대일 대응)을 강조한다. 이 규칙을 받아들이면, 완전제곱수 집합이 자연수 전체와 같은 크기처럼 보이는 갈릴레이의 관찰이 자연스러워진다.

힐베르트 호텔(무한한 방이 있는 호텔이 ‘만실’인데도 손님을 더 받을 수 있는 이야기)은 “부분이 항상 전체보다 작다”는 유클리드적 직관이 무한에서는 깨질 수 있음을 보여준다.

핵심 포인트

무한을 다룰 때는 ‘개수’를 세는 대신, 대응을 만드는 능력이 크기 비교의 언어가 된다.

칸토어의 핵심 성과는 “모든 무한이 같은 크기”가 아니라는 점을 엄밀히 보여준 것이다. 특히 실수 집합은 자연수처럼 나열(열거)할 수 없다는 대각선 논증으로 ‘비가산(uncountable)’ 무한이 등장한다.

이 지점에서 현대 수학은 ‘기반’(공리, 집합론)을 다시 생각하게 되고, 이후의 역설과 불완전성 논의로 이어진다.

“자기 자신을 포함하지 않는 모든 집합의 집합” 같은 구성은 모순을 낳는다(러셀의 역설). 이는 ‘집합을 마음대로 만들 수 있다’는 순진한 관점을 무너뜨린다.

그 결과로 ZFC 같은 공리적 집합론, 타입 이론 등 ‘허용되는 구성 규칙’을 제한하는 방법이 발전한다. 수학은 자유를 잃는 대신 일관성을 얻는다.

괴델은 산술을 포함할 만큼 강한 공리계라면, 그 안에서 참이지만 증명할 수 없는 문장이 존재함을 보였다. 더 나아가, 체계가 일관적이라면 그 일관성을 체계 내부에서 증명할 수 없다는 형태로도 논의된다.

이 대목에서 “진리(truth)”와 “증명(proof)”이 분리된다. 어떤 명제는 참/거짓이 정해져 있어도, 특정 공리계 안에서는 판정할 수 없을 수 있다.

실전적인 의미

연구는 ‘증명 게임’만이 아니라, 어떤 공리를 채택할지를 포함하는 ‘세계 선택’의 문제로 확장된다.

정지 문제는 어떤 프로그램이 멈출지/무한루프에 빠질지 일반적으로 판정하는 알고리즘이 존재하지 않음을 보여준다. 이는 “계산의 한계”가 단순한 기술 부족이 아니라 구조적이라는 의미다.

대담은 여기서 계산가능성 이론과 P vs NP 같은 난제, 그리고 ‘문제의 난이도’가 실제 세계(암호, 최적화)와 연결되는 방식으로 이어진다.

연속체 가설(CH)은 ZFC로는 증명도 반증도 되지 않는(독립적인) 명제로 알려져 있다. 해킨스는 이를 “미완성”이라기보다, 여러 집합론적 우주가 공존할 수 있다는 멀티버스 관점으로 해석한다.

즉, ‘수학의 우주’는 하나로 고정된 것이 아니라, 어떤 공리/확장(large cardinals 등)을 선택하느냐에 따라 서로 다른 풍경을 갖는다고 본다.

관점 전환

CH 같은 명제는 “답이 없다”가 아니라 “답이 갈라지는 지점”일 수 있다.

후반부는 초현실수(surreal numbers), 콘웨이의 생명 게임, 무한 체스 같은 “아이디어의 발명”으로 채워진다. 단순한 규칙에서 예측불가능한 복잡성이 발생하는 예시는, 수학이 현실과 닮은 방식으로 풍부해짐을 보여준다.

해킨스는 수학을 “답을 맞히는 기술”이라기보다, 좋은 개념과 좋은 정의를 찾아 세계를 확장하는 창조 행위로 묘사한다.