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.
2 Boxen
Bestand
Angaben zum entzogenen Vermögen
Sonstige Angaben
BZK-Nr.
Die Bundeszentralkartei (BZK) ist das zentrale Register des Bundes und der Länder zu den durchgeführten Entschädigungsverfahren. Bei der Aufnahme eines Verfahrens in die BZK wurde zur eindeutigen Identifizierung eine Nummer vergeben. Diese BZK-Nummer bezieht sich nicht auf eine Person, sondern auf ein Entschädigungsverfahren: Hat eine Person mehrere Ansprüche geltend gemacht (z.B. für sich selbst und für Angehörige), liegt im Normalfall für jedes Verfahren eine eigene BZK-Nummer vor. Häufig wurde als BZK-Nr. schlicht das Aktenzeichen der jeweiligen Entschädigungsbehörde übernommen.
Diese Nummer ist für eine Anfrage im entsprechenden Archiv wichtig.
Delikt nach NS-Justiz
Handlungen, die im Nationalsozialismus überhaupt erst kriminalisiert wurden (z.B. Heimtückegesetz, "Judenbegünstigung") oder die die NS-Justiz in verschärftem Maß verfolgte (z.B. Hochverrat).
Verfolgungsgrund
Die hier angegebenen Gründe orientieren sich am Wortlaut der in den Quellen genannten Verfolgungsgründe.
Rolle im Verfahren
„Verfolgte Person“ meint eine Person, die einen Entschädigungsanspruch für einen Schaden durch NS-Verfolgung geltend machte. Wenn der Antrag nicht von der verfolgten Person selbst, sondern von einer anderen Person gestellt wurde, so wird diese als „antragstellend“ angegeben und ihre Beziehung zur verfolgten Person, soweit vorhanden, vermerkt. In den Quellen wird die verfolgte Person mitunter als „Geschädigter“, die antragstellende Person als „Anspruchsberechtigter“ bezeichnet.
Suche im Archivportal-D
Weitere Archivalien zu dieser Person über die Wiedergutmachung hinaus können Sie eventuell im Archivportal-D finden.
Nähere Angaben zum Verfolgungsgrund
Ergänzende oder spezifischere Angaben zu Mitgliedschaft, Gruppenzugehörigkeit bzw. Gruppenzuschreibung, die Anlass für die Verfolgung war.
