Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

گرهارد گنتزن (1909-1945) بنیانگذار نظریه اثبات ریاضی مدرن است. اهمیت پایدار روش ها، قوانین و ساختارهایی که او ایجاد کرده است، امروزه در زمینه های مهم علوم کامپیوتر، در تأیید برنامه ها قابل مشاهده است. کار گنتزن بر روی استدلال طبیعی، حساب متوالی و نظریه اثبات ترتیبی هنوز با بینش و ظرافت خود امروز را تحت تاثیر قرار می دهد. در این اولین بیوگرافی جامع، نویسنده زندگی و کار گرهارد گنتزن، زندگی غم انگیز او، دستگیری در پراگ در سال 1945، زندان و مرگ را مستند می کند. شرایط تحقیق علمی، در این مورد منطق ریاضی، در آلمان ناسیونال سوسیالیست، مبارزه ایدئولوژیک برای یک "منطق آلمانی" و قهرمانان آن یکی دیگر از محورهای کتاب است. منابع متعدد، قبلاً منتشر نشده، عکس ها و اسناد از مکاتبات و املاک و همچنین چاپ مجدد سه سخنرانی توسط گرهارد گنتزن، این کتاب را به منبع درجه اول اطلاعات در مورد این ریاضیدان مهم و زمان او تبدیل کرده است. این جلد با مقاله ای از یان فون افلاطون در مورد نظریه اثبات جنتزن و توسعه آن تا به امروز تکمیل شده است.

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 natürliche Schliessen, der Sequenzenkalkül und die Ordinal-Beweistheorie beeindrucken noch heute durch ihre 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. Die Bedingungen wissenschaftlicher Forschung, in diesem Fall der mathematischen Logik, im nationalsozialistischen Deutschland, den ideologischen Kampf um eine "Deutsche Logik" und deren Protagonisten ist ein weiterer Schwerpunkt des Buches. Zahlreiche, bislang unveröffentlichte Quellen, Fotos und Dokumente aus Korrespondenzen und Nachlass sowie der Abdruck dreier Vorträge von Gerhard Gentzen machen dieses Buch zu einer erstrangigen Informationsquelle über diesen bedeutenden Mathematiker und seine Zeit. Der Band wird ergänzt durch ein Essay von Jan von Plato über Gentzens Beweistheorie und deren Entwicklung bis zur Gegenwart.