쿠르트 괴델

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

괴델은 1931년 《수학과 물리학 월보》를 통해 '불완전성 정리'를 발표하였다. 이 정리는 산술을 포함하는 모든 무모순적 형식 체계에는 그 체계 안에서 참이지만 증명할 수 없는 명제가 반드시 존재함을 입증하였다. 또한, 어떤 체계가 무모순하다면 그 체계 내부의 논리만으로는 스스로의 무모순성을 증명할 수 없음을 보여주었다. 이는 수학의 모든 진리를 몇 개의 공리로 완벽하게 이끌어낼 수 있다고 믿었던 다비트 힐베르트의 공리주의 프로그램에 결정적인 타격을 주었다.

괴델의 연구는 수학기초론의 패러다임을 바꾸었으며, 인간 인식의 한계를 논리적으로 규명했다는 평가를 받는다. 미국의 시사지 《타임》은 그를 20세기의 가장 위대한 인물 100명 중 한 명으로 선정하기도 하였다. 그의 논리학적 성과는 이후 컴퓨터 과학의 이론적 토대와 수리철학의 발전에 핵심적인 역할을 하였다.

괴델은 생애 후반기에 누군가 자신을 독살하려 한다는 강박관념에 시달렸다. 그는 아내가 직접 만든 음식이 아니면 먹기를 거부하였으며, 아내가 병환으로 입원하여 음식을 챙겨주지 못하게 되자 스스로 굶는 길을 택하였다. 결국 1978년 1월 14일, 프린스턴 병원에서 영양실조와 기아로 인해 사망하였다.