Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker, der sich besonders mit den Problemen des logischen Schließens beschäftigte.
Dazu entwickelte er das allein auf Schlussregeln basierende natürliche Schließen und das Sequenzschließen. Von Gentzen stammt ebenfalls der Beweis für die Widerspruchsfreiheit der formalisierten Arithmetik natürlicher Zahlen.