Gentzens Problem Mathematische Logik im nationalsozialistischen Deutschland
Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik, in der Verifikation von Programmen. Die Arbeiten Gentzens über das na...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Basel
Birkhäuser Basel
2001, 2001
|
| Edition: | 1st ed. 2001 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1 Jugend und Studium bis zum Programm seiner Dissertation 1909-1932
- 2 1933-1938: Sechs Jahre Nationalsozialismus im Frieden. Vom Doktorexamen zur Verlängerung der außerplanmäßigen Assistentenstelle auf ein weiteres Jahr mit Wirkung vom 1.10.1938
- 3 1939–1942: Vom Kriegsanfang zur Entlassung aus der Wehrmacht und die Habilitation im Krieg durch Helmut Hasse
- 4 Der Kampf um eine „Deutsche Logik“ von 1940 bis 1945 “Ein Streit unter „Fach-Fremden“?
- 5 Genesung und Dozentur 1942 bis 1944
- 6 Festnahme, Gefangenschaft, Tod und Nachlaß
- Schlußwort
- Zeittafel
- Gentzen im Licht zeitgenössischer Begutachtungen
- Veröffentlichungen von Gentzen
- Rezensionen und Verwandtes von Gerhard Gentzen
- Gentzen und die Beweistheorie (Jan von Plato)
- Drei Vorträge von Gerhard Gentzen
- Der Unendlichkeitsbegriff in der Mathematik
- Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik
- Die gegenwärtige Lage in der mathematischen Grundlagenforschung
- Bilder von Gerhard Gentzen
- Literatur
- Namensregister