{{위키데이터 속성 추적}}
{{과학자 정보
|이름 = 게르하르트 카를 에리히 겐첸
|원어이름 = {{lang|de|Gerhard Karl Erich Gentzen}}
|그림 = Gerhard Gentzen.jpg
|그림 크기 = 200px
|그림 설명 = 겐첸 (1945년 [[프라하]]에서의 사진)
|태어난 날 = {{출생일|1909|11|24}}
|태어난 곳 = [[독일 제국]] [[그라이프스발트]]
|죽은 날 = {{사망일과 나이|1945|8|4|1909|11|24}}
|죽은 곳 = [[체코슬로바키아]] [[프라하]]
|국적 = [[독일]]
|분야 = [[수학]]
|소속 = [[프라하 대학교]]
|출신 대학 = [[괴팅겐 대학교]]
|지도교수 = [[파울 베르나이스]]
|주요 업적 = {{Plainlist|
* [[페아노 공리]]의 일관성 증명
* [[시퀀트 계산]]과 [[자연 연역]] 제시
* [[자름 제거 정리]]
}}
}}
'''게르하르트 카를 에리히 겐첸'''({{llang|de|Gerhard Karl Erich Gentzen}}, [[1909년]] [[11월 24일]] ~ [[1945년]] [[8월 4일]])은 [[독일]]의 [[수리논리학]]자이다. 연역 체계를 발명하여 [[증명 이론]]에 큰 공헌을 하였으며 [[페아노 산술]] 체계의 일관성을 증명했다.

== 생애 ==
1909년 11월 24일 [[독일 제국]] [[그라이프스발트]]에서 태어났다. [[괴팅겐 대학교]]에서 [[파울 베르나이스]] 밑에서 공부하였다. 그러나 [[국가사회주의 독일 노동자당|나치 당]]이 집권하여 [[유대인]]이었던 베르나이스는 1933년 4월에 해고당한 이후에는 [[헤르만 바일]]이 겐첸의 공식적 지도 교수가 되었다.{{sfn|Menzler-Trott|2007|p=52}}

겐첸은 1934년 발표한 "논리적 연역에 관한 연구(Untersuchungen über das logische Schließen)"에서 추론규칙을 이용하는 연역 체계인 [[자연 연역]]과 [[시퀀트 계산]]을 제시하였으며, 이 때 증명한 [[자름-제거 정리]]는 증명론의 여러 분야에 활용되고 있다. 또한 [[괴델의 불완전성 정리]]에 의해 불가능할 것으로 추측되던 [[페아노 산술]]의 [[무모순성|일관성]] 증명을 [[초한 귀납법]]을 이용해 완성했다.

겐첸은 1933년 11월 [[나치 당]] [[돌격대]]에 입대하였다. 그러나 그는 유대인이었던 폴 베르나이스와 [[아브라함 프렝켈]]과 서신을 주고받았기 때문에 당으로부터 경고받은 적도 있다. 1935년쯤 바일은 그를 [[미국]]으로 망명시키려고 시도했으나 실패하였다. 1935년 11월~1939년까지 겐첸은 [[괴팅겐 대학교]]에서 [[다비트 힐베르트]]의 조교로 있었다.{{sfn|Menzler-Trott|2007|p=119}} 1943년에 당시 [[나치 독일]] 점령 하의 [[프라하 대학교]]의 교수가 되었고{{sfn|Folta|Šišma}} 또한 [[나치 독일]] [[친위대 (나치)|친위대]]의 [[V-2 로켓]] 계획에도 참여하였다.{{sfn|Menzler-Trott|2007|p=238}}

2차 대전 종결기인 1945년 5월 나치 독일에 저항하는 [[프라하 봉기]]가 일어나자 겐첸은 대학의 동료들과 함께 체포되었다가 러시아군에게 넘겨졌다. 나치 활동 전력 때문에 감옥에 수감된 겐첸은 가혹한 대우를 받다가 1945년 8월 4일에 35세의 나이로 [[굶주림|아사]]하였다.{{sfn|Menzler-Trott|2007|p=273 ff}}<ref>{{MacTutor Biography|id=Gentzen}}</ref>

== 저서 ==
* {{저널 인용|title=Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen|journal=Mathematische Annalen|volume=107 | issue = 2 |year=1932|pages=329–350|doi=10.1007/bf01448897|s2cid=119534269|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002275872|display-authors=0|last1=Gentzen|first1=Gerhard}}
* {{저널 인용|title=Untersuchungen über das logische Schließen. I|journal=Mathematische Zeitschrift|volume=39 | issue = 2 |year=1935|pages=176–210|doi=10.1007/bf01201353 |s2cid=121546341|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508|display-authors=0|last1=Gentzen|first1=Gerhard}}
* {{저널 인용|title=Untersuchungen über das logische Schließen. II|journal=Mathematische Zeitschrift|volume=39 | issue = 3 |year=1935|pages=405–431|doi=10.1007/bf01201363 |s2cid=186239837|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605|display-authors=0|last1=Gentzen|first1=Gerhard}}
* {{저널 인용|display-authors=0|last=Gentzen|doi=10.1007/BF01180425|first=Gerhard|title=Die Widerspruchsfreiheit der Stufenlogik|journal=Mathematische Zeitschrift|volume=41|year=1936a|pages=357–366|s2cid=122979277|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002376741}}
* {{저널 인용|display-authors=0|last=Gentzen|doi=10.1007/BF01565428|first=Gerhard|title=Die Widerspruchsfreiheit der reinen Zahlentheorie|journal=Mathematische Annalen|volume=112|year=1936b|pages=493–565|s2cid=122719892|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002278391}}
* {{저널 인용|display-authors=0|last=Gentzen|first=Gerhard|title=Der Unendlichkeitsbegriff in der Mathematik. Vortrag, gehalten in Münster am 27. Juni 1936 am Institut von Heinrich Scholz|journal=Semester-Berichte Münster|year=1936–1937|pages=65–80|trans-title=Lecture held in Münster on 27 June 1936 at the institute of Heinrich Scholz |language=de}}
* {{저널 인용|display-authors=0|last=Gentzen|first=Gerhard|title=Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik|journal=Actualités scientifiques et industrielles|volume=535|year=1937|pages=201–205}}
* {{저널 인용|display-authors=0|last=Gentzen|first=Gerhard|title=Die gegenwärtige Lage in der mathematischen Grundlagenforschung|journal=Deutsche Mathematik|volume=3|year=1938|pages=255–268}}{{sfn|Rosser|1939}}
* {{저널 인용|display-authors=0|last=Gentzen|first=Gerhard|title=Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie|journal=Forschungen zur Logik und zur Grundlegung der Exakten Wissenschaften|volume=4|year=1938|pages=19–44}}{{sfn|Rosser|1939}}
* {{저널 인용|display-authors=0|last=Gentzen|doi=10.1007/BF01564760|first=Gerhard|title=Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie|journal=Mathematische Annalen|volume=119|year=1943|pages=140–161|s2cid=120335524|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002281287}}

== 같이 보기 ==
* [[버트런드 러셀]]
== 각주 ==
{{각주}}

== 책 인용 ==
* {{웹 인용|last1=Folta|first1=Jaroslav|last2=Šišma|first2=Pavel|date=|url=http://web.math.muni.cz/biografie/gerhard_gentzen.html|title=Gerhard Karl Erich Gentzen|work=Department of Mathematics and Statistics of the Faculty of Science, Masaryk University|language=cs|access-date={{date|2023-11-11}}}}
* {{서적 인용|last=Menzler-Trott|first=Eckart|date=2001-08-01|title=Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland|publisher=Birkhäuser|isbn=978-3-0348-9517-0|doi=10.1007/978-3-0348-8325-2|zbl=0987.01018|언어=de}}
* {{서적 인용|last=Menzler-Trott|first=Eckart|author-link=Eckart Menzler-Trott|translator=Griffor, Edward|translator-link=Edward Griffor|translator2=Smorynski, Craig|translator2-link=Craig Smorynski|date=21 November 2007|title=Logic's Lost Genius: The Life of Gerhard Gentzen|publisher=American Mathematical Society|series=History of Mathematics|volume=33|isbn=978-0-8218-3550-0|url=https://www.ams.org/bookstore-getitem/item=hmath-33}} — English translation of {{harvtxt|Menzler-Trott|2001}}.
* {{저널 인용|last=Rosser|first=J. Barkley|author-link=J. Barkley Rosser|title=Review of ''Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie'' by Gerhard Gentzen|journal=Bull. Amer. Math. Soc.|year=1939|volume=45|pages=812–813|doi=10.1090/S0002-9904-1939-07067-5|doi-access=free}}
* {{웹 인용|url=http://www.tydecks.info/online/math_natur_deu.html#k5#k5|first=Walter|last=Tydecks|title=Neuere Geschichte der Mathematik in Deutschland|year=2002|language=de|access-date={{date|2023-11-11}}}}
* {{서적 인용|last=von Plato|first=Jan|date= 2017|title=Saved from the Cellar: Gerhard Gentzen' Shorthand Notes on Logic and Foundations Mathematics|publisher=Springer|isbn=978-3-319-42119-3}}

== 외부 링크 ==
* {{MacTutor Biography|id=Gentzen|title=Gerhard Karl Erich Gentzen}}
* {{MathGenealogy|id=52969|title=Gerhard Gentzen}}

{{전거 통제}}

{{기본정렬:겐첸, 게르하르트}}

[[분류:1909년 출생]]
[[분류:1945년 사망]]
[[분류:독일의 철학자]]
[[분류:독일의 논리학자]]
[[분류:20세기 수학자]]
[[분류:독일의 수학자]]
[[분류:나치 당원]]
[[분류:괴팅겐 대학교 동문]]
[[분류:프라하 카렐 대학교 교수]]
[[분류:그라이프스발트 출신]]
[[분류:옥사한 나치 관련자]]