세연이 공부방수학 과목 ▾

개념지도 / 대학 맛보기 / 집합·논리·해석

괴델 불완전성 (이야기)

Gödel’s incompleteness theorems 대학 앞으로

충분히 강한 수학 체계에는 참이지만 증명할 수 없는 명제가 반드시 있다

한 문장 직관 — 이것만 남으면 성공

괴델은 "충분히 강한 수학 체계 안에는 참이지만 증명할 수 없는 명제가 있다"를 증명했다. 수학의 한계를 수학으로 증명한 것.

왜 중요한가

수학에도 한계가 있다는 것을 수학이 증명함

예시

'이 문장은 증명할 수 없다'가 참이면?

백지에 해볼 것 A4 한 장

거짓말쟁이 역설(이 문장은 거짓이다)에서 시작해 이야기로 15분

흔한 오개념 — 여기서 막힌다

✗ 괴델 정리는 수학이 틀렸다는 뜻이다.

왜 이렇게 생각하나
"불완전"이라는 말 때문.

어떻게 깨뜨리나
틀렸다는 게 아니라 "모든 참인 명제를 증명할 수는 없다"는 것이다. 수학은 여전히 견고하다.

확인 질문 — 답하면 통과

발견의 순서 — 왜 이게 필요했나

힐베르트는 모든 수학을 완전하고 무모순인 공리계로 정리하려 했다. 1931년 괴델이 그것이 불가능함을 증명했다. 25세였다.

다음으로 어떻게 이어지는가

계산가능성 이론, 튜링의 정지 문제, AI의 한계 논의.

먼저 알아야 할 것 명제·조건·증명법무한의 크기: 칸토어증명법 총정리
이걸 알면 갈 수 있는 곳 미해결 문제와 수학의 현재