게르하르트 겐첸From Wikipedia, the free encyclopedia 게르하르트 카를 에리히 겐첸(독일어: Gerhard Karl Erich Gentzen, 1909년 11월 24일 ~ 1945년 8월 4일)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다. 간략 정보 출생, 사망 ... 게르하르트 카를 에리히 겐첸Gerhard Karl Erich Gentzen 겐첸 (1945년 프라하에서의 사진) 출생 1909년 11월 24일(1909-11-24)독일 제국 그라이프스발트 사망 1945년 8월 4일(1945-08-04)(35세)체코슬로바키아 프라하 국적 독일 출신 학교 괴팅겐 대학교 주요 업적 페아노 공리의 일관성 증명 시퀀트 계산과 자연 연역 제시 자름 제거 정리 분야 수학 소속 프라하 대학교 박사 지도교수 파울 베르나이스 닫기
게르하르트 카를 에리히 겐첸(독일어: Gerhard Karl Erich Gentzen, 1909년 11월 24일 ~ 1945년 8월 4일)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다. 간략 정보 출생, 사망 ... 게르하르트 카를 에리히 겐첸Gerhard Karl Erich Gentzen 겐첸 (1945년 프라하에서의 사진) 출생 1909년 11월 24일(1909-11-24)독일 제국 그라이프스발트 사망 1945년 8월 4일(1945-08-04)(35세)체코슬로바키아 프라하 국적 독일 출신 학교 괴팅겐 대학교 주요 업적 페아노 공리의 일관성 증명 시퀀트 계산과 자연 연역 제시 자름 제거 정리 분야 수학 소속 프라하 대학교 박사 지도교수 파울 베르나이스 닫기