Eckart Menzler-Trott

Keine Biografie vorhanden.

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

Cover: Eckart Menzler-Trott. Gentzens Problem - Mathematische Logik im nationalsozialistischen Deutschland. Birkhäuser Verlag, Basel, 2001.
Birkhäuser Verlag, Basel 2001
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 vor allem in…