Repository | Series | Book | Chapter
Formalismus
pp. 115-134
Abstract
Bei der Analyse des Logizismus und des Intuitionismus zeigte sich, daß Hilberts Position keineswegs als radikaler Gegensatz zum Logizismus und zum Intuitionismus aufgefaßt werden kann. Hilbert verfolgte (zumindest zeitweise) logizistische Ziele, teilte die Überzeugung von einer bedeutsamen Rolle der formalen Logik für die Mathematik, vertrat viele der intuitionistischen Diagnosen zu Grundlegungsproblemen in der Mathematik und legte schließlich mit dem Finitismus eine Basistheorie vor, die man, wenn nicht als Variante des Intuitionismus, so doch als eine nahe Verwandte interpretieren kann.
Publication details
Published in:
Tapp Christian (2013) An den Grenzen des Endlichen: das Hilbertprogramm im Kontext von Formalismus und Finitismus. Dordrecht, Springer.
Pages: 115-134
DOI: 10.1007/978-3-642-29654-3_5
Full citation:
Tapp Christian (2013) Formalismus, In: An den Grenzen des Endlichen, Dordrecht, Springer, 115–134.