Auf unserer Webseite werden neben den technisch erforderlichen Cookies noch Cookies zur statistischen Auswertung gesetzt. Sie können die Website auch ohne diese Cookies nutzen. Durch Klicken auf „Ich stimme zu“ erklären Sie sich einverstanden, dass wir Cookies zu Analyse-Zwecken setzen. Sie können Ihre Cookie-Einstellungen hier einsehen und ändern.
Gerhard Gentzen (Bestand)
Anmelden
Um Merklisten nutzen zu können, müssen Sie sich zunächst anmelden.
Archive der Universität Konstanz (Archivtektonik) >> Philosophisches Archiv >> Vor- und Nachlässe
Bestandsbeschreibung: Gerhard (Karl Erich) Gentzen wurde am 24.11.1909 in Greifswald geboren und satrk am 4. August 1945 in Prag. Er hat bei Hermann Weyl mit einer Arbeit über das logische Schließen promoviert und war ab 1934 Assistent von David Hilbert. 1942 habilitierte er sich in Göttingen ("Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie") und war ab 1943 Dozent an der Deutschen Universität in Prag.
Gentzen hat Wesentliches beigetragen zur Begründung der modernen mathematischen Beweistheorie. 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. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute vor allem in wichtigen Teilgebieten der Informatik.
Bei der Sammlung handelt es sich um einen Kleinbestand, der sich aus etwas Material der Gentzen-Nichte und einer von Christian Thiel bearbeiteten Kopie eines Gentzen-Manuskriptes zusammensetzt.
Gerhard (Karl Erich) Gentzen wurde am 24.11.1909 in Greifswald geboren und satrk am 4. August 1945 in Prag. Er hat bei Hermann Weyl mit einer Arbeit über das logische Schließen promoviert und war ab 1934 Assistent von David Hilbert. 1942 habilitierte er sich in Göttingen ("Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie") und war ab 1943 Dozent an der Deutschen Universität in Prag.
