상징의 강 · 강의 물길은 실제 지리가 아닙니다
1 / 15기원전 약 300년알렉산드리아근거: 저술
상징: 쓰고 읽힌 기록을 올려 둔 책상시대 구간: 499년까지장소 풍경: 지중해 바닷가 · 대추야자 · 모래 평지
《원론》의 처음 공준은 두 점을 잇는 직선과 중심·반지름이 주어진 원을 그리게 한다. 이 단순한 도구 문법은 수많은 작도를 조직했지만, 유클리드가 오늘날의 “눈금 없는 자와 컴퍼스만”이라는 전역 금지 규칙이나 세 고전 문제의 불가능성을 선언한 것은 아니다. 후대가 이 문법을 정확한 허용 연산으로 읽으면서 불가능성 증명의 무대가 마련됐다.
장면 전체 읽기드래그해 둘러보기 · ← / → 장면 이동
열다섯 번째 항로 · 포기가 아니라 규칙의 경계를 증명하다
알렉산드리아의 선과 원, 시라쿠사의 표시된 자, 모데나·크리스티아니아·파리의 5차방정식, 프라이부르크의 π, 괴팅겐·비엔나·프린스턴·케임브리지의 형식 체계와 레닌그라드의 정수 방정식까지 건넙니다. “오래 못 풀었다”와 “정해진 규칙 안에서는 풀 수 없다”가 갈라지는 지도입니다.
이 항로에서 붙잡을 질문
수학은 어떻게 실패의 기록을 자·컴퍼스, 근호, 공리, 알고리즘이라는 명시적 규칙의 한계 증명으로 바꾸었을까요?
이 강이 주장하지 않는 것
이 강은 실제 지리가 아닙니다. 강을 따라 내려간 거리는 흐른 시간이고, 세기가 흐르는 동안 빛이 새벽에서 황혼으로 바뀝니다. 비석 곁의 사물은 사건의 종류와 그 세기 구간에 수학을 쓰고 계산한 방식을 상징할 뿐 실제 유물을 재현하지 않습니다. 정거장 둘레의 땅은 그 장면이 일어난 실제 장소의 자연·지리를 개략으로 따르고, 대표 건축은 그 해에 이미 서 있던 것만 세웁니다. 장면마다 실제 장소와 근거를 그대로 두었으니, 어디서 일어났는지는 지도에서 읽어 주세요. 이 항로의 “불가능”은 언제나 범위가 붙습니다. 다른 도구로 작도하거나, 특정 5차식을 수치로 풀거나, 더 강한 공리계에서 문장을 증명하거나, 제한된 프로그램의 종료를 판정할 수 있습니다. 미해결·어려움·비결정 가능성·독립성·논리적 모순을 한 단어로 합치지 않습니다.
세기 구간이 바뀌는 자리에서는 배가 새 구간의 다리 밑을 지나갑니다. 마을·방아·공장·송전탑·빌딩은 그 세기의 기술을 상징할 뿐, 실제 장소나 특정 건축 양식이 아닙니다.
01기원전 약 300년알렉산드리아(근거: 저술)
《원론》의 처음 공준은 두 점을 잇는 직선과 중심·반지름이 주어진 원을 그리게 한다. 이 단순한 도구 문법은 수많은 작도를 조직했지만, 유클리드가 오늘날의 “눈금 없는 자와 컴퍼스만”이라는 전역 금지 규칙이나 세 고전 문제의 불가능성을 선언한 것은 아니다. 후대가 이 문법을 정확한 허용 연산으로 읽으면서 불가능성 증명의 무대가 마련됐다.
02기원전 약 250년시라쿠사(근거: 주요활동)
아르키메데스에게 귀속되는 작도는 자에 길이를 표시하고 두 조건에 맞춰 미끄러뜨리는 neusis로 일반각을 삼등분한다. 같은 목표도 눈금 없는 자와 컴퍼스만 쓰면 일반적으로 불가능하지만, 표시된 자나 특수 곡선을 허용하면 가능해진다. “불가능”은 목표 자체의 속성이 아니라 허용한 도구와 절차를 함께 적은 문장이라는 첫 번째 반전이다.
031637년라이덴(근거: 출판)
라이덴에서 인쇄된 《La Géométrie》는 선분 관계를 대수식으로, 곡선을 방정식으로 다루는 방법을 밀어 올렸다. 작도 가능성을 수와 다항식의 성질로 번역할 길이 열린 것이다. 데카르트가 1837년 Wantzel의 정리를 미리 증명한 것은 아니지만, 기하의 “안 된다”를 대수의 차수와 연산으로 판정할 수 있게 한 중요한 어깨였다.
041799년모데나(근거: 주요활동)
루피니는 일반 5차 이상 방정식을 근호로 푸는 대수 공식이 불가능하다고 주장하는 책을 냈다. 초기 논증에는 인정되지 않은 가정과 빈틈이 있었고 동시대의 반응도 제한적이었지만, 라그랑주의 근 순열 연구를 “해법 탐색”에서 “해법의 한계 증명”으로 돌렸다. 실패한 완성본이 아니라 이후 아벨과 군론으로 이어진 진지한 첫 구조적 시도다.
051824년오슬로(근거: 출판)
22세의 아벨은 비용을 아끼려 매우 짧게 쓴 논문을 크리스티아니아에서 자비로 인쇄해, 일반 5차방정식의 근을 사칙연산과 근호만으로 나타내는 보편 공식이 없음을 증명했다. 이는 5차식에 근이 없거나 수치로 풀 수 없다는 말이 아니다. 허용한 표현 수단을 “근호”로 명시했을 때 성립하는 정확한 불가능성이다.
061830년파리(근거: 발표)
갈루아는 모든 5차를 한꺼번에 금지하는 데서 더 나아가, 근들을 바꾸어도 보존되는 관계의 구조가 근호 해법의 가능성을 결정한다는 길을 열었다. 1830년 아카데미에 낸 원고는 생전에 받아들여지지 않았고 주요 원고는 1846년 리우빌이 출판했다. 오늘의 완성된 군·체 용어를 그대로 소급하지 않더라도, 불가능성이 대칭의 구조를 드러낸 전환은 남는다.
071837년파리(근거: 출판)
Wantzel은 자와 컴퍼스로 얻는 길이가 이차 확장을 거듭해 만들어지는 수라는 조건을 사용해, 일반각의 삼등분과 정육면체 부피 배가가 그 규칙 안에서 불가능함을 증명했다. 몇몇 각은 삼등분할 수 있고 다른 도구로는 일반각도 가능하다. 정리는 “아무도 못 했다”가 아니라 허용 연산으로 도달할 수 없는 수가 있음을 보인다.
081882년프라이부르크(근거: 발견)
린데만이 π가 어떤 유리계수 다항식의 근도 아닌 초월수임을 증명하자, 자와 컴퍼스로 원과 같은 넓이의 정사각형을 만드는 고전 문제도 불가능하다는 결론이 나왔다. 물리적으로 넓이를 근사하거나 다른 도구로 그리는 일은 막지 않는다. 정확한 유클리드 작도라는 규칙 아래 유한 단계로 끝내는 일을 막는다.
091900년파리(근거: 발표)
힐베르트는 파리에서 제시한 문제 목록에 정수계수 다항방정식이 정수해를 갖는지 유한한 절차로 판정하라는 열 번째 문제를 넣었다. 당시 “알고리즘”의 현대 정의는 아직 없었지만, 모든 입력에 멈추며 예·아니오를 답하는 보편 절차를 요구한 셈이다. 70년 뒤 가장 완전한 해답은 그런 절차가 존재하지 않는다는 증명이었다.
101928년괴팅겐(근거: 강의·재직)
힐베르트와 아커만의 교재는 1차논리 문장이 모든 해석에서 타당한지 유한한 기계 절차로 결정할 수 있는가를 선명하게 물었다. 괴팅겐의 강의·교재·증명론 공동체는 “계산 절차”가 무엇인지 아직 완전히 정의되기 전에 정확한 목표를 공유했다. 완전성, 무모순성, 결정 가능성은 서로 다른 질문이며 뒤의 부정 결과도 이를 구분해야 한다.
111930년쾨니히스베르크(근거: 발표)
괴델은 1930년 9월 쾨니히스베르크 회의의 토론에서 첫 불완전성 결과를 짧게 알렸다. 같은 도시에서 다음 날 힐베르트는 “우리는 알아야 한다, 우리는 알게 될 것이다”라는 연설을 했다. 두 장면을 단순한 결투처럼 꾸미기보다, 형식화가 정밀해졌기 때문에 그 형식 체계의 한계도 수학적으로 말할 수 있게 된 역설을 본다.
121931년비엔나(근거: 주요활동)
괴델은 식과 증명을 자연수로 부호화해 산술 체계가 자기 증명 가능성에 관해 말하게 했다. 일정한 조건을 만족하는 무모순하고 효과적으로 공리화된 충분히 강한 체계에는 그 안에서 증명도 반증도 되지 않는 문장이 생긴다. 모든 수학 명제가 인간에게 영원히 알 수 없다는 말도, 1차논리 자체가 불완전하다는 말도 아니다.
131936년프린스턴(근거: 주요활동)
처치는 프린스턴의 논리 연구망에서 효과적으로 계산 가능한 함수를 람다 정의 가능성·재귀성과 연결하고, 1차논리의 결정 문제에 보편 해법이 없음을 보였다. “효과적 절차”를 수학적 대상으로 고정하자 불가능성도 증명의 대상이 됐다. 처치의 형식화와 곧 나온 튜링의 기계 모형은 독립 경로였으며 이후 서로 동등한 범위를 갖는다고 연결됐다.
141936년케임브리지(근거: 저술)
튜링은 사람이 칸을 읽고 기호를 쓰며 정해진 상태 규칙을 따르는 계산을 추상 기계로 모형화했다. 어떤 기계가 원을 계속 출력할지 판정하는 보편 기계가 없음을 대각선 논법으로 보이고 결정 문제에 부정 답을 주었다. 오늘의 “정지 문제” 표준 문장과 밀접하지만, 1936년 논문의 정확한 문제 설정을 현대 교과서 표현과 완전히 같다고 만들지는 않는다.
151970년상트페테르부르크(근거: 주요활동)
마티야세비치는 피보나치 수의 지수적 성장을 디오판토스 방정식으로 표현해 줄리아 로빈슨의 남은 가설을 해결했다. 데이비스·퍼트넘·로빈슨의 선행과 합쳐, 임의의 정수계수 다항식에 정수해가 있는지 항상 판정하는 알고리즘은 존재하지 않는다는 힐베르트 열 번째 문제의 부정 해답이 완성됐다. 개별 방정식을 풀 수 없다는 뜻은 아니다.