Catalogue > Serials > Book Series > Book > Chapter

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