Repository | Book | Chapter
(2013) An den Grenzen des Endlichen, Dordrecht, Springer.
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
DOI: 10.1007/978-3-642-29654-3_6
Full citation:
Tapp, C. (2013). Finitismus, in An den Grenzen des Endlichen, Dordrecht, Springer, pp. 135-153.
This document is unfortunately not available for download at the moment.