Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monographie zum Thema bietet der Autor neue Deutungen des Hilbertprogramms. Ausgehend von den historischen Quellen stellt er die Frage neu, ob Hilbert eine formalistische Philosophie der Mathematik voraussetzte. Er macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler formulierten, diskutiert anspruchsvolle philosophische Implikationen und räumt mit einer Reihe von Fehlinterpretationen auf.