An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts Position schließt logizistische und int...
Main Author: | |
---|---|
Format: | eBook |
Language: | German |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013, 2013
|
Edition: | 1st ed. 2013 |
Series: | Mathematik im Kontext
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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