Eckart Menzler-Trott

Gentzens Problem (eBook, PDF)

Mathematische Logik im nationalsozialistischen Deutschland

• Format: PDF

Produktbeschreibung

Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung seiner Arbeiten zeigt sich bis heute in der Informatik und beeindruckt durch Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten umfassenden Biografie Leben und Werk Gerhard Gentzens, seinen tragischen Lebensweg: Festnahme 1945 in Prag, Gefangenschaft und Tod. Plus: zahlreiche, bislang unveröffentlichte Dokumente und Fotos.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Birkhäuser Basel
• Seitenzahl: 411
• Erscheinungstermin: 7. März 2013
• Deutsch
• ISBN-13: 9783034883252
• Artikelnr.: 53204193

Inhaltsangabe

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.