상징의 강 · 강의 물길은 실제 지리가 아닙니다
1 / 15약 1000년바그다드근거: 저술
상징: 쓰고 읽힌 기록을 올려 둔 책상시대 구간: 500–1449년장소 풍경: 티그리스 강변 · 대추야자 · 평원
알카라지는 바그다드에서 쓴 대수 저술에서 이항식의 거듭제곱을 전개하는 규칙과 계수의 삼각 배열을 다루었다. 그의 원문 일부는 사라졌지만 알사마왈의 후대 저술이 방법을 전한다. 이것을 현대적 ‘파스칼 삼각형’의 단독 발명으로 부르지 않으며, 이항 지식이 이슬람권 여러 저자와 전승망에서 자랐다는 점을 함께 본다.
장면 전체 읽기드래그해 둘러보기 · ← / → 장면 이동
스물두 번째 항로 · 다 세지 않고도 반드시 생기는 것을 찾다
짧고 긴 음절 13박만 세어도 377가지가 되고, 20을 합으로 나누는 방법은 627가지입니다. 점과 선, 색과 대칭까지 더하면 가능한 세계는 금세 열거 능력을 넘어섭니다. 바그다드·파탄·항저우에서 시작해 파리·베를린·케임브리지·부다페스트·어바나를 지나며, 수학이 ‘모든 경우를 나열하기’에서 ‘보지 않은 경우에도 구조가 생김을 증명하기’로 바뀌는 순간을 만납니다.
이 항로에서 붙잡을 질문
가능한 경우가 우주의 입자보다 많아져 하나씩 볼 수 없다면, 우리는 어떻게 정확히 세고, 중복을 없애고, 어떤 패턴은 반드시 생긴다고 증명할까요?
이 강이 주장하지 않는 것
이 강은 실제 지리가 아닙니다. 강을 따라 내려간 거리는 흐른 시간이고, 세기가 흐르는 동안 빛이 새벽에서 황혼으로 바뀝니다. 비석 곁의 사물은 사건의 종류와 그 세기 구간에 수학을 쓰고 계산한 방식을 상징할 뿐 실제 유물을 재현하지 않습니다. 정거장 둘레의 땅은 그 장면이 일어난 실제 장소의 자연·지리를 개략으로 따르고, 대표 건축은 그 해에 이미 서 있던 것만 세웁니다. 장면마다 실제 장소와 근거를 그대로 두었으니, 어디서 일어났는지는 지도에서 읽어 주세요. 이 항로는 조합론을 1654년 파리나 한 사람의 발명으로 시작하지 않습니다. 운율 재귀를 현대 이진법으로, 여러 문화권의 삼각 배열을 파스칼 한 사람의 것으로, 확률적 존재 증명을 구성 알고리즘으로, 컴퓨터 검사를 인간 논증 없는 자동 증명으로 바꾸지 않습니다. 지도 선은 입증된 단일 전파로가 아니라 세기·경로·분할·대칭·필연성이라는 서로 다른 질문을 비교하는 편집 항로이며, 각 핀의 저술·활동·출판 근거를 따로 표시합니다.
세기 구간이 바뀌는 자리에서는 배가 새 구간의 다리 밑을 지나갑니다. 마을·방아·공장·송전탑·빌딩은 그 세기의 기술을 상징할 뿐, 실제 장소나 특정 건축 양식이 아닙니다.
01약 1000년바그다드(근거: 저술)
알카라지는 바그다드에서 쓴 대수 저술에서 이항식의 거듭제곱을 전개하는 규칙과 계수의 삼각 배열을 다루었다. 그의 원문 일부는 사라졌지만 알사마왈의 후대 저술이 방법을 전한다. 이것을 현대적 ‘파스칼 삼각형’의 단독 발명으로 부르지 않으며, 이항 지식이 이슬람권 여러 저자와 전승망에서 자랐다는 점을 함께 본다.
02약 1150년파탄(근거: 주요활동)
헤마찬드라는 구자라트의 파탄 궁정·학술 환경에서 짧은 음절 1박과 긴 음절 2박으로 정해진 길이의 운율을 만드는 수를 재귀적으로 설명했다. 수열은 오늘날 피보나치 수열과 같은 규칙을 따르지만, 더 이른 핀갈라·비라항카·고팔라의 운율 전통 위에 있다. 이를 현대 이진법이나 피보나치 수의 한 사람 발명으로 소급하지 않는다.
031261년항저우(근거: 저술)
항저우 출신 양휘의 1261년 저술은 방정식의 계수 계산에 쓰는 삼각 배열을 실었고, 자신보다 앞선 가헌의 방법이라고 밝혔다. 인쇄와 수학교육은 반복 규칙을 여러 문제에 재사용할 수 있게 했다. 이 배열을 파스칼 한 사람의 이름으로만 기억하거나 양휘가 최초로 만들었다고 바꾸지 않는다.
041654년파리(근거: 저술)
파스칼의 《산술삼각형론》은 이미 여러 문화권에 알려진 배열을 새로 발명한 책이 아니었다. 대신 인접 수의 합, 이항계수, 조합, 도박 확률을 하나의 체계적 논증으로 엮었다. 페르마와의 서신도 확률 계산을 자극했지만 확률론과 조합론 전체가 1654년 파리에서 한 번에 태어난 것은 아니다.
051666년라이프치히(근거: 출판)
스무 살의 라이프니츠는 라이프치히에서 《조합술에 관한 논고》를 출판하며 복합 개념을 기본 요소의 조합으로 분석하고 배열하는 보편적 방법을 구상했다. combinatoria라는 이름을 넓게 퍼뜨린 중요한 장면이지만, 오늘날의 그래프·확률·극값 조합론을 이미 완성한 교과서는 아니었다.
061736년쾨니히스베르크(근거: 기타)
오일러는 쾨니히스베르크의 네 육지와 일곱 다리를 점과 연결 관계로 바꾸고, 모든 다리를 한 번씩 지나는 산책이 불가능함을 보였다. 실제 도시가 문제의 무대였고 논문은 상트페테르부르크 학술원을 통해 나왔다. 이 한 논문이 현대 그래프 이론 전체를 완성한 것은 아니지만, 가능한 경로를 구조로 압축하는 전환을 선명하게 보여 준다.
071741년베를린(근거: 저술)
오일러는 베를린으로 옮긴 해에 정수를 여러 양의 정수의 합으로 나누는 방법을 생성함수와 무한 곱으로 다룬 원고를 작성했다. 계수 하나하나를 직접 열거하는 대신 하나의 대수식이 모든 분할 수를 담게 했다. 원고는 1741년에 쓰였지만 상트페테르부르크 학술원 논문으로 1751년에 출판되었으므로 저술지와 출판지를 구분한다.
081857년런던(근거: 출판)
변호사로 일하던 케일리는 런던 시기 논문에서 미분 연산의 중첩 형태를 뿌리와 가지를 가진 ‘tree’로 나타내고 세었다. 나무는 화학 구조·네트워크·알고리즘으로 넓어졌지만, 1857년 글이 오늘날 케일리 공식의 모든 형태와 그래프 이론을 혼자 완성한 것은 아니다.
091918년케임브리지(근거: 저술)
하디와 라마누잔은 케임브리지에서 정수 분할 생성함수의 계수를 복소해석으로 추적해 p(n)의 놀라운 점근식을 얻었다. 정확한 값을 모두 열거하지 않고도 성장 규모를 읽는 길이 열린 것이다. 라마누잔의 통찰과 하디의 협업, 후대 라데마허의 정확 급수는 서로 다른 기여이며, ‘직관 대 엄밀성’이라는 단순한 대비로 줄이지 않는다.
101930년케임브리지(근거: 출판)
램지는 형식논리의 결정 문제를 연구하다 유한 집합의 부분들을 몇 색으로 나누어도 충분히 크면 한 색의 규칙적인 부분이 생긴다는 정리를 얻었다. 오늘날 R(3,3)=6으로 배우는 파티 문제는 작은 특수 사례다. 램지 이론 전체가 여섯 사람의 우정 문제에서 시작됐다고 거꾸로 쓰지 않는다.
111935년부다페스트(근거: 주요활동)
에스테르 클라인이 부다페스트 문제 모임에 던진 관찰은 일반 위치의 점 다섯 개마다 볼록 사각형이 있다는 증명과 더 큰 볼록 다각형 문제로 이어졌다. 에르되시와 세케레시가 1935년 논문으로 확장했지만 출발점의 여성 수학자와 공동체를 지우지 않는다. ‘해피 엔딩 문제’라는 별명은 두 사람의 결혼을 가리키는 후대 일화이지 수학적 의미를 대신하지 않는다.
121937년취리히(근거: 출판)
ETH 취리히의 폴리아는 군의 순환 구조를 이용해 회전·반사로 같아지는 색칠과 화학 구조의 수를 계산하는 일반 방법을 발표했다. 단순히 전체 경우의 수를 대칭의 개수로 나누면 고정되는 배열 때문에 틀릴 수 있다. 대칭이 무엇을 같은 것으로 볼지 정하는 조건부터 세어야 한다.
131959년부다페스트(근거: 출판)
에르되시와 레니는 부다페스트 연구망에서 간선을 확률적으로 넣는 무작위 그래프 모형을 체계화했다. 어떤 대상이 조건을 만족할 확률이 0보다 크다는 것을 보이면 적어도 하나는 존재한다는 확률적 방법이 조합론을 바꾸었다. 이는 그 대상을 곧바로 구성하는 알고리즘도, 실제 네트워크가 모두 같은 확률로 생긴다는 주장도 아니다.
141976년어바나(근거: 주요활동)
아펠과 하켄은 일리노이대에서 평면 지도의 네 색 정리를 반례가 될 수 없는 유한한 구성 목록으로 줄이고 컴퓨터 계산으로 검사했다. 사람의 환원 논증과 프로그램·기계 검사가 결합된 증명이었다. ‘컴퓨터가 혼자 증명했다’거나 당시 코드가 오늘 기준으로 아무 검토 문제도 없었다고 말하지 않는다.
152009년케임브리지(근거: 자료 공개)
티머시 가워스가 케임브리지에서 시작한 공개 블로그 제안은 여러 나라 연구자가 댓글과 글로 밀도 헤일스–주잇 정리의 새로운 증명을 공동 작성하는 Polymath 프로젝트가 되었다. 최종 논문은 D. H. J. Polymath라는 집단 저자를 사용했다. 핀은 제안의 출발점일 뿐 결과를 한 대학의 성취로 가두지 않으며, 공개 협업이 모든 문제와 참여자에게 자동으로 공평하다고 가정하지 않는다.