Grundlagen der Mathematik I

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.