Scientists

쿠르트
괴델

수학의 한계를 증명한 논리학의 거장

✦

Kurt Gödel · 1906 — 1978

참이지만 증명할 수 없는 명제가 존재한다.수학적 진리는 증명가능성을 넘어선다.

— 불완전성 정리의 함의

소개

수학의 근본적 한계를 발견한 천재

쿠르트 괴델. 오스트리아-헝가리 제국의 브르노(현재 체코)에서 태어나 20세기 가장 중요한 논리학적 발견을 이룬 수학자입니다. 그의 불완전성 정리는 수학, 철학, 컴퓨터 과학의 근본을 뒤흔들었습니다.

생애와 여정

괴델은 빈 대학교에서 한스 한의 지도 아래 박사 학위를 받았습니다. 1931년 불완전성 정리를 발표한 후 빈 대학교에서 강의했지만, 나치의 부상과 친구 모리츠 슐릭의 암살로 불안감이 커졌습니다.

1906

오스트리아-헝가리 제국 브르노에서 출생

1929

완전성 정리 증명

1931

불완전성 정리 발표

1940

미국으로 망명

1978

프린스턴에서 별세

주요 업적

1931년 괴델은 수학의 역사를 바꾼 두 개의 정리를 발표했습니다. 제1 불완전성 정리: 자연수를 포함하는 어떤 무모순 공리계도 그 안에서 참이지만 증명할 수 없는 명제를 포함한다.

프린스턴에서 괴델과 아인슈타인은 매일 함께 산책하며 철학, 물리학, 정치에 대해 대화했습니다. 두 천재의 우정은 20세기 지성사의 아름다운 장면입니다.

유산과 영향

괴델의 불완전성 정리는 앨런 튜링의 계산가능성 이론에 직접적인 영감을 주었습니다. 현대 컴퓨터 과학의 이론적 토대가 여기서 시작되었습니다.

불완전성 정리완전성 정리논리학집합론프린스턴아인슈타인튜링