게르하르트 겐첸 document_id A220623142394

게르하르트 카를 에리히 겐첸(Gerhard Karl Erich Gentzen, 1909–1945)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다. 생애 1909년 11월 24일 독일 그라이프스발트에서 태어났다. 괴팅겐 대학교에서 파울 베르나이스 밑에서 공부하였다. 그러나 나치 당이 집권하여 유대인이었던 베르나이스는 1933년 4월에 해고당한 이후에는 헤르만 바일이 겐첸의 공식적 지도 교수가 되었다. 겐첸은 1934년 발표한 "논리적 연역에 관한 연구(Untersuchungen über das logische Schließen)"에서 추론규칙을 이용하는 연역 체계인 자연 연역과 시퀀트 계산을 제시하였으며, 이 때 증명한 자름-제거 정리는 증명론의 여러 분야에 활용되고 있다. 또한 괴델의 불완전성 정리에 의해 불가능할 것으로 추측되던 페아노 산술의 일관성 증명을 초한 귀납법을 이용해 완성했다. 겐첸은 1933년 11월 나치 당 돌격대에 입대하였다. 그러나 그는 유대인이었던 폴 베르나이스와 아브라함 프렝켈과 서신을 주고받았기 때문에 당으로부터 경고받기도 했다. 1935년쯤 바일은 그를 미국으로 망명시키려고 시도하기도 했으나 실패하였다. 1935년 11월~1939년 동안 겐첸은 괴팅겐 대학교에서 다비트 힐베르트의 조교로 있었다. 1943년에 당시 나치 독일 점령 하의 프라하 대학교의 교수가 되었고, 또한 나치 독일 친위대의 로켓 계획에도 참여하였다. 2차 대전 종결기인 1945년 5월 나치 독일에 저항하는 프라하 봉기가 일어나자 겐첸은 대학의 동료들과 함께 체포되었다가 러시아군에게 넘겨졌다. 나치 활동 전력 때문에 감옥에 수감된 겐첸은 가혹한 대우를 받다가 1945년 8월 4일에 35세의 나이로 아사하였다.