게르하르트 겐첸

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기
Picto infobox character.png
게르하르트 겐첸
독일어: Gerhard Karl Erich Gentzen
겐첸 (1945년 프라하에서의 사진)
겐첸 (1945년 프라하에서의 사진)
출생 1909년 11월 24일(1909-11-24)
독일 제국 독일 제국 그라이프스발트
사망 1945년 8월 4일 (35세)
체코슬로바키아 체코슬로바키아 프라하
국적 독일 독일
분야 수학
소속 프라하 대학교
출신 대학 괴팅겐 대학교
지도 교수 파울 베르나이스
주요 업적 페아노 공리의 일관성 증명
시퀀트 계산(영어: sequent calculus)
자연 연역(영어: natural deduction)

게르하르트 카를 에리히 겐첸(독일어: Gerhard Karl Erich Gentzen, 1909–1945)은 독일수리논리학자이다. 수학기초론증명 이론에 큰 공헌을 하였다.

생애[편집]

1909년 11월 24일 독일 그라이프스발트에서 태어났다. 괴팅겐 대학교에서 파울 베르나이스 밑에서 공부하였다. 나치 당이 집권하여, 유대인이었던 베르나이스는 1933년 4월에 해고당하였으며, 이후 헤르만 바일이 겐첸의 공식적 지도 교수가 되었다.

겐첸은 1933년 11월 나치 당 돌격대에 입대하였다. 겐첸은 유대인이었던 파울 베르나이스아브라함 프렝켈과 서신을 주고받았으며, 이 때문에 나치 당으로부터 경고를 받았다. 1935년~1936년에 헤르만 바일은 겐첸을 미국으로 망명시키려고 노력하였으나, 실패하였다. 1935년 11월~1939년 동안 겐첸은 괴팅겐 대학교에서 다비트 힐베르트의 조교로 있었다. 1943년에 당시 나치 독일 점령 하의 프라하 대학교의 교수가 되었고, 또한 나치 독일 친위대의 로켓 계획에도 참여하였다.

프라하가 나치 독일에서 해방되자, 1945년 5월 7일 겐첸은 프라하의 다른 모든 독일인과 함께 체포되었다. 포로 상태에서, 겐첸은 1945년 8월 4일에 35세의 나이로 아사하였다.

책 인용[편집]

외부 링크[편집]