Tapp An den Grenzen des Endlichen
2013
ISBN: 978-3-642-29654-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Das Hilbertprogramm im Kontext von Formalismus und Finitismus
E-Book, Deutsch, 376 Seiten, eBook
Reihe: Mathematik im Kontext
ISBN: 978-3-642-29654-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
Erster Teil: Zur Konzeption des Hilbertprogramms. Das Hilbertprogramm und seine Ziele.- Wurzeln: Axiomatik.- Kontext: Logizismus und Intutitionismus.- Fromalismus.- Finitsmus.- Die Methode der idealen Elemente.- Instrumentalismus.- Zweiter Teil: Zur Durchführung des Hilbertprogramms. Hilberts Widerspruchsfreiheitsbeweise.- Hilbertschule I: Wilhelm Ackermann.- Intuitionistische und Klassische Zahlentheorie: HA und PA.- Hilbertschule II: Gerhard Gentzen.- Dritter Teil: Zur Reflexion des Hilbertprogramms. Der Problemkreis „Poincaré“.- Der Problemkreis „Gödel“.- Der Problemkreis „Kreisel“.- Resümee.




