Showing posts with label nationalsozialistischen. Show all posts
Showing posts with label nationalsozialistischen. Show all posts

Friday, September 25, 2015

Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland




Eckart Menzler-Trott, "Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland"


2001 | German | ISBN-10: 3034895178 | 411 pages | PDF | 13 MB




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.