Gerhard Gentzen

Über

Deutscher Mathematiker und Philosoph, der für seine Beiträge zur Beweistheorie, insbesondere zur Sequenzialrechnung und natürlichen Deduktion, bekannt ist.

Vor dem Ruhm

Er studierte einst an der Universität Göttingen.

Trivia

Er entwickelte das Cut-Elimination-Theorem, das zum Eckpfeiler der beweistheoretischen Semantik wurde.

Familienleben

Er wurde in Greifswald, Deutschland, geboren. Er war Mitglied der Nazipartei.

Assoziiert mit

Ludwig Wittgenstein und er waren Pioniere der inferentiellen Rollensemantik.