Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
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.