쿠르트
괴델

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

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

1906년 4월 28일 태어난 괴델은 어린 시절부터 “왜”라는 질문을 끊임없이 던지는 호기심 많은 아이였습니다. 빈 대학교에서 수학을 공부하며 빈 학파의 논리실증주의자들과 교류했고, 25세에 불완전성 정리를 발표하여 수학계를 놀라게 했습니다.

빈에서 프린스턴까지

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

1940년 아내 아델레와 함께 미국으로 망명했습니다. 프린스턴 고등연구소에서 아인슈타인과 깊은 우정을 나누며 여생을 보냈습니다.

불완전성 정리

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

이 정리들은 힐베르트의 프로그램이 불가능함을 증명했습니다. 괴델은 교묘한 자기참조적 명제를 구성하여 이를 보였습니다.

컴퓨터 과학의 이론적 토대

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