Grundlagen der Mathematik II

Mehr zum Buch

Die Beweistheorie wird in diesem Band umfassend dargestellt, wobei die Zusammenarbeit mit P. Bernays eine zentrale Rolle spielt. Das Buch bietet eine eingehende Orientierung über die HILBERTsche Beweistheorie und beleuchtet die wichtigsten Ansätze, die mit dem e-Symbol verbunden sind. Trotz der bescheidenen Fortschritte im Vergleich zu den theoretischen Zielen zeigt der Band eine Fülle prägnanter Ergebnisse und Beweisgedanken, die für das Verständnis der Thematik von Bedeutung sind. Die sorgfältige Ausarbeitung und Korrektur durch verschiedene Mitwirkende unterstreicht die Qualität des Werkes.