모든 영화형 항해
영화형 지도 항해15개 장면
할 수 없음의 발견 — 실패가 정리가 된 순간들
고대의 작도 문제는 오랫동안 “아직 좋은 방법을 못 찾았다”는 상태에 머물렀다. 자와 컴퍼스, 근호, 형식 공리, 알고리즘처럼 허용 규칙을 먼저 적고 나서야 수학은 어떤 목표가 그 규칙 안에서 원리상 불가능함을 증명하기 시작했다. 이 항해는 포기가 아니라 도구의 경계를 발견하고 새 언어를 만든 2,200여 년을 따라간다.
2분기원전 300년–1970년
15장면 중 1번째
약 기원전 300년
알렉산드리아
선과 원만으로 무엇을 만들 수 있는가 — 《원론》의 도구 문법
《원론》의 처음 공준은 두 점을 잇는 직선과 중심·반지름이 주어진 원을 그리게 한다. 이 단순한 도구 문법은 수많은 작도를 조직했지만, 유클리드가 오늘날의 “눈금 없는 자와 컴퍼스만”이라는 전역 금지 규칙이나 세 고전 문제의 불가능성을 선언한 것은 아니다. 후대가 이 문법을 정확한 허용 연산으로 읽으면서 불가능성 증명의 무대가 마련됐다.
현재 첫 번째 장면부터 지도에서 재생장면 인덱스