Gerhard Karl Erich Gentzen

ab 1943 Dozent in Prag, wo er in der Internierung starb. Gentzen entwickelte in seiner Dissertation den »Kalkül des natürlichen Schließens«, der sich für metamathematische Untersuchungen besonders eignet. 1936 gelang es ihm, mithilfe unendlicher Induktion die Widerspruchsfreiheit der Arithmetik zu beweisen und so das Hilbert-Programm (Formalismus) in modifizierter Form