
Publication details
Publisher: Springer
Place: Berlin
Year: 2013
Pages: 135-153
Series: Mathematik im Kontext
ISBN (Hardback): 9783642296536
Full citation:
, "Finitismus", in: An den Grenzen des Endlichen, Berlin, Springer, 2013
Abstract
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.
Publication details
Publisher: Springer
Place: Berlin
Year: 2013
Pages: 135-153
Series: Mathematik im Kontext
ISBN (Hardback): 9783642296536
Full citation:
, "Finitismus", in: An den Grenzen des Endlichen, Berlin, Springer, 2013