Repository | Series | Book | Chapter
Finitismus
pp. 135-153
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
Published in:
Tapp Christian (2013) An den Grenzen des Endlichen: das Hilbertprogramm im Kontext von Formalismus und Finitismus. Dordrecht, Springer.
Pages: 135-153
DOI: 10.1007/978-3-642-29654-3_6
Full citation:
Tapp Christian (2013) Finitismus, In: An den Grenzen des Endlichen, Dordrecht, Springer, 135–153.