An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (repost)
An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus by Christian Tapp
German | 2013 | ISBN-10: 364229653X | 392 pages | PDF | 3 MB
German | 2013 | ISBN-10: 364229653X | 392 pages | PDF | 3 MB
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.