An den Grenzen des Endlichen

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.