⚡

Learning Paths전문가

20세기 수학의 위기와 부활 — 러셀에서 괴델까지

1901년 러셀이 발견한 역설이 논리주의 체계의 모순을 드러냈다. 1920년대 힐베르트 프로그램, 괴델의 한계 정리, 그리고 튜링의 계산 가능성 연구 — 기초론의 위기가 만든 새 학문.

약 35분·11개 노드

진행0 / 11 (0%)

지도에서 본 경로의 흐름

카드를 클릭하면 지도가 해당 위치로 이동합니다.

STEP 1 · 수학자1878할레· 주요활동

칸토어 — 연속체 가설을 묻다

1878년 자연수의 무한과 실수의 무한 사이에 다른 크기가 있는지를 물었다. 무한을 금기에서 비교 가능한 대상으로 바꾸었지만 그 질문의 답은 한 세기 가까이 열려 있었다.

↓1년 후

STEP 2 · 수학자1879할레· 출판

프레게 — Begriffsschrift 1879, 할레 출판

예나 재직 중 할레에서 출판된 저작이 양화와 함수-논항 분석을 형식화해 현대 술어 논리의 토대를 놓았다.

↓23년 후

STEP 3 · 수학자1902케임브리지· 발견

러셀 — 1902년 프레게에게 보낸 편지

1901년에 발견한 역설을 1902년 6월 프레게에게 알렸다. 이후 화이트헤드와 쓴 《Principia Mathematica》(1910–1913)는 유형 이론으로 역설을 피하려 했다.

↓5년 후

STEP 4 · 수학자1907암스테르담· 주요활동

브라우어르 — 직관주의라는 다른 토대

1907년 학위논문에서 직관주의의 방향을 제시했고 1911년 고정점 정리 등 위상수학에도 기여했다. 고전 논리의 무제한 사용을 거부한 선택은 힐베르트와 큰 논쟁을 낳았다.

↓13년 후

STEP 5 · 수학자~1920괴팅겐· 강의·재직

힐베르트 — 1920년대 형식주의 프로그램

고전 수학을 공리적으로 형식화하고 유한주의적 방법으로 무모순성을 정당화하려 했다. 목표·방법·성공 범위를 나누어 읽어야 괴델의 결과를 ‘수학의 붕괴’로 오해하지 않는다.

↓10년 후

STEP 6 · 수학자1930쾨니히스베르크· 기타

괴델 — 1930년 쾨니히스베르크 발표

24세의 괴델은 회의 토론에서 첫 불완전성 결과를 짧게 알렸고, 이듬해 논문으로 두 정리를 제시했다.

↓1년 후

STEP 7 · 개념1931위치 정보 없음

개념: 1931년 불완전성 논문

1931년 논문은 산술을 표현할 만큼 강한 일관된 효과적 형식 체계에 참이지만 증명되지 않는 문장이 생긴다는 한계를 보였다. ‘모든 진리는 무의미하다’는 주장이 아니다.

↓2년 후

STEP 8 · 수학자1933바르샤바· 출판

타르스키 — 1933년 형식언어의 진리 정의

Convention T는 진리 정의 자체가 아니라 그 정의가 만족해야 할 적합성 조건이며, “눈은 희다” 같은 양조건문은 한 사례다.

↓3년 후

STEP 9 · 수학자1936프린스턴· 발견

처치 — λ-계산과 결정 불가능성

1936년 λ-정의가능성을 바탕으로 결정 문제에 부정적 답을 제시했다. 튜링의 독립적인 기계 모형과 같은 계산 가능 함수에 이른 점이 처치–튜링 명제의 근거가 됐다.

↓같은 해

STEP 10 · 수학자1936케임브리지· 발견

튜링 — 계산 가능성의 경계

1936년 종이띠를 읽고 쓰는 이상화된 기계로 알고리즘을 분석했다. 결정 문제의 한계를 보이는 과정에서 보편 계산이라는 생각도 선명해졌다.

↓27년 후

STEP 11 · 수학자1963스탠퍼드· 발견

코언 — 1963년 forcing과 ¬CH 방향

1962년 말 집합론 독립성 문제에 착수해 1963년 스탠퍼드에서 forcing을 발전시켰고, 괴델의 CH 방향을 보완했다.

전문가 → 연구의 최전선

전문가 단계의 도착점은 더 좋은 질문입니다.

증명된 결과와 추측을 구분하고 현재 근거를 살핀 뒤, 나만의 탐구가 시작될 경계를 골라 보세요.

다음 도착점 · 계속 따라가고 싶은 미해결 질문 하나

미해결 문제 탐험하기