An den Grenzen des Endlichen pp 135-153 | Cite as
Finitismus
Chapter
First Online:
Zusammenfassung
Der erste Schritt des Hilbertprogramms bestand in der Formalisierung der herkömmlichen Mathematik. Im zweiten Schritt geht es nun um die Rechtfertigung der so erhaltenen formalen Systeme durch metamathematische Beweise ihrer Widerspruchsfreiheit.
Copyright information
© Springer-Verlag Berlin Heidelberg 2013