쿠르트 괴델

1906년 오스트리아-헝가리 제국의 브륀(현재의 체코 브르노)에서 태어났다. 빈 대학교에서 수학, 물리학, 철학을 전공하였으며, 1929년 박사 학위 논문에서 제1차 술어논리의 완전성 정리를 증명하였다. 1930년부터 빈 대학교에서 교편을 잡았으나, 제2차 세계 대전 중 나치 독일의 영향력이 강해지자 1940년 미국으로 이주하였다. 이후 뉴저지주 프린스턴 고등연구소(IAS)에서 연구를 지속하였으며, 1953년 교수로 임용되었다.

괴델은 1929년 박사 학위 논문을 통해 '제1차 술어논리의 완전성 정리'를 발표하였다. 이는 제1차 술어논리에서 타당한 모든 문장은 그 체계 내에서 증명 가능하다는 것을 입증한 성과이다. 이 업적은 논리학의 기초를 공고히 하였으며, 이후 그가 불완전성 정리를 연구하는 중요한 토대가 되었다.

1931년 괴델은 《수학과 물리학 월보》에 '불완전성 정리'를 발표하여 수학계에 큰 충격을 주었다. 이 정리는 크게 두 가지 내용을 담고 있다.

1. 제1불완전성 정리: 산술을 포함하는 모든 무모순적 형식 체계에는 그 체계 안에서 참이지만 증명할 수 없는 명제가 반드시 존재한다.
2. 제2불완전성 정리: 어떤 체계가 무모순하다면, 그 체계 내부의 논리만으로는 스스로의 무모순성을 증명할 수 없다.

괴델은 이를 증명하기 위해 논리 기호에 고유한 숫자를 부여하는 '괴델 번호화(Gödel numbering)' 기법을 도입하였다. 이 정리는 수학의 모든 진리를 몇 개의 공리로 완벽하게 이끌어낼 수 있다고 믿었던 다비트 힐베르트의 공리주의 프로그램에 결정적인 타격을 주었다.

괴델은 집합론 분야에서도 중요한 업적을 남겼다. 1938년 그는 '구성 가능 전체(Constructible universe, $L$)'라는 개념을 제시하였다. 이를 통해 체르멜로-프렝켈 집합론(ZF)의 무모순성을 가정할 때, 선택 공리(AC)와 일반화된 연속체 가설(GCH)이 해당 체계와 양립 가능하다는 것을 증명하였다. 즉, ZF 공리계 내에서 이 두 명제를 반증하는 것이 불가능함을 보인 것이다. 이는 이후 폴 코언이 강제법을 통해 이들의 독립성을 완성하는 계기가 되었다.

생애 후반기 괴델은 프린스턴 고등연구소에서 알베르트 아인슈타인과 깊은 학문적 교류를 나누었다. 그러나 동시에 누군가 자신을 독살하려 한다는 강박관념에 시달리는 등 정신적으로 불안정한 상태를 보였다. 그는 아내인 아델이 직접 만든 음식이 아니면 먹기를 거부하였다. 1977년 아내가 병환으로 입원하여 음식을 챙겨주지 못하게 되자, 괴델은 스스로 굶는 길을 택하였다. 결국 1978년 1월 14일, 프린스턴 병원에서 영양실조와 기아로 인해 사망하였다.