Korean 게르하르트 겐첸 Cited by user Khlee560 on 17 Jan 2024 게르하르트 카를 에리히 겐첸(, 1909년 11월 24일 ~ 1945년 8월 4일)은 독일의 수리논리학자이다. 연역 체계를 발명하여 증명 이론에 큰 공헌을 하였으며 페아노 산술 체계의 일관성을 증명했다.
Swedish Jan von Plato Cited by user Plumbot on 27 Apr 2023 Jan von Plato, född 23 juni 1951 i Helsingfors, är en finländsk logiker och vetenskapshistoriker.
English Gerhard Gentzen Cited by user 87.95.51.55 on 09 Apr 2023 Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) was a German mathematician and logician.