Korean 게르하르트 겐첸 Cited by user Khlee560 on 17 Jan 2024 게르하르트 카를 에리히 겐첸(, 1909년 11월 24일 ~ 1945년 8월 4일)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다.
English Gerhard Gentzen Cited by user Ttwo on 06 Feb 2010 Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) was a German mathematician and logician.