Paul Bernays Livres

Die Untersuchungen zur Grundlagen der Mathematik, die seit 1917 in Zusammenarbeit mit P. Bernays und W. Ackermann durchgeführt werden, zielen darauf ab, die Widerspruchsfreiheit der mathematischen Methoden zu gewährleisten. Der erste Teil des Lehrgangs von Bernays präsentiert die aktuellen Ergebnisse der Theorie und zeigt auf, wie diese die zukünftige Forschung in der Beweistheorie beeinflussen. Hilbert betont, dass die Missverständnisse bezüglich Gödel's Ergebnissen irreführend sind und dass eine präzisere Betrachtung notwendig ist, um die Widerspruchsfreiheit zu erreichen.

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.