Gerhard Gentzen (1909 – 1945)

Der Mathematiker und Logiker Gerhard Gentzen beschäftigte sich vor allem mit Problemen des logischen Schließens. Er entwickelte das allein auf Schlussregeln basierende natürliche Schließen und das Sequenzschließen.

Von Gentzen stammt auch ein Beweis für die Widerspruchsfreiheit der formalisierten Arithmetik der natürlichen Zahlen.