Korean 게르하르트 겐첸 Cited by user Khlee560 on 17 Jan 2024 게르하르트 카를 에리히 겐첸(, 1909년 11월 24일 ~ 1945년 8월 4일)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다.
German Gödelscher Unvollständigkeitssatz Cited by user Schreiber on 25 Feb 2012 Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik.
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.