Gentzens Problem

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.