컴퓨터의 한계 — 튜링·괴델·코헨

주어진 형식 체계와 알고리즘은 무엇을 결정할 수 없는가? 괴델은 1931년 산술을 담을 만큼 강한 효과적 공리계의 불완전성을, 튜링은 1936년 정지 문제를 일반적으로 판정하는 알고리즘이 없음을 보였다. 괴델(1940)과 코언(1963)의 서로 반대되는 상대적 무모순성 결과는 CH가 ZFC와 독립임을 확립했다.

약 30분·5개 노드

진행0 / 5 (0%)

지도에서 본 경로의 흐름

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

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

괴델 불완전성

1930년 24세에 첫 결과를 알리고, 1931년 논문으로 두 정리를 제시했다.

↓5년 후

STEP 2 · 개념1936케임브리지· 발견

튜링 기계와 정지 문제

1936년, 전자식 저장프로그램 컴퓨터가 등장하기 전에 계산 절차의 일반 모델과 그 한계를 제시했다.

↓4년 후

STEP 3 · 수학자1940프린스턴· 출판

괴델 — CH가 성립하는 한 방향

1940년 구성가능 우주를 이용해 ZF가 무모순이면 선택공리와 CH를 더해도 무모순이라는 상대적 결과를 출판했다.

↓8년 후

STEP 4 · 수학자1948맨체스터· 강의·재직

튜링 — 맨체스터에서 실제 기계를 만나다

1948년 맨체스터로 옮겨 초기 저장 프로그램 컴퓨터의 소프트웨어·활용을 연구했고, AI와 형태발생 문제로 질문을 넓혔다.

↓15년 후

STEP 5 · 개념1963스탠퍼드· 발견

코언의 강제법 — ¬CH 방향

1963년 코언의 forcing 결과가 괴델의 1940년 방향을 보완하면서, CH가 ZFC로 결정되지 않는다는 독립성이 확립됐다.

전문가 → 연구의 최전선

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

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

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

미해결 문제 탐험하기